shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Coin

Synopsis

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin 

Fields

Instances

Instances details
Enum Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

succCoinCoin #

predCoinCoin #

toEnumIntCoin #

fromEnumCoinInt #

enumFromCoin → [Coin] #

enumFromThenCoinCoin → [Coin] #

enumFromToCoinCoin → [Coin] #

enumFromThenToCoinCoinCoin → [Coin] #

Eq Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(==)CoinCoinBool #

(/=)CoinCoinBool #

Ord Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

compareCoinCoinOrdering #

(<)CoinCoinBool #

(<=)CoinCoinBool #

(>)CoinCoinBool #

(>=)CoinCoinBool #

maxCoinCoinCoin #

minCoinCoinCoin #

Show Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

showsPrecIntCoinShowS #

showCoinString #

showList ∷ [Coin] → ShowS #

Generic Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Rep CoinTypeType #

Methods

fromCoinRep Coin x #

toRep Coin x → Coin #

Semigroup Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(<>)CoinCoinCoin #

sconcatNonEmpty CoinCoin #

stimesIntegral b ⇒ b → CoinCoin #

Monoid Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

memptyCoin #

mappendCoinCoinCoin #

mconcat ∷ [Coin] → Coin #

NFData Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

rnfCoin → () #

ToCBOR Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBORCoinEncoding Source #

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

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

FromCBOR Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Compactible Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

data CompactForm Coin Source #

NoThunks Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

noThunks ∷ Context → CoinIO (Maybe ThunkInfo)

wNoThunks ∷ Context → CoinIO (Maybe ThunkInfo)

showTypeOfProxy CoinString

FromJSON Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

parseJSON ∷ Value → Parser Coin

parseJSONList ∷ Value → Parser [Coin]

ToJSON Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toJSONCoin → Value

toEncodingCoin → Encoding

toJSONList ∷ [Coin] → Value

toEncodingList ∷ [Coin] → Encoding

Torsor Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Delta Coin Source #

Abelian Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Group Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

invertCoinCoin

(~~)CoinCoinCoin

powIntegral x ⇒ Coin → x → Coin

PartialOrd Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(<=)CoinCoinBool

(>=)CoinCoinBool

(==)CoinCoinBool

(/=)CoinCoinBool

(<)CoinCoinBool

(>)CoinCoinBool

compareCoinCoinMaybe Ordering

Val Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

Methods

zeroCoin Source #

(<+>)CoinCoinCoin Source #

(<×>)Integral i ⇒ i → CoinCoin Source #

(<->)CoinCoinCoin Source #

isZeroCoinBool Source #

coinCoinCoin Source #

injectCoinCoin Source #

modifyCoin ∷ (CoinCoin) → CoinCoin Source #

sizeCoinInteger Source #

pointwise ∷ (IntegerIntegerBool) → CoinCoinBool Source #

HasField "txfee" (TxBody era) Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Coin #

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBORCompactForm CoinEncoding 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 #

FromCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Delta Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

data family CompactForm a ∷ Type Source #

Instances

Instances details
(Eq a, Compactible a) ⇒ Eq (CompactForm a) Source # 
Instance details

Defined in Cardano.Ledger.Compactible

Methods

(==)CompactForm a → CompactForm a → Bool #

(/=)CompactForm a → CompactForm a → Bool #

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBORCompactForm CoinEncoding 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 #

FromCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

newtype CompactForm Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer 

Instances

Instances details
Enum DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Eq DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(==)DeltaCoinDeltaCoinBool #

(/=)DeltaCoinDeltaCoinBool #

Ord DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Show DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

showsPrecIntDeltaCoinShowS #

showDeltaCoinString #

showList ∷ [DeltaCoin] → ShowS #

Generic DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Rep DeltaCoinTypeType #

Methods

fromDeltaCoinRep DeltaCoin x #

toRep DeltaCoin x → DeltaCoin #

Semigroup DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Monoid DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NFData DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

rnfDeltaCoin → () #

ToCBOR DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBORDeltaCoinEncoding Source #

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

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

FromCBOR DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

NoThunks DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

noThunks ∷ Context → DeltaCoinIO (Maybe ThunkInfo)

wNoThunks ∷ Context → DeltaCoinIO (Maybe ThunkInfo)

showTypeOfProxy DeltaCoinString

Abelian DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Group DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

PartialOrd DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep DeltaCoin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))