Moduleplutus-core-1.70.0.0

PlutusCore.Value

4 types
29 values

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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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-AjXwyzfmVfT8tKfEB70hFt" '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