Moduleplutus-ledger-api-1.70.0.0

PlutusLedgerApi.V4.Data.Value

5 types
24 values

Packageplutus-ledger-api-1.70.0.0
Exports30
LicenceApache-2.0

valueadaSymbol :: CurrencySymbol

valueadaToken :: TokenName

valuecurrencySymbol :: ByteString -> CurrencySymbol

valuecurrencySymbolValueOf :: Value -> CurrencySymbol -> Integer

valueflattenValue :: Value -> [(CurrencySymbol, TokenName, Integer)]

valuegeq :: Value -> Value -> Bool

valuegt :: Value -> Value -> Bool

valueisZero :: Value -> Bool

valueleq :: Value -> Value -> Bool

valuelovelaceValue :: Lovelace -> Value

valuelovelaceValueOf :: Value -> Lovelace

valuelt :: Value -> Value -> Bool

valuesingleton :: CurrencySymbol -> TokenName -> Integer -> Value

valuesplit :: Value -> (Value, Value)

valuesymbols :: Value -> List CurrencySymbol

valuetoString :: TokenName -> String

valuetokenName :: ByteString -> TokenName

valueunionWith :: (Integer -> Integer -> Integer) -> Value -> Value -> Value

valueunsafeLovelaceValueOf :: Value -> Lovelace

valuevalueOf :: Value -> CurrencySymbol -> TokenName -> Integer

valuewithCurrencySymbol

:: CurrencySymbol
-> Value
-> a
-> Map TokenName Integer -> a
-> a

valueassetClass :: CurrencySymbol -> TokenName -> AssetClass

valueassetClassValue :: AssetClass -> Integer -> Value

valueassetClassValueOf :: Value -> AssetClass -> Integer

newtypenewtype CurrencySymbol

Constructors

CurrencySymbol
- unCurrencySymbol :: BuiltinByteString

Instances19Data, Show, IsString, Generic, NFData, Pretty, …

Eq CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Data CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Ord CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Show CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
IsString CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Generic CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
NFData CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Pretty CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
FromData CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
ToData CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
UnsafeFromData CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintDefinition CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Eq CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Ord CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Lift DefaultUni CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintSchema CurrencySymbol referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Typeable DefaultUni CurrencySymbolDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Rep CurrencySymbol = D1 ('MetaData "CurrencySymbol" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "CurrencySymbol" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCurrencySymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Unroll CurrencySymbol = Insert CurrencySymbol (GUnroll (IfStuckRep (RepIsStuckError CurrencySymbol) (Rep CurrencySymbol)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value

newtypenewtype Lovelace

Constructors

Lovelace
- getLovelace :: Integer

Instances22Enum, Num, Real, Generic, Pretty, FromData, …

Enum LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Eq LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Num LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Ord LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Real LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Show LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Generic LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Pretty LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
FromData LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
ToData LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
UnsafeFromData LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintDefinition LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Eq LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Ord LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
AdditiveMonoid LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
AdditiveGroup LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
AdditiveSemigroup LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Show LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Lift DefaultUni LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Typeable DefaultUni LovelaceDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Rep Lovelace = D1 ('MetaData "Lovelace" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Unroll Lovelace = Insert Lovelace (GUnroll (IfStuckRep (RepIsStuckError Lovelace) (Rep Lovelace)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value

newtypenewtype TokenName

Constructors

TokenName
- unTokenName :: BuiltinByteString

Instances19Data, Show, IsString, Generic, NFData, Pretty, …

Eq TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Data TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Ord TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Show TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
IsString TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Generic TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
NFData TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Pretty TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
FromData TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
ToData TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
UnsafeFromData TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintDefinition TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Eq TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Ord TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Lift DefaultUni TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintSchema TokenName referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Typeable DefaultUni TokenNameDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Rep TokenName = D1 ('MetaData "TokenName" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "TokenName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTokenName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Unroll TokenName = Insert TokenName (GUnroll (IfStuckRep (RepIsStuckError TokenName) (Rep TokenName)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value

newtypenewtype Value

Constructors

Value
- getValue :: Map CurrencySymbol (Map TokenName Integer)

Instances25Show, Generic, Pretty, FromData, ToData, UnsafeFromData, …

Eq ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Show ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Generic ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Semigroup ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Monoid ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Pretty ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
FromData ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
ToData ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
UnsafeFromData ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Monoid ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintDefinition ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Semigroup ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Eq ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
AdditiveMonoid ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
JoinSemiLattice ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
MeetSemiLattice ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Group ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
AdditiveGroup ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
AdditiveSemigroup ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Lift DefaultUni ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
HasBlueprintSchema Value referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Module Integer ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
Typeable DefaultUni ValueDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Rep Value = D1 ('MetaData "Value" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value
type Unroll Value = '[Value, CurrencySymbol, TokenName, Integer]Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Value

newtypenewtype AssetClass

Constructors

AssetClass
- unAssetClass :: (CurrencySymbol, TokenName)

Instances18Data, Show, Generic, NFData, Pretty, FromData, …

Eq AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Data AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Ord AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Show AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Generic AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
NFData AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Pretty AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
FromData AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
ToData AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
UnsafeFromData AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
HasBlueprintDefinition AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Eq AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Ord AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Lift DefaultUni AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
HasBlueprintSchema (CurrencySymbol, TokenName) referencedTypes => HasBlueprintSchema AssetClass referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
Typeable DefaultUni AssetClassDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
type Rep AssetClass = D1 ('MetaData "AssetClass" "PlutusLedgerApi.V4.Data.Value" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "AssetClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAssetClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CurrencySymbol, TokenName))))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value
type Unroll AssetClass = AssetClass ': UnrollAll '[CurrencySymbol, TokenName]Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Data.Value

methodscale :: s -> v -> v