type Rep PolicyID
Instance details Defined in Cardano.Ledger.Mary.Value type Rep PolicyID = D1 ('MetaData "PolicyID" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "PolicyID" 'PrefixI 'True) (S1 ('MetaSel ('Just "policyID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))

Methods

from ∷ PolicyID → Rep PolicyID x #

to ∷ Rep PolicyID x → PolicyID #

Show PolicyID Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → PolicyID → ShowS #

show ∷ PolicyID → String #

showList ∷ [PolicyID] → ShowS #

Eq PolicyID Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ PolicyID → PolicyID → Bool #

(/=) ∷ PolicyID → PolicyID → Bool #

Ord PolicyID Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ PolicyID → PolicyID → Ordering #

(<) ∷ PolicyID → PolicyID → Bool #

(<=) ∷ PolicyID → PolicyID → Bool #

(>) ∷ PolicyID → PolicyID → Bool #

(>=) ∷ PolicyID → PolicyID → Bool #

max ∷ PolicyID → PolicyID → PolicyID #

min ∷ PolicyID → PolicyID → PolicyID #

NoThunks PolicyID Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → PolicyID → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PolicyID → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PolicyID → String Source #

type Rep PolicyID Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep PolicyID = D1 ('MetaData "PolicyID" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "PolicyID" 'PrefixI 'True) (S1 ('MetaSel ('Just "policyID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))

newtype AssetName Source #

Asset Name

Constructors

AssetName
Fields assetNameBytes ∷ ShortByteString

Instances

Instances details

ToJSON AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods toJSON ∷ AssetName → Value Source # toEncoding ∷ AssetName → Encoding Source # toJSONList ∷ [AssetName] → Value Source # toEncodingList ∷ [AssetName] → Encoding Source # omitField ∷ AssetName → Bool Source #
ToJSONKey AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods toJSONKey ∷ ToJSONKeyFunction AssetName Source # toJSONKeyList ∷ ToJSONKeyFunction [AssetName] Source #
DecCBOR AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods decCBOR ∷ Decoder s AssetName Source # dropCBOR ∷ Proxy AssetName → Decoder s () Source # label ∷ Proxy AssetName → Text Source #
EncCBOR AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods encCBOR ∷ AssetName → Encoding Source #
NFData AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods rnf ∷ AssetName → () #
Show AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods showsPrec ∷ Int → AssetName → ShowS # show ∷ AssetName → String # showList ∷ [AssetName] → ShowS #
Eq AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods (==) ∷ AssetName → AssetName → Bool # (/=) ∷ AssetName → AssetName → Bool #
Ord AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods compare ∷ AssetName → AssetName → Ordering # (<) ∷ AssetName → AssetName → Bool # (<=) ∷ AssetName → AssetName → Bool # (>) ∷ AssetName → AssetName → Bool # (>=) ∷ AssetName → AssetName → Bool # max ∷ AssetName → AssetName → AssetName # min ∷ AssetName → AssetName → AssetName #
NoThunks AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods noThunks ∷ Context → AssetName → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AssetName → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AssetName → String Source #

data MaryValue Source #

The Value representing MultiAssets

Constructors

MaryValue !Coin !MultiAsset

Instances

Instances details

ToJSON MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toJSON ∷ MaryValue → Value Source #

toEncoding ∷ MaryValue → Encoding Source #

toJSONList ∷ [MaryValue] → Value Source #

toEncodingList ∷ [MaryValue] → Encoding Source #

omitField ∷ MaryValue → Bool Source #

DecCBOR MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s MaryValue Source #

dropCBOR ∷ Proxy MaryValue → Decoder s () Source #

label ∷ Proxy MaryValue → Text Source #

EncCBOR MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ MaryValue → Encoding Source #

ToKeyValuePairs MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ MaryValue → [kv] Source #

Compactible MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

newtype CompactForm MaryValue
Instance details Defined in Cardano.Ledger.Mary.Value newtype CompactForm MaryValue = CompactValue CompactValue

Methods

toCompact ∷ MaryValue → Maybe (CompactForm MaryValue) Source #

fromCompact ∷ CompactForm MaryValue → MaryValue Source #

Val MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

zero ∷ MaryValue Source #

(<+>) ∷ MaryValue → MaryValue → MaryValue Source #

(<×>) ∷ Integral i ⇒ i → MaryValue → MaryValue Source #

(<->) ∷ MaryValue → MaryValue → MaryValue Source #

isZero ∷ MaryValue → Bool Source #

coin ∷ MaryValue → Coin Source #

modifyCoin ∷ (Coin → Coin) → MaryValue → MaryValue Source #

size ∷ MaryValue → Integer Source #

pointwise ∷ (Integer → Integer → Bool) → MaryValue → MaryValue → Bool Source #

isAdaOnly ∷ MaryValue → Bool Source #

isAdaOnlyCompact ∷ CompactForm MaryValue → Bool Source #

coinCompact ∷ CompactForm MaryValue → CompactForm Coin Source #

injectCompact ∷ CompactForm Coin → CompactForm MaryValue Source #

modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm MaryValue → CompactForm MaryValue Source #

NFData MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ MaryValue → () #

Monoid MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

mempty ∷ MaryValue #

mappend ∷ MaryValue → MaryValue → MaryValue #

mconcat ∷ [MaryValue] → MaryValue #

Semigroup MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>) ∷ MaryValue → MaryValue → MaryValue #

sconcat ∷ NonEmpty MaryValue → MaryValue #

stimes ∷ Integral b ⇒ b → MaryValue → MaryValue #

Generic MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep MaryValue

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))

Methods

from ∷ MaryValue → Rep MaryValue x #

to ∷ Rep MaryValue x → MaryValue #

Show MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → MaryValue → ShowS #

show ∷ MaryValue → String #

showList ∷ [MaryValue] → ShowS #

Eq MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ MaryValue → MaryValue → Bool #

(/=) ∷ MaryValue → MaryValue → Bool #

Abelian MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Group MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invert ∷ MaryValue → MaryValue Source #

(~~) ∷ MaryValue → MaryValue → MaryValue Source #

pow ∷ Integral x ⇒ MaryValue → x → MaryValue Source #

NoThunks MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy MaryValue → String Source #

Inject Coin MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

inject ∷ Coin → MaryValue Source #

DecCBOR (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s (CompactForm MaryValue) Source #

dropCBOR ∷ Proxy (CompactForm MaryValue) → Decoder s () Source #

label ∷ Proxy (CompactForm MaryValue) → Text Source #

EncCBOR (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ CompactForm MaryValue → Encoding Source #

NFData (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ CompactForm MaryValue → () #

Show (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → CompactForm MaryValue → ShowS #

show ∷ CompactForm MaryValue → String #

showList ∷ [CompactForm MaryValue] → ShowS #

Eq (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

MemPack (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

typeName ∷ String Source #

packedByteCount ∷ CompactForm MaryValue → Int Source #

packM ∷ CompactForm MaryValue → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CompactForm MaryValue) Source #

NoThunks (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CompactForm MaryValue) → String Source #

newtype CompactForm MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

newtype CompactForm MaryValue = CompactValue CompactValue

type Rep MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))

newtype MultiAsset Source #

The MultiAssets map

Constructors

MultiAsset (Map PolicyID (Map AssetName Integer))

Instances

Instances details

ToJSON MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toJSON ∷ MultiAsset → Value Source #

toEncoding ∷ MultiAsset → Encoding Source #

toJSONList ∷ [MultiAsset] → Value Source #

toEncodingList ∷ [MultiAsset] → Encoding Source #

omitField ∷ MultiAsset → Bool Source #

DecCBOR MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s MultiAsset Source #

dropCBOR ∷ Proxy MultiAsset → Decoder s () Source #

label ∷ Proxy MultiAsset → Text Source #

EncCBOR MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ MultiAsset → Encoding Source #

NFData MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ MultiAsset → () #

Monoid MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

mempty ∷ MultiAsset #

mappend ∷ MultiAsset → MultiAsset → MultiAsset #

mconcat ∷ [MultiAsset] → MultiAsset #

Semigroup MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(<>) ∷ MultiAsset → MultiAsset → MultiAsset #

sconcat ∷ NonEmpty MultiAsset → MultiAsset #

stimes ∷ Integral b ⇒ b → MultiAsset → MultiAsset #

Generic MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep MultiAsset
Instance details Defined in Cardano.Ledger.Mary.Value type Rep MultiAsset = D1 ('MetaData "MultiAsset" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MultiAsset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PolicyID (Map AssetName Integer)))))

Methods

from ∷ MultiAsset → Rep MultiAsset x #

to ∷ Rep MultiAsset x → MultiAsset #

Show MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → MultiAsset → ShowS #

show ∷ MultiAsset → String #

showList ∷ [MultiAsset] → ShowS #

Eq MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ MultiAsset → MultiAsset → Bool #

(/=) ∷ MultiAsset → MultiAsset → Bool #

Group MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

invert ∷ MultiAsset → MultiAsset Source #

(~~) ∷ MultiAsset → MultiAsset → MultiAsset Source #

pow ∷ Integral x ⇒ MultiAsset → x → MultiAsset Source #

NoThunks MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → MultiAsset → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MultiAsset → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy MultiAsset → String Source #

type Rep MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep MultiAsset = D1 ('MetaData "MultiAsset" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MultiAsset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PolicyID (Map AssetName Integer)))))

type MemoHashIndex (MaryTxBodyRaw l) Source #

Instance details

Defined in Cardano.Ledger.Mary.TxBody

type MemoHashIndex (MaryTxBodyRaw l) = EraIndependentTxBody

insertMultiAsset ∷ (Integer → Integer → Integer) → PolicyID → AssetName → Integer → MultiAsset → MultiAsset Source #

insertMultiAsset comb policy asset n v, if comb = old new -> old, the integer in the MultiAsset is prefered over n if comb = old new -> new, then n is prefered over the integer in the MultiAsset if (comb old new) == 0, then that value should not be stored in the MultiAsset

lookupMultiAsset ∷ PolicyID → AssetName → MaryValue → Integer Source #

multiAssetFromList ∷ [(PolicyID, AssetName, Integer)] → MultiAsset Source #

Rather than using prune to remove 0 assets, when can avoid adding them in the first place by using valueFromList to construct a MultiAsset

policies ∷ MultiAsset → Set PolicyID Source #

Extract the set of policies in the Value.

This function is equivalent to computing the support of the value in the spec.

mapMaybeMultiAsset ∷ (PolicyID → AssetName → Integer → Maybe Integer) → MultiAsset → MultiAsset Source #

Map a function over each multi asset value while optionally filtering values out. Canonical form is preserved.

filterMultiAsset Source #

Arguments

∷ (PolicyID → AssetName → Integer → Bool)	Predicate that needs to return `True` whenever an asset should be retained.
→ MultiAsset
→ MultiAsset

Filter multi assets. Canonical form is preserved.

pruneZeroMultiAsset ∷ MultiAsset → MultiAsset Source #

Remove all assets with that have zero amount specified

representationSize ∷ [(PolicyID, AssetName, Integer)] → Int Source #

showValue ∷ MaryValue → String Source #

Display a MaryValue as a String, one token per line

flattenMultiAsset ∷ MultiAsset → [(PolicyID, AssetName, Integer)] Source #

valueFromList ∷ Coin → [(PolicyID, AssetName, Integer)] → MaryValue Source #

data CompactValue Source #

Constructors

CompactValueAdaOnly !(CompactForm Coin)
CompactValueMultiAsset !(CompactForm Coin) !Word32 !ShortByteString

Instances

Instances details

DecCBOR CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s CompactValue Source #

dropCBOR ∷ Proxy CompactValue → Decoder s () Source #

label ∷ Proxy CompactValue → Text Source #

EncCBOR CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ CompactValue → Encoding Source #

NFData CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ CompactValue → () #

Generic CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Associated Types

type Rep CompactValue

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep CompactValue = D1 ('MetaData "CompactValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'False) (C1 ('MetaCons "CompactValueAdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin))) :+: C1 ('MetaCons "CompactValueMultiAsset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 ShortByteString))))

Methods

from ∷ CompactValue → Rep CompactValue x #

to ∷ Rep CompactValue x → CompactValue #

Show CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → CompactValue → ShowS #

show ∷ CompactValue → String #

showList ∷ [CompactValue] → ShowS #

Eq CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ CompactValue → CompactValue → Bool #

(/=) ∷ CompactValue → CompactValue → Bool #

MemPack CompactValue Source #

We need to manually pack/unpack `CompactForm Coin` here because its MemPack instance can't be used due to the requirement of it being compatible with the first case of CompactValueAdaOnly. In other words MemPack instance for `CompactForm Coin` also prefixes a zero Tag for binary compatibility with CompactValueAdaOnly case.

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

typeName ∷ String Source #

packedByteCount ∷ CompactValue → Int Source #

packM ∷ CompactValue → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b CompactValue Source #

NoThunks CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → CompactValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy CompactValue → String Source #

type Rep CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

type Rep CompactValue = D1 ('MetaData "CompactValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.10.0.0-inplace" 'False) (C1 ('MetaCons "CompactValueAdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin))) :+: C1 ('MetaCons "CompactValueMultiAsset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 ShortByteString))))

data family CompactForm a Source #

Instances

Instances details

FromJSON (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

parseJSON ∷ Value → Parser (CompactForm Coin) Source #

parseJSONList ∷ Value → Parser [CompactForm Coin] Source #

omittedField ∷ Maybe (CompactForm Coin) Source #

ToJSON (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON ∷ CompactForm Coin → Value Source #

toEncoding ∷ CompactForm Coin → Encoding Source #

toJSONList ∷ [CompactForm Coin] → Value Source #

toEncodingList ∷ [CompactForm Coin] → Encoding Source #

omitField ∷ CompactForm Coin → Bool Source #

ToJSON (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON ∷ CompactForm DeltaCoin → Value Source #

toEncoding ∷ CompactForm DeltaCoin → Encoding Source #

toJSONList ∷ [CompactForm DeltaCoin] → Value Source #

toEncodingList ∷ [CompactForm DeltaCoin] → Encoding Source #

omitField ∷ CompactForm DeltaCoin → Bool Source #

ToCBOR (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBOR ∷ CompactForm Coin → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm Coin) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm Coin] → Size Source #

DecCBOR (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR ∷ Decoder s (CompactForm Coin) Source #

dropCBOR ∷ Proxy (CompactForm Coin) → Decoder s () Source #

label ∷ Proxy (CompactForm Coin) → Text Source #

DecCBOR (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR ∷ Decoder s (CompactForm DeltaCoin) Source #

dropCBOR ∷ Proxy (CompactForm DeltaCoin) → Decoder s () Source #

label ∷ Proxy (CompactForm DeltaCoin) → Text Source #

DecCBOR (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

decCBOR ∷ Decoder s (CompactForm MaryValue) Source #

dropCBOR ∷ Proxy (CompactForm MaryValue) → Decoder s () Source #

label ∷ Proxy (CompactForm MaryValue) → Text Source #

EncCBOR (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CompactForm Coin → Encoding Source #

EncCBOR (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CompactForm DeltaCoin → Encoding Source #

EncCBOR (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

encCBOR ∷ CompactForm MaryValue → Encoding Source #

ToPlutusData (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ CompactForm Coin → Data Source #

fromPlutusData ∷ Data → Maybe (CompactForm Coin) Source #

NFData (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CompactForm Coin → () #

NFData (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CompactForm DeltaCoin → () #

NFData (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

rnf ∷ CompactForm MaryValue → () #

Monoid (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty ∷ CompactForm Coin #

mappend ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin #

mconcat ∷ [CompactForm Coin] → CompactForm Coin #

Semigroup (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin #

sconcat ∷ NonEmpty (CompactForm Coin) → CompactForm Coin #

stimes ∷ Integral b ⇒ b → CompactForm Coin → CompactForm Coin #

Generic (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep (CompactForm Coin)
Instance details Defined in Cardano.Ledger.Coin type Rep (CompactForm Coin) = D1 ('MetaData "CompactForm" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "CompactCoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCompactCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ CompactForm Coin → Rep (CompactForm Coin) x #

to ∷ Rep (CompactForm Coin) x → CompactForm Coin #

Show (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CompactForm Coin → ShowS #

show ∷ CompactForm Coin → String #

showList ∷ [CompactForm Coin] → ShowS #

Show (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CompactForm DeltaCoin → ShowS #

show ∷ CompactForm DeltaCoin → String #

showList ∷ [CompactForm DeltaCoin] → ShowS #

Show (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

showsPrec ∷ Int → CompactForm MaryValue → ShowS #

show ∷ CompactForm MaryValue → String #

showList ∷ [CompactForm MaryValue] → ShowS #

Eq (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) ∷ CompactForm Coin → CompactForm Coin → Bool #

(/=) ∷ CompactForm Coin → CompactForm Coin → Bool #

Eq (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Bool #

(/=) ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Bool #

Eq (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

(==) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

(/=) ∷ CompactForm MaryValue → CompactForm MaryValue → Bool #

Ord (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

compare ∷ CompactForm Coin → CompactForm Coin → Ordering #

(<) ∷ CompactForm Coin → CompactForm Coin → Bool #

(<=) ∷ CompactForm Coin → CompactForm Coin → Bool #

(>) ∷ CompactForm Coin → CompactForm Coin → Bool #

(>=) ∷ CompactForm Coin → CompactForm Coin → Bool #

max ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin #

min ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin #

Abelian (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

invert ∷ CompactForm Coin → CompactForm Coin Source #

(~~) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source #

pow ∷ Integral x ⇒ CompactForm Coin → x → CompactForm Coin Source #

MemPack (CompactForm Coin)

This instance prefixes with a 0 Tag for binary compatibility with compact form of multiassets.

Instance details

Defined in Cardano.Ledger.Coin

Methods

typeName ∷ String Source #

packedByteCount ∷ CompactForm Coin → Int Source #

packM ∷ CompactForm Coin → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CompactForm Coin) Source #

MemPack (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

typeName ∷ String Source #

packedByteCount ∷ CompactForm MaryValue → Int Source #

packM ∷ CompactForm MaryValue → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CompactForm MaryValue) Source #

NoThunks (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

noThunks ∷ Context → CompactForm Coin → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactForm Coin → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CompactForm Coin) → String Source #

NoThunks (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

noThunks ∷ Context → CompactForm DeltaCoin → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactForm DeltaCoin → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CompactForm DeltaCoin) → String Source #

NoThunks (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

noThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactForm MaryValue → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CompactForm MaryValue) → String Source #

Prim (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOfType# ∷ Proxy (CompactForm Coin) → Int# Source #

sizeOf# ∷ CompactForm Coin → Int# Source #

alignmentOfType# ∷ Proxy (CompactForm Coin) → Int# Source #

alignment# ∷ CompactForm Coin → Int# Source #

indexByteArray# ∷ ByteArray# → Int# → CompactForm Coin Source #

readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm Coin #) Source #

writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm Coin → State# s → State# s Source #

setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm Coin → State# s → State# s Source #

indexOffAddr# ∷ Addr# → Int# → CompactForm Coin Source #

readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm Coin #) Source #

writeOffAddr# ∷ Addr# → Int# → CompactForm Coin → State# s → State# s Source #

setOffAddr# ∷ Addr# → Int# → Int# → CompactForm Coin → State# s → State# s Source #

Prim (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOfType# ∷ Proxy (CompactForm DeltaCoin) → Int# Source #

sizeOf# ∷ CompactForm DeltaCoin → Int# Source #

alignmentOfType# ∷ Proxy (CompactForm DeltaCoin) → Int# Source #

alignment# ∷ CompactForm DeltaCoin → Int# Source #

indexByteArray# ∷ ByteArray# → Int# → CompactForm DeltaCoin Source #

readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm DeltaCoin #) Source #

writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm DeltaCoin → State# s → State# s Source #

setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm DeltaCoin → State# s → State# s Source #

indexOffAddr# ∷ Addr# → Int# → CompactForm DeltaCoin Source #

readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm DeltaCoin #) Source #

writeOffAddr# ∷ Addr# → Int# → CompactForm DeltaCoin → State# s → State# s Source #

setOffAddr# ∷ Addr# → Int# → Int# → CompactForm DeltaCoin → State# s → State# s Source #

Uniform (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformM ∷ StatefulGen g m ⇒ g → m (CompactForm Coin) Source #

UniformRange (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformRM ∷ StatefulGen g m ⇒ (CompactForm Coin, CompactForm Coin) → g → m (CompactForm Coin) Source #

isInRange ∷ (CompactForm Coin, CompactForm Coin) → CompactForm Coin → Bool Source #

newtype CompactForm Coin

Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin {

unCompactCoin ∷ Word64

}

newtype CompactForm DeltaCoin

Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin = CompactDeltaCoin Word64

newtype CompactForm MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

newtype CompactForm MaryValue = CompactValue CompactValue

type Rep (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

type Rep (CompactForm Coin) = D1 ('MetaData "CompactForm" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "CompactCoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCompactCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

isMultiAssetSmallEnough ∷ MultiAsset → Bool Source #

Unlike representationSize, this function cheaply checks whether any offset within a MultiAsset compact representation is likely to overflow Word16.

compact form inequality: 8n (Word64) + 2n (Word16) + 2n (Word16) + 28p (policy ids) + sum of lengths of unique asset names <= 65535 maximum size for the asset name is 32 bytes, so: 8n + 2n + 2n + 28p + 32n <= 65535 where: n = total number of assets, p = number of unique policy ids

assetNameToTextAsHex ∷ AssetName → Text Source #