machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
machineCosts | PlutusCore.Evaluation.Machine.MachineParameters |
MachineError | PlutusCore.Evaluation.Machine.Exception |
MachineParameters | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
MakeBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
makeBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
makeBuiltinMeaningDebug | PlutusCore.Builtin.Debug |
MakeKnown | PlutusCore.Builtin |
makeKnown | PlutusCore.Builtin |
MakeKnownIn | PlutusCore.Builtin |
makeKnownOrFail | PlutusCore.Builtin |
makeRecursiveType | PlutusCore.StdLib.Type |
many | PlutusPrelude |
Map | PlutusCore.Data |
map | PlutusCore.StdLib.Data.ScottList |
mapCostStream | PlutusCore.Evaluation.Machine.CostStream |
MapData | PlutusCore.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 |
mapNameString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
mapTyNameString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
markNonFresh | PlutusCore.Quote |
markNonFreshBelow | PlutusCore.Quote |
markNonFreshMax | PlutusCore.Quote |
markNonFreshProgram | PlutusCore.Mark |
markNonFreshTerm | PlutusCore.Mark |
markNonFreshType | PlutusCore.Mark |
matchUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
maximumOutputLength | PlutusCore.Bitwise |
MaxSize | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
MaybeImpure | UntypedPlutusCore.Purity |
MayInline | PlutusCore.Annotation |
MCostingFun | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.BuiltinCostModel |
memberByName | PlutusCore.Name.UniqueSet |
memberByUnique | PlutusCore.Name.UniqueSet |
memoryModel | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
memoryUsage | PlutusCore.Evaluation.Machine.ExMemoryUsage |
memSizeBytes | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
mergeScopeInfo | PlutusCore.Check.Scoping |
metaEitherToSum | PlutusCore.StdLib.Meta |
MetaForall | |
1 (Type/Class) | PlutusCore.Examples.Builtins |
2 (Data Constructor) | PlutusCore.Examples.Builtins |
metaIntegerToNat | PlutusCore.StdLib.Meta |
metaListToScottList | PlutusCore.StdLib.Meta |
millerLoop | PlutusCore.Crypto.BLS12_381.Pairing |
minCostStream | PlutusCore.Evaluation.Machine.CostStream |
minimum | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
MinSize | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
minusExBudget | PlutusCore.Evaluation.Machine.ExBudget |
MissingCaseBranch | PlutusCore.Evaluation.Machine.Exception |
MkApplyProgramError | PlutusCore.Error |
mkCekTrans | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
MkCons | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
mkConstant | PlutusCore.MkPlc |
mkConstantOf | PlutusCore.MkPlc |
mkFreshTermLet | PlutusCore.MkPlc |
mkFunctionDef | PlutusCore.MkPlc |
mkImmediateLamAbs | PlutusCore.MkPlc |
mkImmediateTyAbs | PlutusCore.MkPlc |
mkIterApp | PlutusCore.MkPlc |
mkIterAppNoAnn | PlutusCore.MkPlc |
mkIterInst | PlutusCore.MkPlc |
mkIterInstNoAnn | PlutusCore.MkPlc |
mkIterKindArrow | PlutusCore.MkPlc |
mkIterLamAbs | |
1 (Function) | PlutusCore.MkPlc |
2 (Function) | UntypedPlutusCore.MkUPlc |
mkIterTyAbs | PlutusCore.MkPlc |
mkIterTyApp | PlutusCore.MkPlc |
mkIterTyAppNoAnn | PlutusCore.MkPlc |
mkIterTyForall | PlutusCore.MkPlc |
mkIterTyFun | PlutusCore.MkPlc |
mkIterTyLam | PlutusCore.MkPlc |
mkMachineParameters | PlutusCore.Evaluation.Machine.MachineParameters |
mkMachineParametersFor | PlutusCore.Evaluation.Machine.MachineParameters.Default |
MkNilData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
MkNilPairData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
MkPairData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
mkShad | PlutusCore.Examples.Data.Shad |
mkTyBuiltin | PlutusCore.Builtin, PlutusCore.MkPlc |
mkTyBuiltinOf | PlutusCore.MkPlc |
mkTyVar | PlutusCore.MkPlc |
MkUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
MkUnliftingEvaluationError | PlutusCore.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 |
mlResultMemSizeBytes | PlutusCore.Crypto.BLS12_381.Pairing |
Model | PlutusCore.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 |
modelConstantOrLinearConstant | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modelConstantOrLinearIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modelConstantOrLinearSlope | PlutusCore.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 |
modelConstantOrOneArgumentConstant | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modelConstantOrOneArgumentModel | PlutusCore.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 |
modelConstantOrTwoArgumentsConstant | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modelConstantOrTwoArgumentsModel | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelFiveArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelFiveArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelFourArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelFourArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelOneArgument | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelOneArgumentConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelOneArgumentLinearInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelSixArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelSixArgumentsConstantCost | PlutusCore.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 |
modelSubtractedSizesIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modelSubtractedSizesMinimum | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modelSubtractedSizesSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsLinearInMaxYZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsLinearInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsLinearInY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsLinearInYAndZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsLinearInZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsLiteralInYOrLinearInZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelThreeArgumentsQuadraticInZ | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsAddedSizes | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsConstantCost | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsConstOffDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsLinearInX | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsLinearInXAndY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsLinearInY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsLinearOnDiagonal | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsMaxSize | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsMinSize | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsMultipliedSizes | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsQuadraticInXAndY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsQuadraticInY | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
ModelTwoArgumentsSubtractedSizes | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
modifyCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
modifyError | PlutusPrelude |
ModInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
MonadFree | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
MonadKindCheck | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
MonadNormalizeType | PlutusCore.Normalize.Internal, PlutusCore.TypeCheck.Internal |
MonadPretty | PlutusCore.Pretty |
MonadPrettyContext | PlutusCore.Pretty |
MonadQuote | PlutusCore.Quote, PlutusCore |
MonadTypeCheck | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
MonadTypeCheckPlc | PlutusCore.TypeCheck.Internal |
monoidalBudgeting | UntypedPlutusCore.Evaluation.Machine.Cek |
mtraverse | PlutusPrelude |
mulMlResult | PlutusCore.Crypto.BLS12_381.Pairing |
MultipliedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
MultiplyDefined | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
MultiplyInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
multiSetOf | Data.MultiSet.Lens |