Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Ledger.Peras

Description

Peras state to be stored in the extended ledger state.

Synopsis

data PerasState blk = PerasState {
- perasEpochContextResolver ∷ !(PerasEpochContextResolver blk)
- latestPerasCertOnChainRound ∷ !(StrictMaybe PerasRoundNo)
}
initPerasState ∷ ∀ blk (mk ∷ MapKind). (All (Top ∷ Type → Constraint) (HardForkIndices blk), StateSupportsPerasEpochContext blk, HasLedgerTables LedgerState blk) ⇒ LedgerCfg LedgerState blk → LedgerState blk mk → HeaderState blk → PerasState blk
decodePerasState ∷ (∀ s. Decoder s (PerasEpochContextResolver blk)) → ∀ s. Decoder s (PerasState blk)
encodePerasState ∷ (PerasEpochContextResolver blk → Encoding) → PerasState blk → Encoding

Documentation

data PerasState blk Source #

Peras state to be stored in the extended ledger state.

Constructors

PerasState
Fields perasEpochContextResolver ∷ !(PerasEpochContextResolver blk) latestPerasCertOnChainRound ∷ !(StrictMaybe PerasRoundNo)

Instances

Instances details

Inject PerasState Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → PerasState x → PerasState (HardForkBlock xs) Source #

Isomorphic PerasState Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ PerasState (HardForkBlock '[blk]) → PerasState blk Source #

inject ∷ NoHardForks blk ⇒ PerasState blk → PerasState (HardForkBlock '[blk]) Source #

(Typeable blk, FromCBOR (PerasVotingCommittee blk)) ⇒ DecodeDisk blk (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

decodeDisk ∷ CodecConfig blk → ∀ s. Decoder s (PerasState blk) Source #

(Typeable blk, ToCBOR (PerasVotingCommittee blk)) ⇒ EncodeDisk blk (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

encodeDisk ∷ CodecConfig blk → PerasState blk → Encoding Source #

(Typeable blk, FromCBOR (PerasVotingCommittee blk)) ⇒ FromCBOR (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

fromCBOR ∷ Decoder s (PerasState blk) Source #

label ∷ Proxy (PerasState blk) → Text Source #

(Typeable blk, ToCBOR (PerasVotingCommittee blk)) ⇒ ToCBOR (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

toCBOR ∷ PerasState blk → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PerasState blk) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PerasState blk] → Size Source #

Eq (PerasVotingCommittee blk) ⇒ Eq (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

(==) ∷ PerasState blk → PerasState blk → Bool #

(/=) ∷ PerasState blk → PerasState blk → Bool #

Generic (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Associated Types

type Rep (PerasState blk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

type Rep (PerasState blk) = D1 ('MetaData "PerasState" "Ouroboros.Consensus.Ledger.Peras" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasState" 'PrefixI 'True) (S1 ('MetaSel ('Just "perasEpochContextResolver") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasEpochContextResolver blk)) :*: S1 ('MetaSel ('Just "latestPerasCertOnChainRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasRoundNo))))

Methods

from ∷ PerasState blk → Rep (PerasState blk) x #

to ∷ Rep (PerasState blk) x → PerasState blk #

Show (PerasVotingCommittee blk) ⇒ Show (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

showsPrec ∷ Int → PerasState blk → ShowS #

show ∷ PerasState blk → String #

showList ∷ [PerasState blk] → ShowS #

NoThunks (PerasVotingCommittee blk) ⇒ NoThunks (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

Methods

noThunks ∷ Context → PerasState blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasState blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerasState blk) → String Source #

type Rep (PerasState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Ledger.Peras

type Rep (PerasState blk) = D1 ('MetaData "PerasState" "Ouroboros.Consensus.Ledger.Peras" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "PerasState" 'PrefixI 'True) (S1 ('MetaSel ('Just "perasEpochContextResolver") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasEpochContextResolver blk)) :*: S1 ('MetaSel ('Just "latestPerasCertOnChainRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasRoundNo))))

initPerasState ∷ ∀ blk (mk ∷ MapKind). (All (Top ∷ Type → Constraint) (HardForkIndices blk), StateSupportsPerasEpochContext blk, HasLedgerTables LedgerState blk) ⇒ LedgerCfg LedgerState blk → LedgerState blk mk → HeaderState blk → PerasState blk Source #

decodePerasState ∷ (∀ s. Decoder s (PerasEpochContextResolver blk)) → ∀ s. Decoder s (PerasState blk) Source #

encodePerasState ∷ (PerasEpochContextResolver blk → Encoding) → PerasState blk → Encoding Source #