Moduleplutus-core-1.70.0.0

PlutusCore.Value

Synopsis

value addQuantity
value buildValueWith
value deleteCoin
value dropPolicies
value empty
value fromList
value insertCoin
value k
value keepPolicies
value lookupCoin
value maxInnerSize
value maxKeyLen
value negativeAmounts
value pack
value policies
value quantity
value scaleValue
value toFlatList
value toList
value totalSize
value unValueData
value unionValue
value unpack
value valueContains
value valueData
value valueDataMaxSize
value zeroQuantity
newtype K
value unK
type NestedMap
newtype Quantity
value unQuantity
data Value

Packageplutus-core-1.70.0.0
Exports33
LicenceApache-2.0

valueaddQuantity :: Quantity -> Quantity -> Maybe Quantity

valuebuildValueWith

:: MonadFail m
=> String
-> a -> m (K, [b])
-> b -> m (K, Quantity)
-> [a]
-> m Value

valuedeleteCoin :: ByteString -> ByteString -> Value -> Value

valuedropPolicies :: [ByteString] -> Value -> Value

valueempty :: Value

valuefromList :: [(K, [(K, Quantity)])] -> BuiltinResult Value

valueinsertCoin

valuek :: ByteString -> Maybe K

valuekeepPolicies :: [ByteString] -> Value -> Value

valuelookupCoin :: ByteString -> ByteString -> Value -> Integer

valuemaxInnerSize :: Value -> Int

valuemaxKeyLen :: Int

valuenegativeAmounts :: Value -> Int

valuepack :: NestedMap -> Value

valuepolicies :: Value -> [ByteString]

valuequantity :: Integer -> Maybe Quantity

valuescaleValue :: Integer -> Value -> BuiltinResult Value

valuetoFlatList :: Value -> [(K, K, Quantity)]

valuetoList :: Value -> [(K, [(K, Quantity)])]

valuetotalSize :: Value -> Int

valueunValueData :: Data -> BuiltinResult Value

valueunionValue :: Value -> Value -> BuiltinResult Value

valueunpack :: Value -> NestedMap

valuevalueContains :: Value -> Value -> BuiltinResult Bool

valuevalueData :: Value -> BuiltinResult Data

valuevalueDataMaxSize :: Int

valuezeroQuantity :: Quantity

newtypenewtype K

Instances10Eq, Ord, Show, Generic, NFData, Hashable, …

Eq KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Ord KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Show KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Generic KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
NFData KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Hashable KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Serialise KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Flat KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
PrettyBy ConstConfig KDefined in plutus-core-1.70.0.0 · PlutusCore.Pretty.PrettyConst
type Rep K = D1 ('MetaData "K" "PlutusCore.Value" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'True) (C1 ('MetaCons "UnsafeK" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))Defined in plutus-core-1.70.0.0 · PlutusCore.Value

valueunK :: K -> ByteString

typetype NestedMap = Map K (Map K Quantity)

newtypenewtype Quantity

Instances12Bounded, Eq, Ord, Show, Generic, NFData, …

Bounded QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Eq QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Ord QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Show QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Generic QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
NFData QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Pretty QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Hashable QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Serialise QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Flat QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
PrettyBy ConstConfig QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Pretty.PrettyConst
type Rep Quantity = D1 ('MetaData "Quantity" "PlutusCore.Value" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'True) (C1 ('MetaCons "UnsafeQuantity" 'PrefixI 'True) (S1 ('MetaSel ('Just "unQuantity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in plutus-core-1.70.0.0 · PlutusCore.Value

valueunQuantity :: Quantity -> Integer

datadata Value

Instances18Eq, Show, Generic, NFData, Pretty, Hashable, …

Eq ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Show ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Generic ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
NFData ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Pretty ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Hashable ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Serialise ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Flat ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
ExMemoryUsage ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExMemoryUsage
PrettyBy ConstConfig ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Pretty.PrettyConst
Contains DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
KnownBuiltinTypeAst tyname DefaultUni Value => KnownTypeAst tyname DefaultUni ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type Rep Value = D1 ('MetaData "Value" "PlutusCore.Value" "plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM" 'False) (C1 ('MetaCons "Value" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NestedMap) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IntMap Int))) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int))))Defined in plutus-core-1.70.0.0 · PlutusCore.Value
type IsBuiltin DefaultUni Value = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Value)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToBinds DefaultUni acc Value = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Value)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe
type ToHoles DefaultUni hole Value = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Value)Defined in plutus-core-1.70.0.0 · PlutusCore.Default.Universe