Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.LedgerState

Contents

state transitions
Genesis State
Validation
DelegationState
Epoch boundary
Decay
Remove Bootstrap Redeem Addresses

Description

This module implements the operation rules for treating UTxO transactions (Tx) as state transformations on a ledger state (LedgerState), as specified in A Simplified Formal Specification of a UTxO Ledger.

Synopsis

data AccountState = AccountState {
- _treasury ∷ !Coin
- _reserves ∷ !Coin
}
data DPState era = DPState {
- _dstate ∷ !(DState era)
- _pstate ∷ !(PState era)
}
data DState era = DState {
- _rewards ∷ !(RewardAccounts era)
- _delegations ∷ !(Map (Credential 'Staking era) (KeyHash 'StakePool (Crypto era)))
- _ptrs ∷ !(Bimap Ptr (Credential 'Staking era))
- _fGenDelegs ∷ !(Map (FutureGenDeleg (Crypto era)) (GenDelegPair (Crypto era)))
- _genDelegs ∷ !(GenDelegs (Crypto era))
- _irwd ∷ !(InstantaneousRewards era)
}
data EpochState era = EpochState {
- esAccountState ∷ !AccountState
- esSnapshots ∷ !(SnapShots era)
- esLState ∷ !(LedgerState era)
- esPrevPp ∷ !(PParams era)
- esPp ∷ !(PParams era)
- esNonMyopic ∷ !(NonMyopic era)
}
data FutureGenDeleg crypto = FutureGenDeleg {
- fGenDelegSlot ∷ !SlotNo
- fGenDelegGenKeyHash ∷ !(KeyHash 'Genesis crypto)
}
data InstantaneousRewards era = InstantaneousRewards {
- iRReserves ∷ !(Map (Credential 'Staking era) Coin)
- iRTreasury ∷ !(Map (Credential 'Staking era) Coin)
}
type Ix = Natural
type KeyPairs era = [(KeyPair 'Payment era, KeyPair 'Staking era)]
data LedgerState era = LedgerState {
- _utxoState ∷ !(UTxOState era)
- _delegationState ∷ !(DPState era)
}
data PPUPState era = PPUPState {
- proposals ∷ !(ProposedPPUpdates era)
- futureProposals ∷ !(ProposedPPUpdates era)
}
data PState era = PState {
- _pParams ∷ !(Map (KeyHash 'StakePool (Crypto era)) (PoolParams era))
- _fPParams ∷ !(Map (KeyHash 'StakePool (Crypto era)) (PoolParams era))
- _retiring ∷ !(Map (KeyHash 'StakePool (Crypto era)) EpochNo)
}
type RewardAccounts era = Map (Credential 'Staking era) Coin
data RewardUpdate era = RewardUpdate {
- deltaT ∷ !Coin
- deltaR ∷ !DeltaCoin
- rs ∷ !(Map (Credential 'Staking era) Coin)
- deltaF ∷ !DeltaCoin
- nonMyopic ∷ !(NonMyopic era)
}
data UTxOState era = UTxOState {
- _utxo ∷ !(UTxO era)
- _deposited ∷ !Coin
- _fees ∷ !Coin
- _ppups ∷ !(PPUPState era)
}
depositPoolChange ∷ HasField "certs" (TxBody era) (StrictSeq (DCert era)) ⇒ LedgerState era → PParams era → TxBody era → Coin
emptyAccount ∷ AccountState
emptyDPState ∷ DPState era
emptyDState ∷ DState era
emptyEpochState ∷ EpochState era
emptyInstantaneousRewards ∷ InstantaneousRewards era
emptyLedgerState ∷ LedgerState era
emptyPPUPState ∷ PPUPState era
emptyPState ∷ PState era
emptyRewardUpdate ∷ RewardUpdate era
emptyUTxOState ∷ UTxOState era
pvCanFollow ∷ ProtVer → StrictMaybe ProtVer → Bool
reapRewards ∷ RewardAccounts era → RewardAccounts era → RewardAccounts era
totalInstantaneousReservesRewards ∷ InstantaneousRewards era → Coin
updatePpup ∷ UTxOState era → PParams era → UTxOState era
emptyDelegation ∷ DPState era
genesisState ∷ Map (KeyHash 'Genesis (Crypto era)) (GenDelegPair (Crypto era)) → UTxO era → LedgerState era
newtype WitHashes era = WitHashes {
- unWitHashes ∷ Set (KeyHash 'Witness (Crypto era))
}
nullWitHashes ∷ WitHashes era → Bool
diffWitHashes ∷ WitHashes era → WitHashes era → WitHashes era
minfee ∷ PParams era → Tx era → Coin
minfeeBound ∷ ∀ era. (ShelleyBased era, HasField "outputs" (TxBody era) (StrictSeq (TxOut era)), HasField "inputs" (TxBody era) (Set (TxIn era))) ⇒ PParams era → Tx era → Coin
txsize ∷ Tx era → Integer
txsizeBound ∷ ∀ era. (ShelleyBased era, HasField "outputs" (TxBody era) (StrictSeq (TxOut era)), HasField "inputs" (TxBody era) (Set (TxIn era))) ⇒ Tx era → Integer
produced ∷ (ShelleyBased era, HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "outputs" (TxBody era) (StrictSeq (TxOut era)), HasField "txfee" (TxBody era) Coin) ⇒ PParams era → Map (KeyHash 'StakePool (Crypto era)) (PoolParams era) → TxBody era → Value era
consumed ∷ (ShelleyBased era, HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "inputs" (TxBody era) (Set (TxIn era)), HasField "wdrls" (TxBody era) (Wdrl era)) ⇒ PParams era → UTxO era → TxBody era → Value era
verifiedWits ∷ (TxBodyConstraints era, AnnotatedData (Script era), DSignable (Crypto era) (Hash (Crypto era) EraIndependentTxBody)) ⇒ Tx era → Either [VKey 'Witness (Crypto era)] ()
witsVKeyNeeded ∷ ∀ era. (ShelleyBased era, HasField "wdrls" (TxBody era) (Wdrl era), HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "inputs" (TxBody era) (Set (TxIn era)), HasField "update" (TxBody era) (StrictMaybe (Update era))) ⇒ UTxO era → Tx era → GenDelegs (Crypto era) → WitHashes era
witsFromWitnessSet ∷ (Era era, AnnotatedData (Script era)) ⇒ WitnessSet era → WitHashes era
keyRefunds ∷ HasField "certs" (TxBody era) (StrictSeq (DCert era)) ⇒ PParams era → TxBody era → Coin
stakeDistr ∷ ∀ era. ShelleyBased era ⇒ UTxO era → DState era → PState era → SnapShot era
applyRUpd ∷ RewardUpdate era → EpochState era → EpochState era
createRUpd ∷ EpochSize → BlocksMade era → EpochState era → Coin → ShelleyBase (RewardUpdate era)
data NewEpochState era = NewEpochState {
- nesEL ∷ !EpochNo
- nesBprev ∷ !(BlocksMade era)
- nesBcur ∷ !(BlocksMade era)
- nesEs ∷ !(EpochState era)
- nesRu ∷ !(StrictMaybe (RewardUpdate era))
- nesPd ∷ !(PoolDistr (Crypto era))
}
getGKeys ∷ NewEpochState era → Set (KeyHash 'Genesis (Crypto era))
updateNES ∷ NewEpochState era → BlocksMade era → LedgerState era → NewEpochState era
circulation ∷ EpochState era → Coin → Coin
decayFactor ∷ Float
returnRedeemAddrsToReserves ∷ ShelleyBased era ⇒ EpochState era → EpochState era

Documentation

data AccountState Source #

Constructors

AccountState
Fields _treasury ∷ !Coin _reserves ∷ !Coin

Instances

Instances details

Eq AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ AccountState → AccountState → Bool # (/=) ∷ AccountState → AccountState → Bool #
Show AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → AccountState → ShowS # show ∷ AccountState → String # showList ∷ [AccountState] → ShowS #
Generic AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep AccountState ∷ Type → Type # Methods from ∷ AccountState → Rep AccountState x # to ∷ Rep AccountState x → AccountState #
NFData AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ AccountState → () #
ToCBOR AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ AccountState → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy AccountState → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AccountState] → Size Source #
FromCBOR AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s AccountState Source # label ∷ Proxy AccountState → Text Source #
NoThunks AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → AccountState → IO (Maybe ThunkInfo) wNoThunks ∷ Context → AccountState → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy AccountState → String
type Rep AccountState Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep AccountState = D1 ('MetaData "AccountState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "AccountState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_treasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "_reserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

data DPState era Source #

The state associated with the current stake delegation.

Constructors

DPState
Fields _dstate ∷ !(DState era) _pstate ∷ !(PState era)

Instances

Instances details

Eq (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ DPState era → DPState era → Bool # (/=) ∷ DPState era → DPState era → Bool #
Show (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → DPState era → ShowS # show ∷ DPState era → String # showList ∷ [DPState era] → ShowS #
Generic (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (DPState era) ∷ Type → Type # Methods from ∷ DPState era → Rep (DPState era) x # to ∷ Rep (DPState era) x → DPState era #
NFData (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ DPState era → () #
(Era era, AnnotatedData (Script era)) ⇒ ToCBOR (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ DPState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DPState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DPState era] → Size Source #
(Era era, AnnotatedData (Script era)) ⇒ FromCBOR (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (DPState era) Source # label ∷ Proxy (DPState era) → Text Source #
NoThunks (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → DPState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → DPState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (DPState era) → String
type Rep (DPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (DPState era) = D1 ('MetaData "DPState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DPState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_dstate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era)) :*: S1 ('MetaSel ('Just "_pstate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era))))

data DState era Source #

State of staking pool delegations and rewards

Constructors

DState

Fields

_rewards ∷ !(RewardAccounts era)
The active reward accounts.
_delegations ∷ !(Map (Credential 'Staking era) (KeyHash 'StakePool (Crypto era)))
The current delegations.
_ptrs ∷ !(Bimap Ptr (Credential 'Staking era))
The pointed to hash keys.
_fGenDelegs ∷ !(Map (FutureGenDeleg (Crypto era)) (GenDelegPair (Crypto era)))
future genesis key delegations
_genDelegs ∷ !(GenDelegs (Crypto era))
Genesis key delegations
_irwd ∷ !(InstantaneousRewards era)
Instantaneous Rewards

Instances

Instances details

Eq (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ DState era → DState era → Bool # (/=) ∷ DState era → DState era → Bool #
Show (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → DState era → ShowS # show ∷ DState era → String # showList ∷ [DState era] → ShowS #
Generic (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (DState era) ∷ Type → Type # Methods from ∷ DState era → Rep (DState era) x # to ∷ Rep (DState era) x → DState era #
NFData (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ DState era → () #
(Era era, AnnotatedData (Script era)) ⇒ ToCBOR (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ DState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DState era] → Size Source #
(Era era, AnnotatedData (Script era)) ⇒ FromCBOR (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (DState era) Source # label ∷ Proxy (DState era) → Text Source #
NoThunks (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → DState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → DState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (DState era) → String
type Rep (DState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (DState era) = D1 ('MetaData "DState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_rewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardAccounts era)) :: (S1 ('MetaSel ('Just "_delegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking era) (KeyHash 'StakePool (Crypto era)))) :: S1 ('MetaSel ('Just "_ptrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bimap Ptr (Credential 'Staking era))))) :: (S1 ('MetaSel ('Just "_fGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (FutureGenDeleg (Crypto era)) (GenDelegPair (Crypto era)))) :: (S1 ('MetaSel ('Just "_genDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenDelegs (Crypto era))) :*: S1 ('MetaSel ('Just "_irwd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InstantaneousRewards era))))))

data EpochState era Source #

Constructors

EpochState

Fields

esAccountState ∷ !AccountState
esSnapshots ∷ !(SnapShots era)
esLState ∷ !(LedgerState era)
esPrevPp ∷ !(PParams era)
esPp ∷ !(PParams era)
esNonMyopic ∷ !(NonMyopic era)
This field, esNonMyopic, does not appear in the formal spec and is not a part of the protocol. It is only used for providing data to the stake pool ranking calculation getNonMyopicMemberRewards. See https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/specs.pool-ranking/latest/download-by-type/doc-pdf/pool-ranking

Instances

Instances details

ShelleyBased era ⇒ Eq (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ EpochState era → EpochState era → Bool # (/=) ∷ EpochState era → EpochState era → Bool #
ShelleyBased era ⇒ Show (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → EpochState era → ShowS # show ∷ EpochState era → String # showList ∷ [EpochState era] → ShowS #
Generic (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (EpochState era) ∷ Type → Type # Methods from ∷ EpochState era → Rep (EpochState era) x # to ∷ Rep (EpochState era) x → EpochState era #
Era era ⇒ NFData (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ EpochState era → () #
ShelleyBased era ⇒ ToCBOR (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ EpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochState era] → Size Source #
ShelleyBased era ⇒ FromCBOR (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (EpochState era) Source # label ∷ Proxy (EpochState era) → Text Source #
NoThunks (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → EpochState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → EpochState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (EpochState era) → String
type Rep (EpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (EpochState era) = D1 ('MetaData "EpochState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "EpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "esAccountState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountState) :: (S1 ('MetaSel ('Just "esSnapshots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SnapShots era)) :: S1 ('MetaSel ('Just "esLState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState era)))) :: (S1 ('MetaSel ('Just "esPrevPp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: (S1 ('MetaSel ('Just "esPp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "esNonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonMyopic era))))))

data FutureGenDeleg crypto Source #

Constructors

FutureGenDeleg
Fields fGenDelegSlot ∷ !SlotNo fGenDelegGenKeyHash ∷ !(KeyHash 'Genesis crypto)

Instances

Instances details

Eq (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Bool # (/=) ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Bool #
Ord (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods compare ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Ordering # (<) ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Bool # (<=) ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Bool # (>) ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Bool # (>=) ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → Bool # max ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → FutureGenDeleg crypto # min ∷ FutureGenDeleg crypto → FutureGenDeleg crypto → FutureGenDeleg crypto #
Show (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → FutureGenDeleg crypto → ShowS # show ∷ FutureGenDeleg crypto → String # showList ∷ [FutureGenDeleg crypto] → ShowS #
Generic (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (FutureGenDeleg crypto) ∷ Type → Type # Methods from ∷ FutureGenDeleg crypto → Rep (FutureGenDeleg crypto) x # to ∷ Rep (FutureGenDeleg crypto) x → FutureGenDeleg crypto #
NFData (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ FutureGenDeleg crypto → () #
Crypto crypto ⇒ ToCBOR (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ FutureGenDeleg crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (FutureGenDeleg crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [FutureGenDeleg crypto] → Size Source #
Crypto crypto ⇒ FromCBOR (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (FutureGenDeleg crypto) Source # label ∷ Proxy (FutureGenDeleg crypto) → Text Source #
NoThunks (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → FutureGenDeleg crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → FutureGenDeleg crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (FutureGenDeleg crypto) → String
type Rep (FutureGenDeleg crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (FutureGenDeleg crypto) = D1 ('MetaData "FutureGenDeleg" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "FutureGenDeleg" 'PrefixI 'True) (S1 ('MetaSel ('Just "fGenDelegSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "fGenDelegGenKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis crypto))))

data InstantaneousRewards era Source #

Constructors

InstantaneousRewards
Fields iRReserves ∷ !(Map (Credential 'Staking era) Coin) iRTreasury ∷ !(Map (Credential 'Staking era) Coin)

Instances

Instances details

Eq (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ InstantaneousRewards era → InstantaneousRewards era → Bool # (/=) ∷ InstantaneousRewards era → InstantaneousRewards era → Bool #
Show (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → InstantaneousRewards era → ShowS # show ∷ InstantaneousRewards era → String # showList ∷ [InstantaneousRewards era] → ShowS #
Generic (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (InstantaneousRewards era) ∷ Type → Type # Methods from ∷ InstantaneousRewards era → Rep (InstantaneousRewards era) x # to ∷ Rep (InstantaneousRewards era) x → InstantaneousRewards era #
NFData (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ InstantaneousRewards era → () #
(Era era, AnnotatedData (Script era)) ⇒ ToCBOR (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ InstantaneousRewards era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (InstantaneousRewards era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [InstantaneousRewards era] → Size Source #
(Era era, AnnotatedData (Script era)) ⇒ FromCBOR (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (InstantaneousRewards era) Source # label ∷ Proxy (InstantaneousRewards era) → Text Source #
NoThunks (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → InstantaneousRewards era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → InstantaneousRewards era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (InstantaneousRewards era) → String
type Rep (InstantaneousRewards era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (InstantaneousRewards era) = D1 ('MetaData "InstantaneousRewards" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InstantaneousRewards" 'PrefixI 'True) (S1 ('MetaSel ('Just "iRReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking era) Coin)) :*: S1 ('MetaSel ('Just "iRTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking era) Coin))))

type Ix = Natural Source #

type KeyPairs era = [(KeyPair 'Payment era, KeyPair 'Staking era)] Source #

Representation of a list of pairs of key pairs, e.g., pay and stake keys

data LedgerState era Source #

The state associated with a Ledger.

Constructors

LedgerState
Fields _utxoState ∷ !(UTxOState era) The current unspent transaction outputs. _delegationState ∷ !(DPState era) The current delegation state

Instances

Instances details

ShelleyBased era ⇒ Eq (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ LedgerState era → LedgerState era → Bool # (/=) ∷ LedgerState era → LedgerState era → Bool #
ShelleyBased era ⇒ Show (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → LedgerState era → ShowS # show ∷ LedgerState era → String # showList ∷ [LedgerState era] → ShowS #
Generic (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (LedgerState era) ∷ Type → Type # Methods from ∷ LedgerState era → Rep (LedgerState era) x # to ∷ Rep (LedgerState era) x → LedgerState era #
Era era ⇒ NFData (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ LedgerState era → () #
ShelleyBased era ⇒ ToCBOR (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ LedgerState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LedgerState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LedgerState era] → Size Source #
ShelleyBased era ⇒ FromCBOR (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (LedgerState era) Source # label ∷ Proxy (LedgerState era) → Text Source #
NoThunks (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → LedgerState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → LedgerState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (LedgerState era) → String
type Rep (LedgerState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (LedgerState era) = D1 ('MetaData "LedgerState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "LedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_utxoState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxOState era)) :*: S1 ('MetaSel ('Just "_delegationState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DPState era))))

data PPUPState era Source #

Constructors

PPUPState
Fields proposals ∷ !(ProposedPPUpdates era) futureProposals ∷ !(ProposedPPUpdates era)

Instances

Instances details

Eq (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ PPUPState era → PPUPState era → Bool # (/=) ∷ PPUPState era → PPUPState era → Bool #
Show (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → PPUPState era → ShowS # show ∷ PPUPState era → String # showList ∷ [PPUPState era] → ShowS #
Generic (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (PPUPState era) ∷ Type → Type # Methods from ∷ PPUPState era → Rep (PPUPState era) x # to ∷ Rep (PPUPState era) x → PPUPState era #
NFData (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ PPUPState era → () #
Era era ⇒ ToCBOR (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ PPUPState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PPUPState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PPUPState era] → Size Source #
Era era ⇒ FromCBOR (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (PPUPState era) Source # label ∷ Proxy (PPUPState era) → Text Source #
NoThunks (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → PPUPState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PPUPState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PPUPState era) → String
type Rep (PPUPState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (PPUPState era) = D1 ('MetaData "PPUPState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PPUPState" 'PrefixI 'True) (S1 ('MetaSel ('Just "proposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "futureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))))

data PState era Source #

Current state of staking pools and their certificate counters.

Constructors

PState
Fields _pParams ∷ !(Map (KeyHash 'StakePool (Crypto era)) (PoolParams era)) The pool parameters. _fPParams ∷ !(Map (KeyHash 'StakePool (Crypto era)) (PoolParams era)) The future pool parameters. _retiring ∷ !(Map (KeyHash 'StakePool (Crypto era)) EpochNo) A map of retiring stake pools to the epoch when they retire.

Instances

Instances details

Eq (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ PState era → PState era → Bool # (/=) ∷ PState era → PState era → Bool #
Show (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → PState era → ShowS # show ∷ PState era → String # showList ∷ [PState era] → ShowS #
Generic (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (PState era) ∷ Type → Type # Methods from ∷ PState era → Rep (PState era) x # to ∷ Rep (PState era) x → PState era #
NFData (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ PState era → () #
Era era ⇒ ToCBOR (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ PState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PState era] → Size Source #
Era era ⇒ FromCBOR (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (PState era) Source # label ∷ Proxy (PState era) → Text Source #
NoThunks (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → PState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PState era) → String
type Rep (PState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (PState era) = D1 ('MetaData "PState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (Crypto era)) (PoolParams era))) :: (S1 ('MetaSel ('Just "_fPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (Crypto era)) (PoolParams era))) :: S1 ('MetaSel ('Just "_retiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (Crypto era)) EpochNo)))))

type RewardAccounts era = Map (Credential 'Staking era) Coin Source #

data RewardUpdate era Source #

Constructors

RewardUpdate
Fields deltaT ∷ !Coin deltaR ∷ !DeltaCoin rs ∷ !(Map (Credential 'Staking era) Coin) deltaF ∷ !DeltaCoin nonMyopic ∷ !(NonMyopic era)

Instances

Instances details

Eq (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ RewardUpdate era → RewardUpdate era → Bool # (/=) ∷ RewardUpdate era → RewardUpdate era → Bool #
Show (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → RewardUpdate era → ShowS # show ∷ RewardUpdate era → String # showList ∷ [RewardUpdate era] → ShowS #
Generic (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (RewardUpdate era) ∷ Type → Type # Methods from ∷ RewardUpdate era → Rep (RewardUpdate era) x # to ∷ Rep (RewardUpdate era) x → RewardUpdate era #
NFData (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ RewardUpdate era → () #
(Era era, AnnotatedData (Script era)) ⇒ ToCBOR (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ RewardUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (RewardUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RewardUpdate era] → Size Source #
(Era era, AnnotatedData (Script era)) ⇒ FromCBOR (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (RewardUpdate era) Source # label ∷ Proxy (RewardUpdate era) → Text Source #
NoThunks (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → RewardUpdate era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → RewardUpdate era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (RewardUpdate era) → String
type Rep (RewardUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (RewardUpdate era) = D1 ('MetaData "RewardUpdate" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RewardUpdate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "deltaT") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "deltaR") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin)) :: (S1 ('MetaSel ('Just "rs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking era) Coin)) :: (S1 ('MetaSel ('Just "deltaF") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :: S1 ('MetaSel ('Just "nonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonMyopic era))))))

data UTxOState era Source #

Constructors

UTxOState
Fields _utxo ∷ !(UTxO era) _deposited ∷ !Coin _fees ∷ !Coin _ppups ∷ !(PPUPState era)

Instances

Instances details

ShelleyBased era ⇒ Eq (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ UTxOState era → UTxOState era → Bool # (/=) ∷ UTxOState era → UTxOState era → Bool #
ShelleyBased era ⇒ Show (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → UTxOState era → ShowS # show ∷ UTxOState era → String # showList ∷ [UTxOState era] → ShowS #
Generic (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (UTxOState era) ∷ Type → Type # Methods from ∷ UTxOState era → Rep (UTxOState era) x # to ∷ Rep (UTxOState era) x → UTxOState era #
Era era ⇒ NFData (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ UTxOState era → () #
ShelleyBased era ⇒ ToCBOR (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ UTxOState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UTxOState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxOState era] → Size Source #
ShelleyBased era ⇒ FromCBOR (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (UTxOState era) Source # label ∷ Proxy (UTxOState era) → Text Source #
NoThunks (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → UTxOState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → UTxOState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (UTxOState era) → String
type Rep (UTxOState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (UTxOState era) = D1 ('MetaData "UTxOState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "UTxOState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_utxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :: S1 ('MetaSel ('Just "_deposited") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "_fees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "_ppups") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PPUPState era)))))

depositPoolChange ∷ HasField "certs" (TxBody era) (StrictSeq (DCert era)) ⇒ LedgerState era → PParams era → TxBody era → Coin Source #

Calculate the change to the deposit pool for a given transaction.

emptyAccount ∷ AccountState Source #

emptyDPState ∷ DPState era Source #

emptyDState ∷ DState era Source #

emptyEpochState ∷ EpochState era Source #

emptyInstantaneousRewards ∷ InstantaneousRewards era Source #

emptyLedgerState ∷ LedgerState era Source #

emptyPPUPState ∷ PPUPState era Source #

emptyPState ∷ PState era Source #

emptyRewardUpdate ∷ RewardUpdate era Source #

emptyUTxOState ∷ UTxOState era Source #

pvCanFollow ∷ ProtVer → StrictMaybe ProtVer → Bool Source #

reapRewards ∷ RewardAccounts era → RewardAccounts era → RewardAccounts era Source #

totalInstantaneousReservesRewards ∷ InstantaneousRewards era → Coin Source #

updatePpup ∷ UTxOState era → PParams era → UTxOState era Source #

Update the protocol parameter updates by clearing out the proposals and making the future proposals become the new proposals, provided the new proposals can follow (otherwise reset them).

state transitions

emptyDelegation ∷ DPState era Source #

Genesis State

genesisState ∷ Map (KeyHash 'Genesis (Crypto era)) (GenDelegPair (Crypto era)) → UTxO era → LedgerState era Source #

Creates the ledger state for an empty ledger which contains the specified transaction outputs.

Validation

newtype WitHashes era Source #

Constructors

WitHashes
Fields unWitHashes ∷ Set (KeyHash 'Witness (Crypto era))

Instances

Instances details

Eq (WitHashes era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ WitHashes era → WitHashes era → Bool # (/=) ∷ WitHashes era → WitHashes era → Bool #
Show (WitHashes era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → WitHashes era → ShowS # show ∷ WitHashes era → String # showList ∷ [WitHashes era] → ShowS #
Generic (WitHashes era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (WitHashes era) ∷ Type → Type # Methods from ∷ WitHashes era → Rep (WitHashes era) x # to ∷ Rep (WitHashes era) x → WitHashes era #
Era era ⇒ NoThunks (WitHashes era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → WitHashes era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → WitHashes era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (WitHashes era) → String
type Rep (WitHashes era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (WitHashes era) = D1 ('MetaData "WitHashes" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "WitHashes" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWitHashes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness (Crypto era))))))

nullWitHashes ∷ WitHashes era → Bool Source #

Check if a set of witness hashes is empty.

diffWitHashes ∷ WitHashes era → WitHashes era → WitHashes era Source #

Extract the difference between two sets of witness hashes.

minfee ∷ PParams era → Tx era → Coin Source #

Minimum fee calculation

minfeeBound ∷ ∀ era. (ShelleyBased era, HasField "outputs" (TxBody era) (StrictSeq (TxOut era)), HasField "inputs" (TxBody era) (Set (TxIn era))) ⇒ PParams era → Tx era → Coin Source #

Minimum fee bound using txsizeBound

txsize ∷ Tx era → Integer Source #

Implementation of abstract transaction size

txsizeBound ∷ ∀ era. (ShelleyBased era, HasField "outputs" (TxBody era) (StrictSeq (TxOut era)), HasField "inputs" (TxBody era) (Set (TxIn era))) ⇒ Tx era → Integer Source #

Convenience Function to bound the txsize function. | It can be helpful for coin selection.

produced ∷ (ShelleyBased era, HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "outputs" (TxBody era) (StrictSeq (TxOut era)), HasField "txfee" (TxBody era) Coin) ⇒ PParams era → Map (KeyHash 'StakePool (Crypto era)) (PoolParams era) → TxBody era → Value era Source #

Compute the lovelace which are created by the transaction

consumed ∷ (ShelleyBased era, HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "inputs" (TxBody era) (Set (TxIn era)), HasField "wdrls" (TxBody era) (Wdrl era)) ⇒ PParams era → UTxO era → TxBody era → Value era Source #

Compute the lovelace which are destroyed by the transaction TODO this is only correct for Shelley!

verifiedWits ∷ (TxBodyConstraints era, AnnotatedData (Script era), DSignable (Crypto era) (Hash (Crypto era) EraIndependentTxBody)) ⇒ Tx era → Either [VKey 'Witness (Crypto era)] () Source #

Given a ledger state, determine if the UTxO witnesses in a given transaction are correct.

witsVKeyNeeded ∷ ∀ era. (ShelleyBased era, HasField "wdrls" (TxBody era) (Wdrl era), HasField "certs" (TxBody era) (StrictSeq (DCert era)), HasField "inputs" (TxBody era) (Set (TxIn era)), HasField "update" (TxBody era) (StrictMaybe (Update era))) ⇒ UTxO era → Tx era → GenDelegs (Crypto era) → WitHashes era Source #

Collect the set of hashes of keys that needs to sign a given transaction. This set consists of the txin owners, certificate authors, and withdrawal reward accounts.

witsFromWitnessSet ∷ (Era era, AnnotatedData (Script era)) ⇒ WitnessSet era → WitHashes era Source #

Extract the witness hashes from the Witness set.

DelegationState

keyRefunds ∷ HasField "certs" (TxBody era) (StrictSeq (DCert era)) ⇒ PParams era → TxBody era → Coin Source #

Compute the key deregistration refunds in a transaction

Epoch boundary

stakeDistr ∷ ∀ era. ShelleyBased era ⇒ UTxO era → DState era → PState era → SnapShot era Source #

applyRUpd ∷ RewardUpdate era → EpochState era → EpochState era Source #

Apply a reward update

createRUpd ∷ EpochSize → BlocksMade era → EpochState era → Coin → ShelleyBase (RewardUpdate era) Source #

Create a reward update

data NewEpochState era Source #

New Epoch state and environment

Constructors

NewEpochState
Fields nesEL ∷ !EpochNo Last epoch nesBprev ∷ !(BlocksMade era) Blocks made before current epoch nesBcur ∷ !(BlocksMade era) Blocks made in current epoch nesEs ∷ !(EpochState era) Epoch state before current nesRu ∷ !(StrictMaybe (RewardUpdate era)) Possible reward update nesPd ∷ !(PoolDistr (Crypto era)) Stake distribution within the stake pool

Instances

Instances details

ShelleyBased era ⇒ Eq (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods (==) ∷ NewEpochState era → NewEpochState era → Bool # (/=) ∷ NewEpochState era → NewEpochState era → Bool #
ShelleyBased era ⇒ Show (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods showsPrec ∷ Int → NewEpochState era → ShowS # show ∷ NewEpochState era → String # showList ∷ [NewEpochState era] → ShowS #
Generic (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Associated Types type Rep (NewEpochState era) ∷ Type → Type # Methods from ∷ NewEpochState era → Rep (NewEpochState era) x # to ∷ Rep (NewEpochState era) x → NewEpochState era #
Era era ⇒ NFData (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods rnf ∷ NewEpochState era → () #
ShelleyBased era ⇒ ToCBOR (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods toCBOR ∷ NewEpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NewEpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NewEpochState era] → Size Source #
ShelleyBased era ⇒ FromCBOR (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods fromCBOR ∷ Decoder s (NewEpochState era) Source # label ∷ Proxy (NewEpochState era) → Text Source #
NoThunks (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState Methods noThunks ∷ Context → NewEpochState era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → NewEpochState era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (NewEpochState era) → String
type Rep (NewEpochState era) Source #
Instance details Defined in Shelley.Spec.Ledger.LedgerState type Rep (NewEpochState era) = D1 ('MetaData "NewEpochState" "Shelley.Spec.Ledger.LedgerState" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "NewEpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nesEL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: (S1 ('MetaSel ('Just "nesBprev") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlocksMade era)) :: S1 ('MetaSel ('Just "nesBcur") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlocksMade era)))) :: (S1 ('MetaSel ('Just "nesEs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochState era)) :: (S1 ('MetaSel ('Just "nesRu") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (RewardUpdate era))) :*: S1 ('MetaSel ('Just "nesPd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolDistr (Crypto era)))))))

getGKeys ∷ NewEpochState era → Set (KeyHash 'Genesis (Crypto era)) Source #

updateNES ∷ NewEpochState era → BlocksMade era → LedgerState era → NewEpochState era Source #

Update new epoch state

circulation ∷ EpochState era → Coin → Coin Source #

Calculate the current circulation

This is used in the rewards calculation, and for API endpoints for pool ranking.

Decay

decayFactor ∷ Float Source #

Remove Bootstrap Redeem Addresses

returnRedeemAddrsToReserves ∷ ShelleyBased era ⇒ EpochState era → EpochState era Source #