Moduleplutus-core-1.70.0.0
PlutusCore.Evaluation.Machine.ExMemoryUsage
- 8 types
- 1 class
- 2 values
- Packageplutus-core-1.70.0.0
- Exports11
- LicenceApache-2.0
Constructors
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni DataNodeCount = IsBuiltin DefaultUni DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc DataNodeCount = ToBinds DefaultUni acc DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole DataNodeCount = ToHoles DefaultUni hole DataDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
Methods
memoryUsage :: a -> CostRose
Instances35ExMemoryUsage, …
ExMemoryUsage ByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage NaturalDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage BoolDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage CharDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage IntDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage Word64Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage Word8Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage MlResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage DataDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.BuiltinsExMemoryUsage CByteStringDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe.CardanoExMemoryUsage CIntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe.CardanoExMemoryUsage DataNodeCountDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage TextDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage ()Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage (Vector a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage [a]Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage (CkValue uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CkExMemoryUsage (a, b)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageExMemoryUsage val => ExMemoryUsage (Opaque val rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism(Closed uni, Everywhere uni ExMemoryUsage) => ExMemoryUsage (Some (ValueOf uni))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsage(Everywhere uni ExMemoryUsage, Closed uni) => ExMemoryUsage (SomeConstant uni rep)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism(Closed uni, Everywhere uni ExMemoryUsage) => ExMemoryUsage (CekValue uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.InternalExMemoryUsage (Term name uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.TypeExMemoryUsage (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni IntegerCostedLiterallyDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni IntegerCostedLiterally = IsBuiltin DefaultUni IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc IntegerCostedLiterally = ToBinds DefaultUni acc IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole IntegerCostedLiterally = ToHoles DefaultUni hole IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni NumBytesCostedAsNumWordsDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni NumBytesCostedAsNumWords = IsBuiltin DefaultUni IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc NumBytesCostedAsNumWords = ToBinds DefaultUni acc IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole NumBytesCostedAsNumWords = ToHoles DefaultUni hole IntegerDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni TextCostedByByteLengthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni TextCostedByByteLength = IsBuiltin DefaultUni TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc TextCostedByByteLength = ToBinds DefaultUni acc TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole TextCostedByByteLength = ToHoles DefaultUni hole TextDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni ValueMaxDepthDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni ValueMaxDepth = IsBuiltin DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc ValueMaxDepth = ToBinds DefaultUni acc ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole ValueMaxDepth = ToHoles DefaultUni hole ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni ValueOuterSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni ValueOuterSize = IsBuiltin DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc ValueOuterSize = ToBinds DefaultUni acc ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole ValueOuterSize = ToHoles DefaultUni hole ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
Constructors
Instances7ExMemoryUsage, MakeKnownIn, ReadKnownIn, KnownTypeAst, IsBuiltin, ToBinds, …
ExMemoryUsage ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsageKnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.UniverseKnownTypeAst tyname DefaultUni ValueTotalSizeDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype IsBuiltin DefaultUni ValueTotalSize = IsBuiltin DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToBinds DefaultUni acc ValueTotalSize = ToBinds DefaultUni acc ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universetype ToHoles DefaultUni hole ValueTotalSize = ToHoles DefaultUni hole ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe