Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.AdaPots

Synopsis

data AdaPots = AdaPots {
- treasuryAdaPot ∷ Coin
- reservesAdaPot ∷ Coin
- rewardsAdaPot ∷ Coin
- utxoAdaPot ∷ Coin
- feesAdaPot ∷ Coin
- obligationsPot ∷ Obligations
}
totalAdaES ∷ (EraTxOut era, EraGov era, EraCertState era) ⇒ EpochState era → Coin
totalAdaPotsES ∷ (EraTxOut era, EraGov era, EraCertState era) ⇒ EpochState era → AdaPots
data Produced = Produced {
- proOutputs ∷ !Coin
- proFees ∷ !Coin
- proDeposits ∷ !Coin
}
data Consumed = Consumed {
- conInputs ∷ !Coin
- conRefunds ∷ !Coin
- conWithdrawals ∷ !Coin
}
consumedTxBody ∷ ∀ era (l ∷ TxLevel). (EraTxBody era, EraCertState era) ⇒ TxBody l era → PParams era → CertState era → UTxO era → Consumed
producedTxBody ∷ (EraTxBody era, EraCertState era) ⇒ TxBody 'TopTx era → PParams era → CertState era → Produced
sumAdaPots ∷ AdaPots → Coin

Documentation

data AdaPots Source #

Constructors

AdaPots
Fields treasuryAdaPot ∷ Coin reservesAdaPot ∷ Coin rewardsAdaPot ∷ Coin utxoAdaPot ∷ Coin feesAdaPot ∷ Coin obligationsPot ∷ Obligations

Instances

Instances details

NFData AdaPots Source #

Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

rnf ∷ AdaPots → () #

Generic AdaPots Source #

Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Associated Types

type Rep AdaPots

Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

type Rep AdaPots = D1 ('MetaData "AdaPots" "Cardano.Ledger.Shelley.AdaPots" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AdaPots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "treasuryAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "reservesAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "rewardsAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :*: (S1 ('MetaSel ('Just "utxoAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "feesAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "obligationsPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Obligations)))))

Methods

from ∷ AdaPots → Rep AdaPots x #

to ∷ Rep AdaPots x → AdaPots #

Show AdaPots Source #

Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

showsPrec ∷ Int → AdaPots → ShowS #

show ∷ AdaPots → String #

showList ∷ [AdaPots] → ShowS #

Eq AdaPots Source #

Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

(==) ∷ AdaPots → AdaPots → Bool #

(/=) ∷ AdaPots → AdaPots → Bool #

type Rep AdaPots Source #

Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

type Rep AdaPots = D1 ('MetaData "AdaPots" "Cardano.Ledger.Shelley.AdaPots" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AdaPots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "treasuryAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "reservesAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "rewardsAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :*: (S1 ('MetaSel ('Just "utxoAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "feesAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "obligationsPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Obligations)))))

totalAdaES ∷ (EraTxOut era, EraGov era, EraCertState era) ⇒ EpochState era → Coin Source #

Calculate the total ada in the epoch state

totalAdaPotsES ∷ (EraTxOut era, EraGov era, EraCertState era) ⇒ EpochState era → AdaPots Source #

Calculate the total ada pots in the epoch state

data Produced Source #

Itemizing what is Produced by a transaction

Constructors

Produced
Fields proOutputs ∷ !Coin proFees ∷ !Coin proDeposits ∷ !Coin

Instances

Instances details

Show Produced Source #
Instance details Defined in Cardano.Ledger.Shelley.AdaPots Methods showsPrec ∷ Int → Produced → ShowS # show ∷ Produced → String # showList ∷ [Produced] → ShowS #

data Consumed Source #

Itemizing what is consumed by a transaction

Constructors

Consumed
Fields conInputs ∷ !Coin conRefunds ∷ !Coin conWithdrawals ∷ !Coin

Instances

Instances details

Show Consumed Source #
Instance details Defined in Cardano.Ledger.Shelley.AdaPots Methods showsPrec ∷ Int → Consumed → ShowS # show ∷ Consumed → String # showList ∷ [Consumed] → ShowS #

consumedTxBody ∷ ∀ era (l ∷ TxLevel). (EraTxBody era, EraCertState era) ⇒ TxBody l era → PParams era → CertState era → UTxO era → Consumed Source #

Compute the Coin part of what is consumed by a TxBody, itemized as a Consume

producedTxBody ∷ (EraTxBody era, EraCertState era) ⇒ TxBody 'TopTx era → PParams era → CertState era → Produced Source #

Compute the Coin part of what is produced by a TxBody, itemized as a Produced

sumAdaPots ∷ AdaPots → Coin Source #