Safe Haskell	Safe-Inferred
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) ⇒ EpochState era → Coin
totalAdaPotsES ∷ (EraTxOut era, EraGov era) ⇒ EpochState era → AdaPots
data Produced = Produced {
- proOutputs ∷ !Coin
- proFees ∷ !Coin
- proDeposits ∷ !Coin
}
data Consumed = Consumed {
- conInputs ∷ !Coin
- conRefunds ∷ !Coin
- conWithdrawals ∷ !Coin
}
consumedTxBody ∷ EraTxBody era ⇒ TxBody era → PParams era → CertState era → UTxO era → Consumed
producedTxBody ∷ EraTxBody era ⇒ TxBody 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

Generic AdaPots Source #
Instance details Defined in Cardano.Ledger.Shelley.AdaPots Associated Types type Rep AdaPots ∷ Type → Type Source # Methods from ∷ AdaPots → Rep AdaPots x Source # to ∷ Rep AdaPots x → AdaPots Source #
Show AdaPots Source #
Instance details Defined in Cardano.Ledger.Shelley.AdaPots Methods showsPrec ∷ Int → AdaPots → ShowS Source # show ∷ AdaPots → String Source # showList ∷ [AdaPots] → ShowS Source #
NFData AdaPots Source #
Instance details Defined in Cardano.Ledger.Shelley.AdaPots Methods rnf ∷ AdaPots → () Source #
Eq AdaPots Source #
Instance details Defined in Cardano.Ledger.Shelley.AdaPots Methods (==) ∷ AdaPots → AdaPots → Bool Source # (/=) ∷ AdaPots → AdaPots → Bool Source #
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.11.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) ⇒ EpochState era → Coin Source #

Calculate the total ada in the epoch state

totalAdaPotsES ∷ (EraTxOut era, EraGov 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 Source # show ∷ Produced → String Source # showList ∷ [Produced] → ShowS Source #

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 Source # show ∷ Consumed → String Source # showList ∷ [Consumed] → ShowS Source #

consumedTxBody ∷ EraTxBody era ⇒ TxBody 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 ⇒ TxBody 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 #