cardano-ledger-core-1.15.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
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

ToJSON Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Monoid Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

memptyCoin Source #

mappendCoinCoinCoin Source #

mconcat ∷ [Coin] → Coin Source #

Semigroup Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>)CoinCoinCoin Source #

sconcatNonEmpty CoinCoin Source #

stimesIntegral b ⇒ b → CoinCoin Source #

Enum Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Generic Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep CoinTypeType Source #

Methods

fromCoinRep Coin x Source #

toRep Coin x → Coin Source #

Show Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrecIntCoinShowS Source #

showCoinString Source #

showList ∷ [Coin] → ShowS Source #

FromCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR Coin Source # 
Instance details

Defined in Cardano.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 #

DecCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBORCoinEncoding Source #

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

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

Compactible Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

data CompactForm Coin Source #

ToPlutusData Coin Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Val Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

NFData Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCoin → () Source #

Eq Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==)CoinCoinBool Source #

(/=)CoinCoinBool Source #

Ord Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

compareCoinCoinOrdering Source #

(<)CoinCoinBool Source #

(<=)CoinCoinBool Source #

(>)CoinCoinBool Source #

(>=)CoinCoinBool Source #

maxCoinCoinCoin Source #

minCoinCoinCoin Source #

Abelian Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

invertCoinCoin Source #

(~~)CoinCoinCoin Source #

powIntegral x ⇒ Coin → x → Coin Source #

HeapWords Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWordsCoinInt Source #

NoThunks Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

PartialOrd Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<=)CoinCoinBool Source #

(>=)CoinCoinBool Source #

(==)CoinCoinBool Source #

(/=)CoinCoinBool Source #

(<)CoinCoinBool Source #

(>)CoinCoinBool Source #

compareCoinCoinMaybe Ordering Source #

Uniform Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformMStatefulGen g m ⇒ g → m Coin Source #

UniformRange Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformRMStatefulGen g m ⇒ (Coin, Coin) → g → m Coin Source #

Inject Coin DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

injectCoinDeltaCoin Source #

FromJSON (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Monoid (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Semigroup (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Show (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.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 #

DecCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NFData (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCompactForm Coin → () Source #

Eq (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Ord (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Abelian (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

HeapWords (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NoThunks (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Prim (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Uniform (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformMStatefulGen g m ⇒ g → m (CompactForm Coin) Source #

UniformRange (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

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

data family CompactForm a ∷ Type Source #

Instances

Instances details
FromJSON (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Monoid (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Semigroup (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Show (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Show (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.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 #

DecCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

DecCBOR (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NFData (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCompactForm Coin → () Source #

NFData (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCompactForm DeltaCoin → () Source #

Eq (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Eq (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Ord (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Abelian (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

HeapWords (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

HeapWords (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NoThunks (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NoThunks (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Prim (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Prim (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Uniform (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformMStatefulGen g m ⇒ g → m (CompactForm Coin) Source #

UniformRange (CompactForm Coin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer 

Instances

Instances details
FromJSON DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Monoid DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Semigroup DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Enum DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Generic DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep DeltaCoinTypeType Source #

Show DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR DeltaCoin Source # 
Instance details

Defined in Cardano.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 #

DecCBOR DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBORDeltaCoinEncoding Source #

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

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

Compactible DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

data CompactForm DeltaCoin Source #

Val DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Val

NFData DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfDeltaCoin → () Source #

Eq DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Ord DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Abelian DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Group DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

HeapWords DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWordsDeltaCoinInt Source #

NoThunks DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

PartialOrd DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Inject Coin DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

injectCoinDeltaCoin Source #

ToJSON (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Show (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

DecCBOR (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NFData (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCompactForm DeltaCoin → () Source #

Eq (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

HeapWords (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

NoThunks (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

Prim (CompactForm DeltaCoin) Source # 
Instance details

Defined in Cardano.Ledger.Coin

type Rep DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.15.0.0-inplace" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin