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.12.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.12.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

FromJSON AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods parseJSON ∷ Value → Parser AssetName Source # parseJSONList ∷ Value → Parser [AssetName] Source # omittedField ∷ Maybe AssetName Source #
FromJSONKey AssetName Source #
Instance details Defined in Cardano.Ledger.Mary.Value Methods fromJSONKey ∷ FromJSONKeyFunction AssetName Source # fromJSONKeyList ∷ FromJSONKeyFunction [AssetName] Source #
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

Note that the Ord instance isn't semantically meaningful and is used only to satisfy constraints on Haskell containers such as Set and Map. Do not use it for any purpose that would directly affect chain behavior.

Constructors

MaryValue !Coin !MultiAsset

Instances

Instances details

FromJSON MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

parseJSON ∷ Value → Parser MaryValue Source #

parseJSONList ∷ Value → Parser [MaryValue] Source #

omittedField ∷ Maybe MaryValue Source #

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.12.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 #

Ord MaryValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ MaryValue → MaryValue → Ordering #

(<) ∷ MaryValue → MaryValue → Bool #

(<=) ∷ MaryValue → MaryValue → Bool #

(>) ∷ MaryValue → MaryValue → Bool #

(>=) ∷ MaryValue → MaryValue → Bool #

max ∷ MaryValue → MaryValue → MaryValue #

min ∷ MaryValue → MaryValue → MaryValue #

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 #

Ord (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ CompactForm MaryValue → CompactForm MaryValue → Ordering #

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

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

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

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

max ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

min ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

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.12.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

Note that the Ord instance isn't semantically meaningful and is used only to satisfy constraints on Haskell containers such as Set and Map. Do not use it for any purpose that would directly affect chain behavior.

Constructors

MultiAsset (Map PolicyID (Map AssetName Integer))

Instances

Instances details

FromJSON MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

parseJSON ∷ Value → Parser MultiAsset Source #

parseJSONList ∷ Value → Parser [MultiAsset] Source #

omittedField ∷ Maybe MultiAsset Source #

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.12.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 #

Ord MultiAsset Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ MultiAsset → MultiAsset → Ordering #

(<) ∷ MultiAsset → MultiAsset → Bool #

(<=) ∷ MultiAsset → MultiAsset → Bool #

(>) ∷ MultiAsset → MultiAsset → Bool #

(>=) ∷ MultiAsset → MultiAsset → Bool #

max ∷ MultiAsset → MultiAsset → MultiAsset #

min ∷ MultiAsset → MultiAsset → MultiAsset #

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.12.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.12.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 #

Ord CompactValue Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ CompactValue → CompactValue → Ordering #

(<) ∷ CompactValue → CompactValue → Bool #

(<=) ∷ CompactValue → CompactValue → Bool #

(>) ∷ CompactValue → CompactValue → Bool #

(>=) ∷ CompactValue → CompactValue → Bool #

max ∷ CompactValue → CompactValue → CompactValue #

min ∷ CompactValue → CompactValue → CompactValue #

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.12.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 #

HasZero (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

isZero ∷ CompactForm Coin → Bool 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 #

Storable (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOf ∷ CompactForm Coin → Int #

alignment ∷ CompactForm Coin → Int #

peekElemOff ∷ Ptr (CompactForm Coin) → Int → IO (CompactForm Coin) #

pokeElemOff ∷ Ptr (CompactForm Coin) → Int → CompactForm Coin → IO () #

peekByteOff ∷ Ptr b → Int → IO (CompactForm Coin) #

pokeByteOff ∷ Ptr b → Int → CompactForm Coin → IO () #

peek ∷ Ptr (CompactForm Coin) → IO (CompactForm Coin) #

poke ∷ Ptr (CompactForm Coin) → CompactForm Coin → IO () #

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.22.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 #

Ord (CompactForm DeltaCoin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

compare ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → Ordering #

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

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

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

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

max ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → CompactForm DeltaCoin #

min ∷ CompactForm DeltaCoin → CompactForm DeltaCoin → CompactForm DeltaCoin #

Ord (CompactForm MaryValue) Source #

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

compare ∷ CompactForm MaryValue → CompactForm MaryValue → Ordering #

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

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

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

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

max ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

min ∷ CompactForm MaryValue → CompactForm MaryValue → CompactForm MaryValue #

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.22.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 #