Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Coin

Synopsis

newtype Coin = Coin {
- unCoin ∷ Integer
}
data family CompactForm a ∷ Type
newtype DeltaCoin = DeltaCoin Integer
word64ToCoin ∷ Word64 → Coin
coinToRational ∷ Coin → Rational
rationalToCoinViaFloor ∷ Rational → Coin
addDeltaCoin ∷ Coin → DeltaCoin → Coin
toDeltaCoin ∷ Coin → DeltaCoin

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin
Fields unCoin ∷ Integer

Instances

Instances details

Enum Coin Source #
Instance details Defined in Shelley.Spec.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] #
Eq Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (==) ∷ Coin → Coin → Bool # (/=) ∷ Coin → Coin → Bool #
Ord Coin Source #
Instance details Defined in Shelley.Spec.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 #
Show Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods showsPrec ∷ Int → Coin → ShowS # show ∷ Coin → String # showList ∷ [Coin] → ShowS #
Generic Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types type Rep Coin ∷ Type → Type # Methods from ∷ Coin → Rep Coin x # to ∷ Rep Coin x → Coin #
Semigroup Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<>) ∷ Coin → Coin → Coin # sconcat ∷ NonEmpty Coin → Coin # stimes ∷ Integral b ⇒ b → Coin → Coin #
Monoid Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods mempty ∷ Coin # mappend ∷ Coin → Coin → Coin # mconcat ∷ [Coin] → Coin #
NFData Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods rnf ∷ Coin → () #
ToCBOR Coin Source #
Instance details Defined in Shelley.Spec.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 #
FromCBOR Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR ∷ Decoder s Coin Source # label ∷ Proxy Coin → Text Source #
Compactible Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types data CompactForm Coin Source # Methods toCompact ∷ Coin → CompactForm Coin Source # fromCompact ∷ CompactForm Coin → Coin Source #
NoThunks Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods noThunks ∷ Context → Coin → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Coin → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Coin → String
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 toJSON ∷ Coin → Value toEncoding ∷ Coin → Encoding toJSONList ∷ [Coin] → Value toEncodingList ∷ [Coin] → Encoding
Torsor Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types type Delta Coin Source # Methods addDelta ∷ Coin → Delta Coin → Coin Source # toDelta ∷ Coin → 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 invert ∷ Coin → Coin (~~) ∷ Coin → Coin → Coin pow ∷ Integral x ⇒ Coin → x → Coin
PartialOrd Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<=) ∷ Coin → Coin → Bool (>=) ∷ Coin → Coin → Bool (==) ∷ Coin → Coin → Bool (/=) ∷ Coin → Coin → Bool (<) ∷ Coin → Coin → Bool (>) ∷ Coin → Coin → Bool compare ∷ Coin → Coin → Maybe Ordering
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 # inject ∷ Coin → Coin Source # modifyCoin ∷ (Coin → Coin) → Coin → Coin Source # size ∷ Coin → Integer Source # pointwise ∷ (Integer → Integer → Bool) → Coin → Coin → Bool Source #
HasField "txfee" (TxBody era) Coin Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → Coin #
ToCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.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 #
FromCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR ∷ Decoder s (CompactForm Coin) Source # label ∷ Proxy (CompactForm Coin) → Text Source #
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 newtype CompactForm Coin = CompactCoin Word64
type Delta Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin type Delta Coin = DeltaCoin

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 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 #
FromCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR ∷ Decoder s (CompactForm Coin) Source # label ∷ Proxy (CompactForm Coin) → Text Source #
newtype CompactForm Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin newtype CompactForm Coin = CompactCoin Word64

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer

Instances

Instances details

Enum DeltaCoin Source #
Instance details Defined in Shelley.Spec.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] #
Eq DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (==) ∷ DeltaCoin → DeltaCoin → Bool # (/=) ∷ DeltaCoin → DeltaCoin → Bool #
Ord DeltaCoin Source #
Instance details Defined in Shelley.Spec.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 #
Show DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods showsPrec ∷ Int → DeltaCoin → ShowS # show ∷ DeltaCoin → String # showList ∷ [DeltaCoin] → ShowS #
Generic DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types type Rep DeltaCoin ∷ Type → Type # Methods from ∷ DeltaCoin → Rep DeltaCoin x # to ∷ Rep DeltaCoin x → DeltaCoin #
Semigroup DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<>) ∷ DeltaCoin → DeltaCoin → DeltaCoin # sconcat ∷ NonEmpty DeltaCoin → DeltaCoin # stimes ∷ Integral b ⇒ b → DeltaCoin → DeltaCoin #
Monoid DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods mempty ∷ DeltaCoin # mappend ∷ DeltaCoin → DeltaCoin → DeltaCoin # mconcat ∷ [DeltaCoin] → DeltaCoin #
NFData DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods rnf ∷ DeltaCoin → () #
ToCBOR DeltaCoin Source #
Instance details Defined in Shelley.Spec.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 #
FromCBOR DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR ∷ Decoder s DeltaCoin Source # label ∷ Proxy DeltaCoin → Text Source #
NoThunks DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods noThunks ∷ Context → DeltaCoin → IO (Maybe ThunkInfo) wNoThunks ∷ Context → DeltaCoin → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy DeltaCoin → String
Abelian DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin
Group DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods invert ∷ DeltaCoin → DeltaCoin (~~) ∷ DeltaCoin → DeltaCoin → DeltaCoin pow ∷ Integral x ⇒ DeltaCoin → x → DeltaCoin
PartialOrd DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<=) ∷ DeltaCoin → DeltaCoin → Bool (>=) ∷ DeltaCoin → DeltaCoin → Bool (==) ∷ DeltaCoin → DeltaCoin → Bool (/=) ∷ DeltaCoin → DeltaCoin → Bool (<) ∷ DeltaCoin → DeltaCoin → Bool (>) ∷ DeltaCoin → DeltaCoin → Bool compare ∷ DeltaCoin → DeltaCoin → Maybe Ordering
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

word64ToCoin ∷ Word64 → Coin Source #

coinToRational ∷ Coin → Rational Source #

rationalToCoinViaFloor ∷ Rational → Coin Source #

addDeltaCoin ∷ Coin → DeltaCoin → Coin Source #

toDeltaCoin ∷ Coin → DeltaCoin Source #