cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.LedgerState.Types

Synopsis

Documentation

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

Deprecated: Use `Test.Cardano.Ledger.Core.KeyPair (KeyPairs)` instead

data AccountState Source #

Constructors

AccountState 

Fields

Instances

Instances details
ToJSON AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Generic AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Rep AccountStateTypeType Source #

Show AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

DecCBOR AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

EncCBOR AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Default AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

NFData AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

rnfAccountState → () Source #

Eq AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

NoThunks AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep AccountState Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep AccountState = D1 ('MetaData "AccountState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "AccountState" 'PrefixI 'True) (S1 ('MetaSel ('Just "asTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "asReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

data EpochState era Source #

Constructors

EpochState 

Fields

Instances

Instances details
(EraTxOut era, EraGov era) ⇒ ToJSON (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Generic (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Rep (EpochState era) ∷ TypeType Source #

Methods

fromEpochState era → Rep (EpochState era) x Source #

toRep (EpochState era) x → EpochState era Source #

(EraTxOut era, Show (GovState era)) ⇒ Show (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

showsPrecIntEpochState era → ShowS Source #

showEpochState era → String Source #

showList ∷ [EpochState era] → ShowS Source #

(EraTxOut era, EraGov era) ⇒ FromCBOR (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

fromCBORDecoder s (EpochState era) Source #

labelProxy (EpochState era) → Text Source #

(EraTxOut era, EraGov era) ⇒ ToCBOR (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

toCBOREpochState 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 #

(EraTxOut era, EraGov era) ⇒ DecCBOR (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

decCBORDecoder s (EpochState era) Source #

dropCBORProxy (EpochState era) → Decoder s () Source #

labelProxy (EpochState era) → Text Source #

(EraTxOut era, EncCBOR (GovState era)) ⇒ EncCBOR (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

encCBOREpochState era → Encoding Source #

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

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

Default (LedgerState era) ⇒ Default (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

defEpochState era Source #

(EraTxOut era, NFData (GovState era)) ⇒ NFData (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

rnfEpochState era → () Source #

(EraTxOut era, Eq (GovState era)) ⇒ Eq (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

(==)EpochState era → EpochState era → Bool Source #

(/=)EpochState era → EpochState era → Bool Source #

(EraTxOut era, NoThunks (GovState era)) ⇒ NoThunks (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (EpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (EpochState era) = D1 ('MetaData "EpochState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "EpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "esAccountState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountState) :*: S1 ('MetaSel ('Just "esLState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState era))) :*: (S1 ('MetaSel ('Just "esSnapshots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SnapShots (EraCrypto era))) :*: S1 ('MetaSel ('Just "esNonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonMyopic (EraCrypto era))))))

toEpochStatePairs ∷ (EraTxOut era, EraGov era, KeyValue e a) ⇒ EpochState era → [a] Source #

data IncrementalStake c Source #

Incremental Stake, Stake along with possible missed coins from danging Ptrs. Transactions can use Ptrs to refer to a stake credential in a TxOut. The Ptr does not have to point to anything until the epoch boundary, when we compute rewards and aggregate staking information for ranking. This is unusual but legal. In a non incremental system, we use whatever legal Ptrs exist at the epoch boundary. Here we are computing things incrementally, so we need to remember Ptrs that might point to something by the time the epoch boundary is reached. When the epoch boundary is reached we resolve these pointers, to see if any have become non-dangling since the time they were first used in the incremental computation.

Constructors

IStake 

Instances

Instances details
Crypto c ⇒ ToJSON (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Monoid (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Semigroup (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Generic (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Rep (IncrementalStake c) ∷ TypeType Source #

Show (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Crypto c ⇒ DecShareCBOR (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Share (IncrementalStake c) Source #

Crypto c ⇒ EncCBOR (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Default (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

NFData (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

rnfIncrementalStake c → () Source #

Eq (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Ord (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Group (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

NoThunks (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (IncrementalStake c) = D1 ('MetaData "IncrementalStake" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "IStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "credMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "ptrMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Ptr (CompactForm Coin)))))
type Share (IncrementalStake c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

data UTxOState era Source #

There is a serious invariant that we must maintain in the UTxOState. Given (UTxOState utxo _ _ _ istake) it must be the case that istake == (updateStakeDistribution (UTxO Map.empty) (UTxO Map.empty) utxo) Of course computing the RHS of the above equality can be very expensive, so we only use this route in the testing function smartUTxO. But we are very careful, wherever we update the UTxO, we carefully make INCREMENTAL changes to istake to maintain this invariant. This happens in the UTxO rule.

Constructors

UTxOState 

Fields

Instances

Instances details
(EraTxOut era, EraGov era) ⇒ ToJSON (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Generic (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Rep (UTxOState era) ∷ TypeType Source #

Methods

fromUTxOState era → Rep (UTxOState era) x Source #

toRep (UTxOState era) x → UTxOState era Source #

(EraTxOut era, Show (GovState era)) ⇒ Show (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

showsPrecIntUTxOState era → ShowS Source #

showUTxOState era → String Source #

showList ∷ [UTxOState era] → ShowS Source #

(EraTxOut era, EraGov era) ⇒ FromCBOR (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

fromCBORDecoder s (UTxOState era) Source #

labelProxy (UTxOState era) → Text Source #

(EraTxOut era, EraGov era) ⇒ ToCBOR (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

toCBORUTxOState 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 #

(EraTxOut era, EraGov era) ⇒ DecShareCBOR (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Share (UTxOState era) Source #

(EraTxOut era, EncCBOR (GovState era)) ⇒ EncCBOR (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

encCBORUTxOState era → Encoding Source #

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

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

EraGov era ⇒ Default (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

defUTxOState era Source #

(EraTxOut era, NFData (GovState era)) ⇒ NFData (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

rnfUTxOState era → () Source #

(EraTxOut era, Eq (GovState era)) ⇒ Eq (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

(==)UTxOState era → UTxOState era → Bool Source #

(/=)UTxOState era → UTxOState era → Bool Source #

(NoThunks (UTxO era), NoThunks (GovState era), Era era) ⇒ NoThunks (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (UTxOState era) = D1 ('MetaData "UTxOState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "UTxOState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "utxosUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :*: (S1 ('MetaSel ('Just "utxosDeposited") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "utxosFees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: (S1 ('MetaSel ('Just "utxosGovState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovState era)) :*: (S1 ('MetaSel ('Just "utxosStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IncrementalStake (EraCrypto era))) :*: S1 ('MetaSel ('Just "utxosDonation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))
type Share (UTxOState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

toUTxOStatePairs ∷ (EraTxOut era, EraGov era, KeyValue e a) ⇒ UTxOState era → [a] Source #

data NewEpochState era Source #

New Epoch state and environment

Constructors

NewEpochState 

Fields

  • nesEL ∷ !EpochNo

    Number of the epoch when this NewEpochState was modified last. With respect to block and transactions validation this will always be the current epoch number. However, when it comes to the TICK rule, it will be the epoch number of the previous epoch whenever we are crossing the epoch boundary.

  • nesBprev ∷ !(BlocksMade (EraCrypto era))

    Blocks made before current epoch

  • nesBcur ∷ !(BlocksMade (EraCrypto era))

    Blocks made in current epoch

  • nesEs ∷ !(EpochState era)

    Epoch state

  • nesRu ∷ !(StrictMaybe (PulsingRewUpdate (EraCrypto era)))

    Possible reward update

  • nesPd ∷ !(PoolDistr (EraCrypto era))

    Stake distribution within the stake pool

  • stashedAVVMAddresses ∷ !(StashedAVVMAddresses era)

    AVVM addresses to be removed at the end of the Shelley era. Note that the existence of this field is a hack, related to the transition of UTxO to disk. We remove AVVM addresses from the UTxO on the Shelley/Allegra boundary. However, by this point the UTxO will be moved to disk, and hence doing a scan of the UTxO for AVVM addresses will be expensive. Our solution to this is to do a scan of the UTxO on the Byron/Shelley boundary (since Byron UTxO are still on disk), stash the results here, and then remove them at the Shelley/Allegra boundary.

    This is very much an awkward implementation hack, and hence we hide it from as many places as possible.

Instances

Instances details
Generic (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Rep (NewEpochState era) ∷ TypeType Source #

Methods

fromNewEpochState era → Rep (NewEpochState era) x Source #

toRep (NewEpochState era) x → NewEpochState era Source #

(EraTxOut era, Show (StashedAVVMAddresses era), Show (GovState era)) ⇒ Show (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

(EraTxOut era, EraGov era, DecCBOR (StashedAVVMAddresses era)) ⇒ FromCBOR (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

(EraTxOut era, EraGov era, EncCBOR (StashedAVVMAddresses era)) ⇒ ToCBOR (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

toCBORNewEpochState 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 #

(EraTxOut era, EraGov era, DecCBOR (StashedAVVMAddresses era)) ⇒ DecCBOR (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

(EraTxOut era, EncCBOR (StashedAVVMAddresses era), EncCBOR (GovState era)) ⇒ EncCBOR (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

encCBORNewEpochState era → Encoding Source #

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

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

(EraTxOut era, NFData (StashedAVVMAddresses era), NFData (GovState era)) ⇒ NFData (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

rnfNewEpochState era → () Source #

(EraTxOut era, Eq (StashedAVVMAddresses era), Eq (GovState era)) ⇒ Eq (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

(==)NewEpochState era → NewEpochState era → Bool Source #

(/=)NewEpochState era → NewEpochState era → Bool Source #

(Era era, NoThunks (BlocksMade (EraCrypto era)), NoThunks (EpochState era), NoThunks (PulsingRewUpdate (EraCrypto era)), NoThunks (StashedAVVMAddresses era)) ⇒ NoThunks (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (NewEpochState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (NewEpochState era) = D1 ('MetaData "NewEpochState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.12.2.1-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 (EraCrypto era))) :*: S1 ('MetaSel ('Just "nesBcur") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlocksMade (EraCrypto era))))) :*: ((S1 ('MetaSel ('Just "nesEs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochState era)) :*: S1 ('MetaSel ('Just "nesRu") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (PulsingRewUpdate (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "nesPd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolDistr (EraCrypto era))) :*: S1 ('MetaSel ('Just "stashedAVVMAddresses") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StashedAVVMAddresses era))))))

type family StashedAVVMAddresses era where ... Source #

data LedgerState era Source #

The state associated with a Ledger.

Constructors

LedgerState 

Fields

Instances

Instances details
(EraTxOut era, EraGov era) ⇒ ToJSON (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Generic (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Rep (LedgerState era) ∷ TypeType Source #

Methods

fromLedgerState era → Rep (LedgerState era) x Source #

toRep (LedgerState era) x → LedgerState era Source #

(EraTxOut era, Show (GovState era)) ⇒ Show (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

(EraTxOut era, EraGov era) ⇒ FromCBOR (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

(EraTxOut era, EraGov era) ⇒ ToCBOR (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

toCBORLedgerState 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 #

(EraTxOut era, EraGov era) ⇒ DecShareCBOR (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Associated Types

type Share (LedgerState era) Source #

(EraTxOut era, EncCBOR (GovState era)) ⇒ EncCBOR (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

encCBORLedgerState era → Encoding Source #

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

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

Default (UTxOState era) ⇒ Default (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

defLedgerState era Source #

(EraTxOut era, NFData (GovState era)) ⇒ NFData (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

rnfLedgerState era → () Source #

(EraTxOut era, Eq (GovState era)) ⇒ Eq (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

Methods

(==)LedgerState era → LedgerState era → Bool Source #

(/=)LedgerState era → LedgerState era → Bool Source #

(EraTxOut era, NoThunks (GovState era)) ⇒ NoThunks (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

type Rep (LedgerState era) = D1 ('MetaData "LedgerState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "LedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "lsUTxOState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxOState era)) :*: S1 ('MetaSel ('Just "lsCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era))))
type Share (LedgerState era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState.Types

toLedgerStatePairs ∷ (EraTxOut era, EraGov era, KeyValue e a) ⇒ LedgerState era → [a] Source #

totalObligationEraGov era ⇒ CertState era → GovState era → Coin Source #