plutus-core-1.0.0.1: 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
MakeKnownPlutusCore.Builtin
makeKnownPlutusCore.Builtin
MakeKnownInPlutusCore.Builtin
MakeKnownMPlutusCore.Builtin
makeKnownOrFailPlutusCore.Builtin
makeKnownRunPlutusCore.Builtin
makeRecursiveTypePlutusCore.StdLib.Type
MalformedDataConstrResTypePlutusIR.Error
manyPlutusPrelude
MapPlutusCore.Data
mapPlutusCore.StdLib.Data.ScottList
mapCauseInMachineExceptionPlutusCore.Evaluation.Machine.Exception
MapDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
mapFun 
1 (Function)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
mapNameStringPlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
mapTyNameStringPlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
markNonFreshPlutusCore.Quote
markNonFreshBelowPlutusCore.Quote
markNonFreshMaxPlutusCore.Quote
markNonFreshProgram 
1 (Function)PlutusCore.Mark
2 (Function)PlutusIR.Mark
markNonFreshTerm 
1 (Function)PlutusCore.Mark
2 (Function)PlutusIR.Mark
markNonFreshType 
1 (Function)PlutusCore.Mark
2 (Function)PlutusIR.Mark
matchUniApplyUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MCostingFun 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
memoryUsagePlutusCore.Evaluation.Machine.ExMemory
MergePlutusCore.Builtin
mergeScopeInfoPlutusCore.Check.Scoping
metaEitherToSumPlutusCore.StdLib.Meta
metaIntegerToNatPlutusCore.StdLib.Meta
metaListToScottListPlutusCore.StdLib.Meta
minusExBudgetPlutusCore.Evaluation.Machine.ExBudget
MkConsPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
mkConstantPlutusCore.MkPlc, PlutusIR.MkPir
mkConstantOfPlutusCore.MkPlc, PlutusIR.MkPir
mkFunctionDefPlutusCore.MkPlc, PlutusIR.MkPir
mkImmediateLamAbsPlutusCore.MkPlc, PlutusIR.MkPir
mkImmediateTyAbsPlutusCore.MkPlc, PlutusIR.MkPir
mkIterApp 
1 (Function)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Function)UntypedPlutusCore.MkUPlc
mkIterInstPlutusCore.MkPlc, PlutusIR.MkPir
mkIterKindArrowPlutusCore.MkPlc, PlutusIR.MkPir
mkIterLamAbs 
1 (Function)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Function)UntypedPlutusCore.MkUPlc
mkIterTyAbsPlutusCore.MkPlc, PlutusIR.MkPir
mkIterTyAppPlutusCore.MkPlc, PlutusIR.MkPir
mkIterTyForallPlutusCore.MkPlc, PlutusIR.MkPir
mkIterTyFunPlutusCore.MkPlc, PlutusIR.MkPir
mkIterTyLamPlutusCore.MkPlc, PlutusIR.MkPir
mkLetPlutusIR.MkPir
mkMachineParametersPlutusCore.Evaluation.Machine.MachineParameters
MkNilDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MkNilPairDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MkPairDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
mkShadPlutusCore.Examples.Data.Shad
mkTyBuiltinPlutusCore.MkPlc, PlutusIR.MkPir
mkTyBuiltinOfPlutusCore.MkPlc, PlutusIR.MkPir
mkTyVarPlutusCore.MkPlc, PlutusIR.MkPir
mkVar 
1 (Function)PlutusCore.MkPlc, PlutusIR.MkPir
2 (Function)UntypedPlutusCore.MkUPlc
ModelAddedSizes 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelAddedSizesInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelAddedSizesSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelConstantOrLinear 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearConstantPlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelConstantOrTwoArguments 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrTwoArgumentsConstantPlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrTwoArgumentsModelPlutusCore.Evaluation.Machine.BuiltinCostModel
modelFilePlutusCore.DataFilePaths
ModelFiveArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFiveArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFourArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFourArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelLinearSize 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelLinearSizeInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelLinearSizeSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelMaxSize 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMaxSizeInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelMaxSizeSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelMinSize 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMinSizeInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelMinSizeSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelMultipliedSizes 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMultipliedSizesInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelMultipliedSizesSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentLinearCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSixArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSixArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSubtractedSizes 
1 (Type/Class)PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor)PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesMinimumPlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesSlopePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsAddedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInXPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInYPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInZPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsAddedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstAboveDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstBelowDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInXPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInYPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearOnDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMaxSizePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMinSizePlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMultipliedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsSubtractedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel
modifyDatatypeDefPlutusIR.Compiler.Definitions
modifyDepsPlutusIR.Compiler.Definitions
modifyTermDefPlutusIR.Compiler.Definitions
modifyTypeDefPlutusIR.Compiler.Definitions
ModIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MonadDefsPlutusIR.Compiler.Definitions
MonadQuotePlutusCore.Quote, PlutusCore
mtraversePlutusPrelude
MultipleSourcesPlutusIR.Compiler
MultiplyDefinedPlutusCore.Error, PlutusCore.Check.Uniques, UntypedPlutusCore.Check.Uniques, PlutusCore
MultiplyIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore