type Rep Coin
Instance details Defined in Cardano.Ledger.Coin type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.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 #

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 #

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.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) 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 {

unCompactCoin ∷ Word64

}

type Rep Coin Source #

Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.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.19.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 #

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 #

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

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 {

unCompactCoin ∷ Word64

}

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.19.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.19.0.0-inplace" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))