Safe Haskell | None |
---|---|
Language | Haskell2010 |
Bcc.Api.Value
Description
Currency values
Synopsis
- newtype Entropic = Entropic Integer
- newtype Quantity = Quantity Integer
- newtype PolicyId = PolicyId ScriptHash
- scriptPolicyId ∷ Script lang → PolicyId
- newtype AssetName = AssetName ByteString
- data AssetId
- data Value
- selectAsset ∷ Value → AssetId → Quantity
- valueFromList ∷ [(AssetId, Quantity)] → Value
- valueToList ∷ Value → [(AssetId, Quantity)]
- filterValue ∷ (AssetId → Bool) → Value → Value
- negateValue ∷ Value → Value
- calcMinimumDeposit ∷ Value → Entropic → Entropic
- quantityToEntropic ∷ Quantity → Entropic
- entropicToQuantity ∷ Entropic → Quantity
- selectEntropic ∷ Value → Entropic
- entropicToValue ∷ Entropic → Value
- valueToEntropic ∷ Value → Maybe Entropic
- newtype ValueNestedRep = ValueNestedRep [ValueNestedBundle]
- data ValueNestedBundle
- valueToNestedRep ∷ Value → ValueNestedRep
- valueFromNestedRep ∷ ValueNestedRep → Value
- renderValue ∷ Value → Text
- renderValuePretty ∷ Value → Text
- toColeEntropic ∷ Entropic → Maybe Entropic
- fromColeEntropic ∷ Entropic → Entropic
- toSophieEntropic ∷ Entropic → Coin
- fromSophieEntropic ∷ Coin → Entropic
- fromSophieDeltaEntropic ∷ DeltaCoin → Entropic
- toJenValue ∷ Value → Value StandardCrypto
- fromJenValue ∷ Value StandardCrypto → Value
- data family AsType t
Documentation
Instances
Enum Entropic Source # | |
Defined in Bcc.Api.Value Methods succ ∷ Entropic → Entropic Source # pred ∷ Entropic → Entropic Source # toEnum ∷ Int → Entropic Source # fromEnum ∷ Entropic → Int Source # enumFrom ∷ Entropic → [Entropic] Source # enumFromThen ∷ Entropic → Entropic → [Entropic] Source # enumFromTo ∷ Entropic → Entropic → [Entropic] Source # enumFromThenTo ∷ Entropic → Entropic → Entropic → [Entropic] Source # | |
Eq Entropic Source # | |
Num Entropic Source # | |
Defined in Bcc.Api.Value | |
Ord Entropic Source # | |
Show Entropic Source # | |
Semigroup Entropic Source # | |
Monoid Entropic Source # | |
FromJSON Entropic Source # | |
Defined in Bcc.Api.Value | |
ToJSON Entropic Source # | |
Defined in Bcc.Api.Value Methods toEncoding ∷ Entropic → Encoding # toJSONList ∷ [Entropic] → Value # toEncodingList ∷ [Entropic] → Encoding # | |
FromCBOR Entropic Source # | |
ToCBOR Entropic Source # | |
Multi-asset values
Instances
Eq Quantity Source # | |
Num Quantity Source # | |
Defined in Bcc.Api.Value | |
Ord Quantity Source # | |
Show Quantity Source # | |
Semigroup Quantity Source # | |
Monoid Quantity Source # | |
FromJSON Quantity Source # | |
Defined in Bcc.Api.Value | |
ToJSON Quantity Source # | |
Defined in Bcc.Api.Value Methods toEncoding ∷ Quantity → Encoding # toJSONList ∷ [Quantity] → Value # toEncodingList ∷ [Quantity] → Encoding # |
Constructors
PolicyId ScriptHash |
Instances
Eq PolicyId Source # | |
Ord PolicyId Source # | |
Show PolicyId Source # | |
IsString PolicyId Source # | |
Defined in Bcc.Api.Value Methods fromString ∷ String → PolicyId Source # | |
FromJSON PolicyId Source # | |
Defined in Bcc.Api.Value | |
ToJSON PolicyId Source # | |
Defined in Bcc.Api.Value Methods toEncoding ∷ PolicyId → Encoding # toJSONList ∷ [PolicyId] → Value # toEncodingList ∷ [PolicyId] → Encoding # | |
HasTypeProxy PolicyId Source # | |
SerialiseAsRawBytes PolicyId Source # | |
Defined in Bcc.Api.Value Methods serialiseToRawBytes ∷ PolicyId → ByteString Source # deserialiseFromRawBytes ∷ AsType PolicyId → ByteString → Maybe PolicyId Source # | |
data AsType PolicyId Source # | |
Defined in Bcc.Api.Value |
scriptPolicyId ∷ Script lang → PolicyId Source #
Constructors
AssetName ByteString |
Instances
Eq AssetName Source # | |
Ord AssetName Source # | |
Defined in Bcc.Api.Value | |
Show AssetName Source # | |
IsString AssetName Source # | |
Defined in Bcc.Api.Value Methods fromString ∷ String → AssetName Source # | |
FromJSON AssetName Source # | |
Defined in Bcc.Api.Value | |
ToJSON AssetName Source # | |
Defined in Bcc.Api.Value Methods toEncoding ∷ AssetName → Encoding # toJSONList ∷ [AssetName] → Value # toEncodingList ∷ [AssetName] → Encoding # | |
FromJSONKey AssetName Source # | |
Defined in Bcc.Api.Value | |
ToJSONKey AssetName Source # | |
Defined in Bcc.Api.Value | |
HasTypeProxy AssetName Source # | |
SerialiseAsRawBytes AssetName Source # | |
Defined in Bcc.Api.Value | |
data AsType AssetName Source # | |
Defined in Bcc.Api.Value |
Constructors
BccAssetId | |
AssetId !PolicyId !AssetName |
negateValue ∷ Value → Value Source #
This lets you write a - b
as a <> negateValue b
.
calcMinimumDeposit ∷ Value → Entropic → Entropic Source #
Calculate cost of making a UTxO entry for a given Value
and
mininimum UTxO value derived from the ProtocolParameters
Bcc / Entropic specifically
valueToEntropic ∷ Value → Maybe Entropic Source #
Check if the Value
consists of only Entropic
and no other assets,
and if so then return the Entropic.
See also selectEntropic
to select the Entropic quantity from the Value,
ignoring other assets.
Alternative nested representation
newtype ValueNestedRep Source #
Constructors
ValueNestedRep [ValueNestedBundle] |
Instances
Eq ValueNestedRep Source # | |
Defined in Bcc.Api.Value Methods (==) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (/=) ∷ ValueNestedRep → ValueNestedRep → Bool Source # | |
Ord ValueNestedRep Source # | |
Defined in Bcc.Api.Value Methods compare ∷ ValueNestedRep → ValueNestedRep → Ordering Source # (<) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (<=) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (>) ∷ ValueNestedRep → ValueNestedRep → Bool Source # (>=) ∷ ValueNestedRep → ValueNestedRep → Bool Source # max ∷ ValueNestedRep → ValueNestedRep → ValueNestedRep Source # min ∷ ValueNestedRep → ValueNestedRep → ValueNestedRep Source # | |
Show ValueNestedRep Source # | |
Defined in Bcc.Api.Value | |
FromJSON ValueNestedRep Source # | |
Defined in Bcc.Api.Value | |
ToJSON ValueNestedRep Source # | |
Defined in Bcc.Api.Value Methods toJSON ∷ ValueNestedRep → Value # toEncoding ∷ ValueNestedRep → Encoding # toJSONList ∷ [ValueNestedRep] → Value # toEncodingList ∷ [ValueNestedRep] → Encoding # |
data ValueNestedBundle Source #
A bundle within a ValueNestedRep
for a single PolicyId
, or for the
special case of bcc.
Constructors
ValueNestedBundleBcc Quantity | |
ValueNestedBundle PolicyId (Map AssetName Quantity) |
Instances
Eq ValueNestedBundle Source # | |
Defined in Bcc.Api.Value Methods (==) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (/=) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # | |
Ord ValueNestedBundle Source # | |
Defined in Bcc.Api.Value Methods compare ∷ ValueNestedBundle → ValueNestedBundle → Ordering Source # (<) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (<=) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (>) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # (>=) ∷ ValueNestedBundle → ValueNestedBundle → Bool Source # max ∷ ValueNestedBundle → ValueNestedBundle → ValueNestedBundle Source # min ∷ ValueNestedBundle → ValueNestedBundle → ValueNestedBundle Source # | |
Show ValueNestedBundle Source # | |
Defined in Bcc.Api.Value |
Rendering
Internal conversion functions
toColeEntropic ∷ Entropic → Maybe Entropic Source #
fromColeEntropic ∷ Entropic → Entropic Source #
toSophieEntropic ∷ Entropic → Coin Source #
fromSophieEntropic ∷ Coin → Entropic Source #
fromSophieDeltaEntropic ∷ DeltaCoin → Entropic Source #
toJenValue ∷ Value → Value StandardCrypto Source #
fromJenValue ∷ Value StandardCrypto → Value Source #
Data family instances
A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.
Values of this type are passed to deserialisation functions for example.