cardano-ledger-core-1.22.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Coin

Synopsis

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin 

Fields

Instances

Instances details
FromJSON Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

parseJSON ∷ Value → Parser Coin Source #

parseJSONList ∷ Value → Parser [Coin] Source #

omittedField ∷ Maybe Coin Source #

ToJSON Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON ∷ Coin → Value Source #

toEncoding ∷ Coin → Encoding Source #

toJSONList ∷ [Coin] → Value Source #

toEncodingList ∷ [Coin] → Encoding Source #

omitField ∷ Coin → Bool Source #

FromCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

fromCBOR ∷ Decoder s Coin Source #

label ∷ Proxy Coin → Text Source #

ToCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBOR ∷ Coin → Encoding Source #

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

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

DecCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR ∷ Decoder s Coin Source #

dropCBOR ∷ Proxy Coin → Decoder s () Source #

label ∷ Proxy Coin → Text Source #

EncCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ Coin → Encoding Source #

HasZero Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

isZero ∷ Coin → Bool Source #

Compactible Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

newtype CompactForm Coin 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin {}

Methods

toCompact ∷ Coin → Maybe (CompactForm Coin) Source #

fromCompact ∷ CompactForm Coin → Coin Source #

ToPlutusData Coin Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ Coin → Data Source #

fromPlutusData ∷ Data → Maybe Coin Source #

Val Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

Methods

zero ∷ Coin Source #

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

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

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

isZero ∷ Coin → Bool Source #

coin ∷ Coin → Coin Source #

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

size ∷ Coin → Integer Source #

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

isAdaOnly ∷ Coin → Bool Source #

isAdaOnlyCompact ∷ CompactForm Coin → Bool Source #

coinCompact ∷ CompactForm Coin → CompactForm Coin Source #

injectCompact ∷ CompactForm Coin → CompactForm Coin Source #

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

NFData Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ Coin → () #

Monoid Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty ∷ Coin #

mappend ∷ Coin → Coin → Coin #

mconcat ∷ [Coin] → Coin #

Semigroup Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>) ∷ Coin → Coin → Coin #

sconcat ∷ NonEmpty Coin → Coin #

stimes ∷ Integral b ⇒ b → Coin → Coin #

Enum Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

succ ∷ Coin → Coin #

pred ∷ Coin → Coin #

toEnum ∷ Int → Coin #

fromEnum ∷ Coin → Int #

enumFrom ∷ Coin → [Coin] #

enumFromThen ∷ Coin → Coin → [Coin] #

enumFromTo ∷ Coin → Coin → [Coin] #

enumFromThenTo ∷ Coin → Coin → Coin → [Coin] #

Generic Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep Coin 
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from ∷ Coin → Rep Coin x #

to ∷ Rep Coin x → Coin #

Show Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → Coin → ShowS #

show ∷ Coin → String #

showList ∷ [Coin] → ShowS #

Eq Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) ∷ Coin → Coin → Bool #

(/=) ∷ Coin → Coin → Bool #

Ord Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

compare ∷ Coin → Coin → Ordering #

(<) ∷ Coin → Coin → Bool #

(<=) ∷ Coin → Coin → Bool #

(>) ∷ Coin → Coin → Bool #

(>=) ∷ Coin → Coin → Bool #

max ∷ Coin → Coin → Coin #

min ∷ Coin → Coin → Coin #

Abelian Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

invert ∷ Coin → Coin Source #

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

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

NoThunks Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

showTypeOf ∷ Proxy Coin → String Source #

PartialOrd Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

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

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

(<) ∷ Coin → Coin → Bool Source #

(>) ∷ Coin → Coin → Bool Source #

compare ∷ Coin → Coin → Maybe Ordering Source #

Uniform Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformM ∷ StatefulGen g m ⇒ g → m Coin Source #

UniformRange Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Inject Coin DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

inject ∷ Coin → DeltaCoin Source #

FromJSON (CompactForm Coin) Source # 
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) Source # 
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 #

ToCBOR (CompactForm Coin) Source # 
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) Source # 
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 #

EncCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CompactForm Coin → Encoding Source #

HasZero (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

isZero ∷ CompactForm Coin → Bool Source #

ToPlutusData (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ CompactForm Coin → Data Source #

fromPlutusData ∷ Data → Maybe (CompactForm Coin) Source #

NFData (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CompactForm Coin → () #

Monoid (CompactForm Coin) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CompactForm Coin → ShowS #

show ∷ CompactForm Coin → String #

showList ∷ [CompactForm Coin] → ShowS #

Eq (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Ord (CompactForm Coin) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin) Source # 
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) Source #

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 #

NoThunks (CompactForm Coin) Source # 
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 #

Prim (CompactForm Coin) Source # 
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 #

Uniform (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

UniformRange (CompactForm Coin) Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin {}
type Rep Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Rep (CompactForm Coin) Source # 
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)))

data family CompactForm a Source #

Instances

Instances details
FromJSON (CompactForm Coin) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
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 #

EncCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CompactForm Coin → Encoding Source #

EncCBOR (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CompactForm DeltaCoin → Encoding Source #

HasZero (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

isZero ∷ CompactForm Coin → Bool Source #

ToPlutusData (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ CompactForm Coin → Data Source #

fromPlutusData ∷ Data → Maybe (CompactForm Coin) Source #

NFData (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CompactForm Coin → () #

NFData (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CompactForm DeltaCoin → () #

Monoid (CompactForm Coin) Source # 
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) Source # 
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) Source # 
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) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CompactForm Coin → ShowS #

show ∷ CompactForm Coin → String #

showList ∷ [CompactForm Coin] → ShowS #

Show (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CompactForm DeltaCoin → ShowS #

show ∷ CompactForm DeltaCoin → String #

showList ∷ [CompactForm DeltaCoin] → ShowS #

Eq (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Eq (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Ord (CompactForm Coin) Source # 
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) Source # 
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 #

Abelian (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin) Source # 
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) Source #

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 #

NoThunks (CompactForm Coin) Source # 
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) Source # 
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 #

Prim (CompactForm Coin) Source # 
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) Source # 
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) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

UniformRange (CompactForm Coin) Source # 
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 Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin {}
newtype CompactForm DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin = CompactDeltaCoin Word64
type Rep (CompactForm Coin) Source # 
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)))

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer 

Instances

Instances details
FromJSON DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

parseJSON ∷ Value → Parser DeltaCoin Source #

parseJSONList ∷ Value → Parser [DeltaCoin] Source #

omittedField ∷ Maybe DeltaCoin Source #

ToJSON DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON ∷ DeltaCoin → Value Source #

toEncoding ∷ DeltaCoin → Encoding Source #

toJSONList ∷ [DeltaCoin] → Value Source #

toEncodingList ∷ [DeltaCoin] → Encoding Source #

omitField ∷ DeltaCoin → Bool Source #

ToCBOR DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBOR ∷ DeltaCoin → Encoding Source #

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

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

DecCBOR DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR ∷ Decoder s DeltaCoin Source #

dropCBOR ∷ Proxy DeltaCoin → Decoder s () Source #

label ∷ Proxy DeltaCoin → Text Source #

EncCBOR DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ DeltaCoin → Encoding Source #

Compactible DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

newtype CompactForm DeltaCoin 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin = CompactDeltaCoin Word64

Methods

toCompact ∷ DeltaCoin → Maybe (CompactForm DeltaCoin) Source #

fromCompact ∷ CompactForm DeltaCoin → DeltaCoin Source #

Val DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Val

Methods

zero ∷ DeltaCoin Source #

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

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

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

isZero ∷ DeltaCoin → Bool Source #

coin ∷ DeltaCoin → Coin Source #

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

size ∷ DeltaCoin → Integer Source #

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

isAdaOnly ∷ DeltaCoin → Bool Source #

isAdaOnlyCompact ∷ CompactForm DeltaCoin → Bool Source #

coinCompact ∷ CompactForm DeltaCoin → CompactForm Coin Source #

injectCompact ∷ CompactForm Coin → CompactForm DeltaCoin Source #

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

NFData DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ DeltaCoin → () #

Monoid DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty ∷ DeltaCoin #

mappend ∷ DeltaCoin → DeltaCoin → DeltaCoin #

mconcat ∷ [DeltaCoin] → DeltaCoin #

Semigroup DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>) ∷ DeltaCoin → DeltaCoin → DeltaCoin #

sconcat ∷ NonEmpty DeltaCoin → DeltaCoin #

stimes ∷ Integral b ⇒ b → DeltaCoin → DeltaCoin #

Enum DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

succ ∷ DeltaCoin → DeltaCoin #

pred ∷ DeltaCoin → DeltaCoin #

toEnum ∷ Int → DeltaCoin #

fromEnum ∷ DeltaCoin → Int #

enumFrom ∷ DeltaCoin → [DeltaCoin] #

enumFromThen ∷ DeltaCoin → DeltaCoin → [DeltaCoin] #

enumFromTo ∷ DeltaCoin → DeltaCoin → [DeltaCoin] #

enumFromThenTo ∷ DeltaCoin → DeltaCoin → DeltaCoin → [DeltaCoin] #

Generic DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep DeltaCoin 
Instance details

Defined in Cardano.Ledger.Coin

type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from ∷ DeltaCoin → Rep DeltaCoin x #

to ∷ Rep DeltaCoin x → DeltaCoin #

Show DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → DeltaCoin → ShowS #

show ∷ DeltaCoin → String #

showList ∷ [DeltaCoin] → ShowS #

Eq DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) ∷ DeltaCoin → DeltaCoin → Bool #

(/=) ∷ DeltaCoin → DeltaCoin → Bool #

Ord DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

compare ∷ DeltaCoin → DeltaCoin → Ordering #

(<) ∷ DeltaCoin → DeltaCoin → Bool #

(<=) ∷ DeltaCoin → DeltaCoin → Bool #

(>) ∷ DeltaCoin → DeltaCoin → Bool #

(>=) ∷ DeltaCoin → DeltaCoin → Bool #

max ∷ DeltaCoin → DeltaCoin → DeltaCoin #

min ∷ DeltaCoin → DeltaCoin → DeltaCoin #

Abelian DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

invert ∷ DeltaCoin → DeltaCoin Source #

(~~) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source #

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

NoThunks DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

showTypeOf ∷ Proxy DeltaCoin → String Source #

PartialOrd DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

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

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

(<) ∷ DeltaCoin → DeltaCoin → Bool Source #

(>) ∷ DeltaCoin → DeltaCoin → Bool Source #

compare ∷ DeltaCoin → DeltaCoin → Maybe Ordering Source #

Inject Coin DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

inject ∷ Coin → DeltaCoin Source #

ToJSON (CompactForm DeltaCoin) Source # 
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 #

DecCBOR (CompactForm DeltaCoin) Source # 
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 #

EncCBOR (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CompactForm DeltaCoin → Encoding Source #

NFData (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CompactForm DeltaCoin → () #

Show (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CompactForm DeltaCoin → ShowS #

show ∷ CompactForm DeltaCoin → String #

showList ∷ [CompactForm DeltaCoin] → ShowS #

Eq (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Ord (CompactForm DeltaCoin) Source # 
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 #

NoThunks (CompactForm DeltaCoin) Source # 
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 #

Prim (CompactForm DeltaCoin) Source # 
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 #

newtype CompactForm DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin = CompactDeltaCoin Word64
type Rep DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype CoinPerByte Source #

Constructors

CoinPerByte 

Fields

Instances

Instances details
FromJSON CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

parseJSON ∷ Value → Parser CoinPerByte Source #

parseJSONList ∷ Value → Parser [CoinPerByte] Source #

omittedField ∷ Maybe CoinPerByte Source #

ToJSON CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON ∷ CoinPerByte → Value Source #

toEncoding ∷ CoinPerByte → Encoding Source #

toJSONList ∷ [CoinPerByte] → Value Source #

toEncodingList ∷ [CoinPerByte] → Encoding Source #

omitField ∷ CoinPerByte → Bool Source #

DecCBOR CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR ∷ Decoder s CoinPerByte Source #

dropCBOR ∷ Proxy CoinPerByte → Decoder s () Source #

label ∷ Proxy CoinPerByte → Text Source #

EncCBOR CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR ∷ CoinPerByte → Encoding Source #

ToPlutusData CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ CoinPerByte → Data Source #

fromPlutusData ∷ Data → Maybe CoinPerByte Source #

NFData CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf ∷ CoinPerByte → () #

Show CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec ∷ Int → CoinPerByte → ShowS #

show ∷ CoinPerByte → String #

showList ∷ [CoinPerByte] → ShowS #

Eq CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) ∷ CoinPerByte → CoinPerByte → Bool #

(/=) ∷ CoinPerByte → CoinPerByte → Bool #

Ord CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

compare ∷ CoinPerByte → CoinPerByte → Ordering #

(<) ∷ CoinPerByte → CoinPerByte → Bool #

(<=) ∷ CoinPerByte → CoinPerByte → Bool #

(>) ∷ CoinPerByte → CoinPerByte → Bool #

(>=) ∷ CoinPerByte → CoinPerByte → Bool #

max ∷ CoinPerByte → CoinPerByte → CoinPerByte #

min ∷ CoinPerByte → CoinPerByte → CoinPerByte #

NoThunks CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

showTypeOf ∷ Proxy CoinPerByte → String Source #

word64ToCoin ∷ Word64 → Coin Source #

coinToRational ∷ Coin → Rational Source #

rationalToCoinViaFloor ∷ Rational → Coin Source #

rationalToCoinViaCeiling ∷ Rational → Coin Source #

addDeltaCoin ∷ Coin → DeltaCoin → Coin Source #

toDeltaCoin ∷ Coin → DeltaCoin Source #

fromDeltaCoin ∷ DeltaCoin → Maybe Coin Source #

integerToWord64 ∷ Integer → Maybe Word64 Source #

decodePositiveCoin ∷ String → Decoder s Coin Source #

compactCoinOrError ∷ HasCallStack ⇒ Coin → CompactForm Coin Source #

addCompactCoin ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source #

subtractCompactCoin Source #

Arguments

∷ CompactForm Coin

Amount to be subtracted

→ CompactForm Coin

Value from which it will be subtracted

→ CompactForm Coin 

Warning - Be careful about integer overflow. Amount to be subtracted must be smaller or equal to the value that is being adjusted. This function does not protect against this.

sumCompactCoin ∷ Foldable t ⇒ t (CompactForm Coin) → CompactForm Coin Source #

partialCompactCoinL ∷ HasCallStack ⇒ Lens' (CompactForm Coin) Coin Source #

toCompactCoinNonZero ∷ NonZero Coin → Maybe (NonZero (CompactForm Coin)) Source #

unCoinNonZero ∷ NonZero Coin → NonZero Integer Source #

toCoinNonZero ∷ Integral a ⇒ NonZero a → NonZero Coin Source #

fromCompactCoinNonZero ∷ NonZero (CompactForm Coin) → NonZero Coin Source #

compactCoinNonZero ∷ NonZero Word64 → NonZero (CompactForm Coin) Source #

coinPerByteL ∷ Lens' CoinPerByte (CompactForm Coin) Source #

coinPerByteFL ∷ ∀ (f ∷ Type → Type). Functor f ⇒ Lens' (f CoinPerByte) (f (CompactForm Coin)) Source #

hkdPartialCompactCoinL ∷ ∀ (f ∷ Type → Type). (HasCallStack, HKDFunctor f) ⇒ Lens' (HKD f (CompactForm Coin)) (HKD f Coin) Source #

hkdCoinPerByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (HKD f CoinPerByte) (HKD f (CompactForm Coin)) Source #

knownNonZeroCoin ∷ ∀ (n ∷ Nat). (KnownNat n, 1 <= n) ⇒ NonZero Coin Source #

knownNonZeroCompactCoin ∷ ∀ (n ∷ Nat). (KnownNat n, 1 <= n, WithinBounds n Word64) ⇒ NonZero (CompactForm Coin) Source #