| 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 | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | UntypedPlutusCore.Mark |
| markNonFreshTerm | |
| 1 (Function) | PlutusCore.Mark |
| 2 (Function) | UntypedPlutusCore.Mark |
| markNonFreshType | PlutusCore.Mark |
| matchData | PlutusCore.StdLib.Data.Data |
| matchList | PlutusCore.StdLib.Data.List |
| MatchOption | PlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List |
| matchUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| maximumOutputLength | PlutusCore.Bitwise |
| MaxSize | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
| MaybeImpure | UntypedPlutusCore.Purity |
| MaybeWork | 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 |
| MissingCaseBranchMachineError | 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 |