plutus-core-1.36.0.0: Language library for Plutus Core

Index - M

machineCostModelPlutusCore.Evaluation.Machine.MachineParameters
machineCostsPlutusCore.Evaluation.Machine.MachineParameters
MachineErrorPlutusCore.Evaluation.Machine.Exception
MachineParameters 
1 (Type/Class)PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor)PlutusCore.Evaluation.Machine.MachineParameters
MakeBuiltinMeaningPlutusCore.Builtin, PlutusCore.Builtin.Debug
makeBuiltinMeaningPlutusCore.Builtin, PlutusCore.Builtin.Debug
makeBuiltinMeaningDebugPlutusCore.Builtin.Debug
MakeKnownPlutusCore.Builtin
makeKnownPlutusCore.Builtin
MakeKnownInPlutusCore.Builtin
makeKnownOrFailPlutusCore.Builtin
makeRecursiveTypePlutusCore.StdLib.Type
manyPlutusPrelude
MapPlutusCore.Data
mapPlutusCore.StdLib.Data.ScottList
mapCostStreamPlutusCore.Evaluation.Machine.CostStream
MapDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
mapFun 
1 (Function)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
mapNameStringPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
mapTyNameStringPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
markNonFreshPlutusCore.Quote
markNonFreshBelowPlutusCore.Quote
markNonFreshMaxPlutusCore.Quote
markNonFreshProgramPlutusCore.Mark
markNonFreshTermPlutusCore.Mark
markNonFreshTypePlutusCore.Mark
matchUniApplyUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
maximumOutputLengthPlutusCore.Bitwise
MaxSizePlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
MaybeImpureUntypedPlutusCore.Purity
MayInlinePlutusCore.Annotation
MCostingFun 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
memberByNamePlutusCore.Name.UniqueSet
memberByUniquePlutusCore.Name.UniqueSet
memoryModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
memoryUsagePlutusCore.Evaluation.Machine.ExMemoryUsage
memSizeBytes 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
mergeScopeInfoPlutusCore.Check.Scoping
metaEitherToSumPlutusCore.StdLib.Meta
MetaForall 
1 (Type/Class)PlutusCore.Examples.Builtins
2 (Data Constructor)PlutusCore.Examples.Builtins
metaIntegerToNatPlutusCore.StdLib.Meta
metaListToScottListPlutusCore.StdLib.Meta
millerLoopPlutusCore.Crypto.BLS12_381.Pairing
minCostStreamPlutusCore.Evaluation.Machine.CostStream
minimumPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
MinSizePlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
minusExBudgetPlutusCore.Evaluation.Machine.ExBudget
MissingCaseBranchPlutusCore.Evaluation.Machine.Exception
MkApplyProgramErrorPlutusCore.Error
mkCekTransUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
MkConsPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
mkConstantPlutusCore.MkPlc
mkConstantOfPlutusCore.MkPlc
mkFreshTermLetPlutusCore.MkPlc
mkFunctionDefPlutusCore.MkPlc
mkImmediateLamAbsPlutusCore.MkPlc
mkImmediateTyAbsPlutusCore.MkPlc
mkIterAppPlutusCore.MkPlc
mkIterAppNoAnnPlutusCore.MkPlc
mkIterInstPlutusCore.MkPlc
mkIterInstNoAnnPlutusCore.MkPlc
mkIterKindArrowPlutusCore.MkPlc
mkIterLamAbs 
1 (Function)PlutusCore.MkPlc
2 (Function)UntypedPlutusCore.MkUPlc
mkIterTyAbsPlutusCore.MkPlc
mkIterTyAppPlutusCore.MkPlc
mkIterTyAppNoAnnPlutusCore.MkPlc
mkIterTyForallPlutusCore.MkPlc
mkIterTyFunPlutusCore.MkPlc
mkIterTyLamPlutusCore.MkPlc
mkMachineParametersPlutusCore.Evaluation.Machine.MachineParameters
mkMachineParametersForPlutusCore.Evaluation.Machine.MachineParameters.Default
MkNilDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MkNilPairDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MkPairDataPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
mkShadPlutusCore.Examples.Data.Shad
mkTyBuiltinPlutusCore.Builtin, PlutusCore.MkPlc
mkTyBuiltinOfPlutusCore.MkPlc
mkTyVarPlutusCore.MkPlc
MkUnliftingErrorPlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
MkUnliftingEvaluationErrorPlutusCore.Builtin
mkVar 
1 (Function)PlutusCore.MkPlc
2 (Function)UntypedPlutusCore.MkUPlc
MlResult 
1 (Type/Class)PlutusCore.Crypto.BLS12_381.Pairing
2 (Data Constructor)PlutusCore.Crypto.BLS12_381.Pairing
mlResultMemSizeBytesPlutusCore.Crypto.BLS12_381.Pairing
ModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ModelConstantOrLinear 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearConstantPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearInterceptPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearSlopePlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelConstantOrOneArgument 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrOneArgumentConstantPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrOneArgumentModelPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelConstantOrTwoArguments 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrTwoArgumentsConstantPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrTwoArgumentsModelPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFiveArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFiveArgumentsConstantCostPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFourArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFourArgumentsConstantCostPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentConstantCostPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentLinearInXPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSixArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSixArgumentsConstantCostPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSubtractedSizes 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesInterceptPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesMinimumPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesSlopePlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsConstantCostPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInMaxYZPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInXPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInYPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInYAndZPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInZPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLiteralInYOrLinearInZPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsQuadraticInZPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsAddedSizesPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstAboveDiagonalPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstantCostPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstBelowDiagonalPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstOffDiagonalPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInXPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInXAndYPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInYPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearOnDiagonalPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMaxSizePlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMinSizePlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMultipliedSizesPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsQuadraticInXAndYPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsQuadraticInYPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsSubtractedSizesPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
modifyCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
modifyErrorPlutusPrelude
ModIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MonadFreeUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
MonadKindCheckPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
MonadNormalizeTypePlutusCore.Normalize.Internal, PlutusCore.TypeCheck.Internal
MonadPrettyPlutusCore.Pretty
MonadPrettyContextPlutusCore.Pretty
MonadQuotePlutusCore.Quote, PlutusCore
MonadTypeCheckPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
MonadTypeCheckPlcPlutusCore.TypeCheck.Internal
monoidalBudgetingUntypedPlutusCore.Evaluation.Machine.Cek
mtraversePlutusPrelude
mulMlResultPlutusCore.Crypto.BLS12_381.Pairing
MultipliedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
MultiplyDefinedPlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques
MultiplyIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
multiSetOfData.MultiSet.Lens