ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Synopsis

Value for each era

newtype PerEraBlockConfig (xs ∷ [Type]) Source #

Constructors

PerEraBlockConfig 

Fields

Instances

Instances details
CanHardFork xs ⇒ NoThunks (PerEraBlockConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerEraBlockConfig xs) → String Source #

newtype PerEraChainOrderConfig (xs ∷ [Type]) Source #

Constructors

PerEraChainOrderConfig 

Fields

newtype PerEraCodecConfig (xs ∷ [Type]) Source #

Constructors

PerEraCodecConfig 

Fields

Instances

Instances details
CanHardFork xs ⇒ NoThunks (PerEraCodecConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerEraCodecConfig xs) → String Source #

newtype PerEraConsensusConfig (xs ∷ [Type]) Source #

Constructors

PerEraConsensusConfig 

Fields

Instances

Instances details
CanHardFork xs ⇒ NoThunks (PerEraConsensusConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerEraConsensusConfig xs) → String Source #

newtype PerEraLedgerConfig (xs ∷ [Type]) Source #

Constructors

PerEraLedgerConfig 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (PerEraLedgerConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → PerEraLedgerConfig xs → ShowS #

show ∷ PerEraLedgerConfig xs → String #

showList ∷ [PerEraLedgerConfig xs] → ShowS #

CanHardFork xs ⇒ NoThunks (PerEraLedgerConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerEraLedgerConfig xs) → String Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → PerEraLedgerConfig xs → Encoding Source #

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (PerEraLedgerConfig xs) Source #

newtype PerEraStorageConfig (xs ∷ [Type]) Source #

Constructors

PerEraStorageConfig 

Fields

Instances

Instances details
CanHardFork xs ⇒ NoThunks (PerEraStorageConfig xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerEraStorageConfig xs) → String Source #

newtype PerEraPerasPrivateKey (xs ∷ [Type]) Source #

Constructors

PerEraPerasPrivateKey 

Fields

Values for some eras

newtype SomeErasCanBeLeader (xs ∷ [Type]) Source #

Constructors

SomeErasCanBeLeader 

Fields

Value for one era

newtype OneEraApplyTxErr (xs ∷ [Type]) Source #

Constructors

OneEraApplyTxErr 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraApplyTxErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool #

(/=) ∷ OneEraApplyTxErr xs → OneEraApplyTxErr xs → Bool #

CanHardFork xs ⇒ Show (OneEraApplyTxErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraApplyTxErr xs → ShowS #

show ∷ OneEraApplyTxErr xs → String #

showList ∷ [OneEraApplyTxErr xs] → ShowS #

newtype OneEraBlock (xs ∷ [Type]) Source #

Constructors

OneEraBlock 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraBlock xs → ShowS #

show ∷ OneEraBlock xs → String #

showList ∷ [OneEraBlock xs] → ShowS #

newtype OneEraCannotForge (xs ∷ [Type]) Source #

Constructors

OneEraCannotForge 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraCannotForge xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraCannotForge xs → ShowS #

show ∷ OneEraCannotForge xs → String #

showList ∷ [OneEraCannotForge xs] → ShowS #

newtype OneEraEnvelopeErr (xs ∷ [Type]) Source #

Constructors

OneEraEnvelopeErr 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraEnvelopeErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraEnvelopeErr xs → OneEraEnvelopeErr xs → Bool #

(/=) ∷ OneEraEnvelopeErr xs → OneEraEnvelopeErr xs → Bool #

CanHardFork xs ⇒ Show (OneEraEnvelopeErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraEnvelopeErr xs → ShowS #

show ∷ OneEraEnvelopeErr xs → String #

showList ∷ [OneEraEnvelopeErr xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraEnvelopeErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraEnvelopeErr xs) → String Source #

newtype OneEraForgeStateInfo (xs ∷ [Type]) Source #

Constructors

OneEraForgeStateInfo 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraForgeStateInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraForgeStateInfo xs → ShowS #

show ∷ OneEraForgeStateInfo xs → String #

showList ∷ [OneEraForgeStateInfo xs] → ShowS #

newtype OneEraForgeStateUpdateError (xs ∷ [Type]) Source #

Constructors

OneEraForgeStateUpdateError 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraForgeStateUpdateError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraForgeStateUpdateError xs → ShowS #

show ∷ OneEraForgeStateUpdateError xs → String #

showList ∷ [OneEraForgeStateUpdateError xs] → ShowS #

newtype OneEraGenTx (xs ∷ [Type]) Source #

Constructors

OneEraGenTx 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraGenTx xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool #

(/=) ∷ OneEraGenTx xs → OneEraGenTx xs → Bool #

CanHardFork xs ⇒ Show (OneEraGenTx xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraGenTx xs → ShowS #

show ∷ OneEraGenTx xs → String #

showList ∷ [OneEraGenTx xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraGenTx xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraGenTx xs) → String Source #

newtype OneEraGenTxId (xs ∷ [Type]) Source #

Constructors

OneEraGenTxId 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraGenTxId xs) Source #

Compare OneEraGenTxIds by their transaction id, ignoring the era.

Two transactions in different eras can therefore have equal TxIds. This should only happen when the transaction format is backwards compatible from one era to the next.

The comparison itself lives in the CanHardFork instance for xs, as hardForkEqGenTxId/hardForkCompareGenTxId. The Cardano instance implements them without allocating; other instances use rawHashNS.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #

(/=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #

CanHardFork xs ⇒ Ord (OneEraGenTxId xs) Source #

See the corresponding Eq instance.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

compare ∷ OneEraGenTxId xs → OneEraGenTxId xs → Ordering #

(<) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #

(<=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #

(>) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #

(>=) ∷ OneEraGenTxId xs → OneEraGenTxId xs → Bool #

max ∷ OneEraGenTxId xs → OneEraGenTxId xs → OneEraGenTxId xs #

min ∷ OneEraGenTxId xs → OneEraGenTxId xs → OneEraGenTxId xs #

CanHardFork xs ⇒ Show (OneEraGenTxId xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraGenTxId xs → ShowS #

show ∷ OneEraGenTxId xs → String #

showList ∷ [OneEraGenTxId xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraGenTxId xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraGenTxId xs) → String Source #

newtype OneEraHash (xs ∷ [k]) Source #

The hash for an era

This type is special: we don't use an NS here, because the hash by itself should not allow us to differentiate between eras. If it did, the size of the hash would necessarily have to increase, and that leads to trouble. So, the type parameter xs here is merely a phantom one, and we just store the underlying raw hash.

Constructors

OneEraHash 

Fields

Instances

Instances details
(Typeable k, Typeable xs) ⇒ FromCBOR (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

fromCBOR ∷ Decoder s (OneEraHash xs) Source #

label ∷ Proxy (OneEraHash xs) → Text Source #

(Typeable k, Typeable xs) ⇒ ToCBOR (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toCBOR ∷ OneEraHash xs → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OneEraHash xs) → Size Source #

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

NFData (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

rnf ∷ OneEraHash xs → () #

Eq (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraHash xs → OneEraHash xs → Bool #

(/=) ∷ OneEraHash xs → OneEraHash xs → Bool #

Ord (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

compare ∷ OneEraHash xs → OneEraHash xs → Ordering #

(<) ∷ OneEraHash xs → OneEraHash xs → Bool #

(<=) ∷ OneEraHash xs → OneEraHash xs → Bool #

(>) ∷ OneEraHash xs → OneEraHash xs → Bool #

(>=) ∷ OneEraHash xs → OneEraHash xs → Bool #

max ∷ OneEraHash xs → OneEraHash xs → OneEraHash xs #

min ∷ OneEraHash xs → OneEraHash xs → OneEraHash xs #

Show (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraHash xs → ShowS #

show ∷ OneEraHash xs → String #

showList ∷ [OneEraHash xs] → ShowS #

NoThunks (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraHash xs) → String Source #

Condense (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

condense ∷ OneEraHash xs → String Source #

Serialise (OneEraHash xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

encode ∷ OneEraHash xs → Encoding Source #

decode ∷ Decoder s (OneEraHash xs) Source #

encodeList ∷ [OneEraHash xs] → Encoding Source #

decodeList ∷ Decoder s [OneEraHash xs] Source #

newtype OneEraHeader (xs ∷ [Type]) Source #

Constructors

OneEraHeader 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraHeader xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraHeader xs → ShowS #

show ∷ OneEraHeader xs → String #

showList ∷ [OneEraHeader xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraHeader xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraHeader xs) → String Source #

newtype OneEraIsLeader (xs ∷ [Type]) Source #

Constructors

OneEraIsLeader 

Fields

newtype OneEraLedgerError (xs ∷ [Type]) Source #

Constructors

OneEraLedgerError 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraLedgerError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraLedgerError xs → OneEraLedgerError xs → Bool #

(/=) ∷ OneEraLedgerError xs → OneEraLedgerError xs → Bool #

CanHardFork xs ⇒ Show (OneEraLedgerError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraLedgerError xs → ShowS #

show ∷ OneEraLedgerError xs → String #

showList ∷ [OneEraLedgerError xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraLedgerError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraLedgerError xs) → String Source #

newtype OneEraLedgerEvent (xs ∷ [Type]) Source #

Constructors

OneEraLedgerEvent 

Fields

newtype OneEraLedgerUpdate (xs ∷ [Type]) Source #

Constructors

OneEraLedgerUpdate 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraLedgerUpdate xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraLedgerUpdate xs → OneEraLedgerUpdate xs → Bool #

(/=) ∷ OneEraLedgerUpdate xs → OneEraLedgerUpdate xs → Bool #

CanHardFork xs ⇒ Show (OneEraLedgerUpdate xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraLedgerUpdate xs → ShowS #

show ∷ OneEraLedgerUpdate xs → String #

showList ∷ [OneEraLedgerUpdate xs] → ShowS #

newtype OneEraLedgerWarning (xs ∷ [Type]) Source #

Constructors

OneEraLedgerWarning 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraLedgerWarning xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraLedgerWarning xs → OneEraLedgerWarning xs → Bool #

(/=) ∷ OneEraLedgerWarning xs → OneEraLedgerWarning xs → Bool #

CanHardFork xs ⇒ Show (OneEraLedgerWarning xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraLedgerWarning xs → ShowS #

show ∷ OneEraLedgerWarning xs → String #

showList ∷ [OneEraLedgerWarning xs] → ShowS #

newtype OneEraReasonForSwitch (xs ∷ [Type]) Source #

Constructors

OneEraReasonForSwitch 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraReasonForSwitch xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraReasonForSwitch xs → ShowS #

show ∷ OneEraReasonForSwitch xs → String #

showList ∷ [OneEraReasonForSwitch xs] → ShowS #

newtype OneEraTiebreakerView (xs ∷ [Type]) Source #

Constructors

OneEraTiebreakerView 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraTiebreakerView xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraTiebreakerView xs → OneEraTiebreakerView xs → Bool #

(/=) ∷ OneEraTiebreakerView xs → OneEraTiebreakerView xs → Bool #

CanHardFork xs ⇒ Show (OneEraTiebreakerView xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraTiebreakerView xs → ShowS #

show ∷ OneEraTiebreakerView xs → String #

showList ∷ [OneEraTiebreakerView xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraTiebreakerView xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraTiebreakerView xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraTiebreakerView xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraTiebreakerView xs) → String Source #

newtype OneEraTentativeHeaderState (xs ∷ [Type]) Source #

Constructors

OneEraTentativeHeaderState 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraTentativeHeaderState xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraTentativeHeaderState xs → ShowS #

show ∷ OneEraTentativeHeaderState xs → String #

showList ∷ [OneEraTentativeHeaderState xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraTentativeHeaderState xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraTentativeHeaderState xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraTentativeHeaderState xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraTentativeHeaderState xs) → String Source #

newtype OneEraTentativeHeaderView (xs ∷ [Type]) Source #

Constructors

OneEraTentativeHeaderView 

Fields

Instances

Instances details
CanHardFork xs ⇒ Show (OneEraTentativeHeaderView xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraTentativeHeaderView xs → ShowS #

show ∷ OneEraTentativeHeaderView xs → String #

showList ∷ [OneEraTentativeHeaderView xs] → ShowS #

newtype OneEraTipInfo (xs ∷ [Type]) Source #

Constructors

OneEraTipInfo 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraTipInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool #

(/=) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool #

CanHardFork xs ⇒ Show (OneEraTipInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraTipInfo xs → ShowS #

show ∷ OneEraTipInfo xs → String #

showList ∷ [OneEraTipInfo xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraTipInfo xs) → String Source #

newtype OneEraValidateView (xs ∷ [Type]) Source #

Constructors

OneEraValidateView 

Fields

newtype OneEraValidatedGenTx (xs ∷ [Type]) Source #

Constructors

OneEraValidatedGenTx 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraValidatedGenTx xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraValidatedGenTx xs → OneEraValidatedGenTx xs → Bool #

(/=) ∷ OneEraValidatedGenTx xs → OneEraValidatedGenTx xs → Bool #

CanHardFork xs ⇒ Show (OneEraValidatedGenTx xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraValidatedGenTx xs → ShowS #

show ∷ OneEraValidatedGenTx xs → String #

showList ∷ [OneEraValidatedGenTx xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraValidatedGenTx xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraValidatedGenTx xs) → String Source #

newtype OneEraValidationErr (xs ∷ [Type]) Source #

Constructors

OneEraValidationErr 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraValidationErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraValidationErr xs → OneEraValidationErr xs → Bool #

(/=) ∷ OneEraValidationErr xs → OneEraValidationErr xs → Bool #

CanHardFork xs ⇒ Show (OneEraValidationErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraValidationErr xs → ShowS #

show ∷ OneEraValidationErr xs → String #

showList ∷ [OneEraValidationErr xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraValidationErr xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraValidationErr xs) → String Source #

newtype OneEraPerasVote (xs ∷ [Type]) Source #

Constructors

OneEraPerasVote 

Fields

Instances

Instances details
Typeable xs ⇒ ShowProxy (OneEraPerasVote xs ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showProxy ∷ Proxy (OneEraPerasVote xs) → String #

CanHardFork xs ⇒ Eq (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasVote xs → OneEraPerasVote xs → Bool #

(/=) ∷ OneEraPerasVote xs → OneEraPerasVote xs → Bool #

Generic (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasVote xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVote xs) = D1 ('MetaData "OneEraPerasVote" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVote xs))))

Methods

from ∷ OneEraPerasVote xs → Rep (OneEraPerasVote xs) x #

to ∷ Rep (OneEraPerasVote xs) x → OneEraPerasVote xs #

CanHardFork xs ⇒ Show (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasVote xs → ShowS #

show ∷ OneEraPerasVote xs → String #

showList ∷ [OneEraPerasVote xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasVote xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasVote xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasVote xs) → String Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → OneEraPerasVote xs → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (OneEraPerasVote xs) Source #

(CanHardFork xs, All SingleEraBlock xs) ⇒ IsPerasVote (OneEraPerasVote xs) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPerasVoteRound ∷ OneEraPerasVote xs → PerasRoundNo Source #

getPerasVoteBlock ∷ OneEraPerasVote xs → BoostedBlock (OneEraPerasVote xs) Source #

getPerasVoteSeatIndex ∷ OneEraPerasVote xs → PerasSeatIndex Source #

getPerasVotePoint ∷ OneEraPerasVote xs → Point (HardForkBlock xs) Source #

type Rep (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVote xs) = D1 ('MetaData "OneEraPerasVote" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVote" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVote xs))))
type BoostedBlock (OneEraPerasVote xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type BoostedBlock (OneEraPerasVote xs) = Point (HardForkBlock xs)

newtype OneEraPerasCert (xs ∷ [Type]) Source #

Constructors

OneEraPerasCert 

Fields

Instances

Instances details
Typeable xs ⇒ ShowProxy (OneEraPerasCert xs ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showProxy ∷ Proxy (OneEraPerasCert xs) → String #

CanHardFork xs ⇒ Eq (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasCert xs → OneEraPerasCert xs → Bool #

(/=) ∷ OneEraPerasCert xs → OneEraPerasCert xs → Bool #

Generic (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasCert xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCert xs) = D1 ('MetaData "OneEraPerasCert" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCert xs))))

Methods

from ∷ OneEraPerasCert xs → Rep (OneEraPerasCert xs) x #

to ∷ Rep (OneEraPerasCert xs) x → OneEraPerasCert xs #

CanHardFork xs ⇒ Show (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasCert xs → ShowS #

show ∷ OneEraPerasCert xs → String #

showList ∷ [OneEraPerasCert xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasCert xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasCert xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasCert xs) → String Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → OneEraPerasCert xs → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (OneEraPerasCert xs) Source #

CanHardFork xs ⇒ IsPerasCert (OneEraPerasCert xs) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPerasCertRound ∷ OneEraPerasCert xs → PerasRoundNo Source #

getPerasCertBlock ∷ OneEraPerasCert xs → BoostedBlock (OneEraPerasCert xs) Source #

getPerasCertPoint ∷ OneEraPerasCert xs → Point (HardForkBlock xs) Source #

type Rep (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCert xs) = D1 ('MetaData "OneEraPerasCert" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCert xs))))
type BoostedBlock (OneEraPerasCert xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type BoostedBlock (OneEraPerasCert xs) = Point (HardForkBlock xs)

newtype OneEraPerasError (xs ∷ [Type]) Source #

Constructors

OneEraPerasError 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasError xs → OneEraPerasError xs → Bool #

(/=) ∷ OneEraPerasError xs → OneEraPerasError xs → Bool #

CanHardFork xs ⇒ Exception (OneEraPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toException ∷ OneEraPerasError xs → SomeException #

fromException ∷ SomeException → Maybe (OneEraPerasError xs) #

displayException ∷ OneEraPerasError xs → String #

backtraceDesired ∷ OneEraPerasError xs → Bool #

Generic (OneEraPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasError xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasError xs) = D1 ('MetaData "OneEraPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasError" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasError xs))))

Methods

from ∷ OneEraPerasError xs → Rep (OneEraPerasError xs) x #

to ∷ Rep (OneEraPerasError xs) x → OneEraPerasError xs #

CanHardFork xs ⇒ Show (OneEraPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasError xs → ShowS #

show ∷ OneEraPerasError xs → String #

showList ∷ [OneEraPerasError xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasError xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasError xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasError xs) → String Source #

type Rep (OneEraPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasError xs) = D1 ('MetaData "OneEraPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasError" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasError xs))))

data HardForkPerasError (xs ∷ [Type]) Source #

Constructors

HardForkPerasErrorEraMismatch 
HardForkPerasErrorOneEraPerasError (OneEraPerasError xs) 
HardForkPerasErrorConversionError

Should never be produced in practice, since we dispatch to a concrete era before calling any fallible operation.

HardForkPerasErrorQuorumNotReachedError

Should never be produced in practice, since we dispatch to a concrete era before calling any fallible operation.

HardForkPerasErrorCommitteeError

Should never be produced in practice, since we dispatch to a concrete era before calling any fallible operation.

Instances

Instances details
Eq (OneEraPerasError xs) ⇒ Eq (HardForkPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ HardForkPerasError xs → HardForkPerasError xs → Bool #

(/=) ∷ HardForkPerasError xs → HardForkPerasError xs → Bool #

CanHardFork xs ⇒ Exception (HardForkPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toException ∷ HardForkPerasError xs → SomeException #

fromException ∷ SomeException → Maybe (HardForkPerasError xs) #

displayException ∷ HardForkPerasError xs → String #

backtraceDesired ∷ HardForkPerasError xs → Bool #

Generic (HardForkPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (HardForkPerasError xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (HardForkPerasError xs) = D1 ('MetaData "HardForkPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "HardForkPerasErrorEraMismatch" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorOneEraPerasError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraPerasError xs)))) :+: (C1 ('MetaCons "HardForkPerasErrorConversionError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "HardForkPerasErrorQuorumNotReachedError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorCommitteeError" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ HardForkPerasError xs → Rep (HardForkPerasError xs) x #

to ∷ Rep (HardForkPerasError xs) x → HardForkPerasError xs #

Show (OneEraPerasError xs) ⇒ Show (HardForkPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → HardForkPerasError xs → ShowS #

show ∷ HardForkPerasError xs → String #

showList ∷ [HardForkPerasError xs] → ShowS #

NoThunks (OneEraPerasError xs) ⇒ NoThunks (HardForkPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → HardForkPerasError xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → HardForkPerasError xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (HardForkPerasError xs) → String Source #

CanHardFork xs ⇒ IsPerasError (HardForkPerasError xs) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

injectVotingCommitteeError ∷ PerasVotingCommitteeError (HardForkBlock xs) → HardForkPerasError xs Source #

injectConversionError ∷ PerasConversionError → HardForkPerasError xs Source #

injectQuorumNotReachedError ∷ VoteWeight → HardForkPerasError xs Source #

type Rep (HardForkPerasError xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (HardForkPerasError xs) = D1 ('MetaData "HardForkPerasError" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((C1 ('MetaCons "HardForkPerasErrorEraMismatch" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorOneEraPerasError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraPerasError xs)))) :+: (C1 ('MetaCons "HardForkPerasErrorConversionError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "HardForkPerasErrorQuorumNotReachedError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPerasErrorCommitteeError" 'PrefixI 'False) (U1 ∷ Type → Type))))

newtype OneEraPerasCrypto (xs ∷ [Type]) Source #

Constructors

OneEraPerasCrypto 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasCrypto xs → OneEraPerasCrypto xs → Bool #

(/=) ∷ OneEraPerasCrypto xs → OneEraPerasCrypto xs → Bool #

Generic (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasCrypto xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCrypto xs) = D1 ('MetaData "OneEraPerasCrypto" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCrypto" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCrypto") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCrypto xs))))

Methods

from ∷ OneEraPerasCrypto xs → Rep (OneEraPerasCrypto xs) x #

to ∷ Rep (OneEraPerasCrypto xs) x → OneEraPerasCrypto xs #

CanHardFork xs ⇒ Show (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasCrypto xs → ShowS #

show ∷ OneEraPerasCrypto xs → String #

showList ∷ [OneEraPerasCrypto xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasCrypto xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasCrypto xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasCrypto xs) → String Source #

CanHardFork xs ⇒ FromCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

Hand-written rather than deriving via SerialiseNS: that derivation needs All (Compose Serialise WrapPerasVotingCommittee) xs, which GHC cannot solve from the CanHardFork xs (i.e. All SingleEraBlock xs) context for an abstract xs. We instead build the per-era codecs with hcpure proxySingle, where each era's Serialise (WrapPerasVotingCommittee blk) is reachable from SingleEraBlock blk via its StateSupportsPerasEpochContext superclass, and feed them to encodeNS and decodeNS, producing the same wire format a SerialiseNS derivation would.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

fromCBOR ∷ Decoder s (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

label ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Text Source #

CanHardFork xs ⇒ ToCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toCBOR ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → Size Source #

CanHardFork xs ⇒ Eq (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool #

(/=) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool #

Generic (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs))))

Methods

from ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x #

to ∷ Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) #

CanHardFork xs ⇒ Show (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → ShowS #

show ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → String #

showList ∷ [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → ShowS #

CanHardFork xs ⇒ NoThunks (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → String Source #

type Rep (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasCrypto xs) = D1 ('MetaData "OneEraPerasCrypto" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasCrypto" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasCrypto") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasCrypto xs))))
type ElectionId (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type ElectionId (OneEraPerasCrypto xs) = PerasRoundNo
type PrivateKey (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type PrivateKey (OneEraPerasCrypto xs) = PerEraPerasPrivateKey xs
type VoteCandidate (OneEraPerasCrypto xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type VoteCandidate (OneEraPerasCrypto xs) = Point (HardForkBlock xs)
newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) = OneEraPerasVotingCommittee {}
type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs))))

newtype OneEraPerasVotingCommitteeScheme (xs ∷ [Type]) Source #

Constructors

OneEraPerasVotingCommitteeScheme 

Fields

Instances

Instances details
CanHardFork xs ⇒ Eq (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ OneEraPerasVotingCommitteeScheme xs → OneEraPerasVotingCommitteeScheme xs → Bool #

(/=) ∷ OneEraPerasVotingCommitteeScheme xs → OneEraPerasVotingCommitteeScheme xs → Bool #

Generic (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (OneEraPerasVotingCommitteeScheme xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVotingCommitteeScheme xs) = D1 ('MetaData "OneEraPerasVotingCommitteeScheme" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommitteeScheme" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommitteeScheme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommitteeScheme xs))))

Methods

from ∷ OneEraPerasVotingCommitteeScheme xs → Rep (OneEraPerasVotingCommitteeScheme xs) x #

to ∷ Rep (OneEraPerasVotingCommitteeScheme xs) x → OneEraPerasVotingCommitteeScheme xs #

CanHardFork xs ⇒ Show (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → OneEraPerasVotingCommitteeScheme xs → ShowS #

show ∷ OneEraPerasVotingCommitteeScheme xs → String #

showList ∷ [OneEraPerasVotingCommitteeScheme xs] → ShowS #

CanHardFork xs ⇒ NoThunks (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → OneEraPerasVotingCommitteeScheme xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OneEraPerasVotingCommitteeScheme xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OneEraPerasVotingCommitteeScheme xs) → String Source #

CanHardFork xs ⇒ FromCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

Hand-written rather than deriving via SerialiseNS: that derivation needs All (Compose Serialise WrapPerasVotingCommittee) xs, which GHC cannot solve from the CanHardFork xs (i.e. All SingleEraBlock xs) context for an abstract xs. We instead build the per-era codecs with hcpure proxySingle, where each era's Serialise (WrapPerasVotingCommittee blk) is reachable from SingleEraBlock blk via its StateSupportsPerasEpochContext superclass, and feed them to encodeNS and decodeNS, producing the same wire format a SerialiseNS derivation would.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

fromCBOR ∷ Decoder s (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

label ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Text Source #

CanHardFork xs ⇒ ToCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toCBOR ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → Size Source #

CanHardFork xs ⇒ Eq (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool #

(/=) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool #

Generic (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs))))

Methods

from ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x #

to ∷ Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) #

CanHardFork xs ⇒ Show (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → ShowS #

show ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → String #

showList ∷ [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → ShowS #

CanHardFork xs ⇒ NoThunks (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → String Source #

type Rep (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (OneEraPerasVotingCommitteeScheme xs) = D1 ('MetaData "OneEraPerasVotingCommitteeScheme" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommitteeScheme" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommitteeScheme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommitteeScheme xs))))
newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) = OneEraPerasVotingCommittee {}
type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs))))

data family VotingCommittee crypto committee Source #

Structure storing the voting committee context

NOTE: This data family is defined outside of the CryptoSupportsVotingCommittee class so that it can be instantiated for the HFC block without having to provide an instance of the whole class (because for HFC, we dispatch to a concrete era first so none of the methods/types of the class would actually be used).

Instances

Instances details
CanHardFork xs ⇒ FromCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

Hand-written rather than deriving via SerialiseNS: that derivation needs All (Compose Serialise WrapPerasVotingCommittee) xs, which GHC cannot solve from the CanHardFork xs (i.e. All SingleEraBlock xs) context for an abstract xs. We instead build the per-era codecs with hcpure proxySingle, where each era's Serialise (WrapPerasVotingCommittee blk) is reachable from SingleEraBlock blk via its StateSupportsPerasEpochContext superclass, and feed them to encodeNS and decodeNS, producing the same wire format a SerialiseNS derivation would.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

fromCBOR ∷ Decoder s (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source #

label ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Text Source #

Typeable blk ⇒ FromCBOR (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

fromCBOR ∷ Decoder s (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source #

label ∷ Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → Text Source #

(Typeable crypto, FromCBOR (PublicKey crypto)) ⇒ FromCBOR (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto EveryoneVotes) Source #

label ∷ Proxy (VotingCommittee crypto EveryoneVotes) → Text Source #

(Typeable crypto, FromCBOR (PublicKey crypto)) ⇒ FromCBOR (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto WFALS) Source #

label ∷ Proxy (VotingCommittee crypto WFALS) → Text Source #

(Typeable crypto, Typeable blk) ⇒ FromCBOR (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

fromCBOR ∷ Decoder s (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source #

label ∷ Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → Text Source #

CanHardFork xs ⇒ ToCBOR (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

toCBOR ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → Size Source #

Typeable blk ⇒ ToCBOR (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

toCBOR ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → Size Source #

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

(Typeable crypto, ToCBOR (PublicKey crypto)) ⇒ ToCBOR (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

toCBOR ∷ VotingCommittee crypto EveryoneVotes → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee crypto EveryoneVotes) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee crypto EveryoneVotes] → Size Source #

(Typeable crypto, ToCBOR (PublicKey crypto)) ⇒ ToCBOR (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

toCBOR ∷ VotingCommittee crypto WFALS → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee crypto WFALS) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VotingCommittee crypto WFALS] → Size Source #

(Typeable crypto, Typeable blk) ⇒ ToCBOR (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toCBOR ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → Size Source #

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

CanHardFork xs ⇒ Eq (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool #

(/=) ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Bool #

Eq (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

(==) ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Bool #

(/=) ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Bool #

Eq (PublicKey crypto) ⇒ Eq (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

(==) ∷ VotingCommittee crypto EveryoneVotes → VotingCommittee crypto EveryoneVotes → Bool #

(/=) ∷ VotingCommittee crypto EveryoneVotes → VotingCommittee crypto EveryoneVotes → Bool #

Eq (PublicKey crypto) ⇒ Eq (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

(==) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → Bool #

(/=) ∷ VotingCommittee crypto WFALS → VotingCommittee crypto WFALS → Bool #

Eq (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

(==) ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Bool #

(/=) ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Bool #

Generic (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs))))

Methods

from ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x #

to ∷ Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) x → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) #

Generic (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Associated Types

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) = Rep Void

Methods

from ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) x #

to ∷ Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) x → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme #

Generic (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Associated Types

type Rep (VotingCommittee crypto EveryoneVotes) 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

type Rep (VotingCommittee crypto EveryoneVotes) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.Committee.EveryoneVotes" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EveryoneVotesVotingCommittee" 'PrefixI 'True) ((S1 ('MetaSel ('Just "extWFAStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))) :*: S1 ('MetaSel ('Just "candidateSeats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PoolId SeatIndex))) :*: (S1 ('MetaSel ('Just "numActiveVoters") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumPoolsWithPositiveStake) :*: S1 ('MetaSel ('Just "totalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalStake))))

Methods

from ∷ VotingCommittee crypto EveryoneVotes → Rep (VotingCommittee crypto EveryoneVotes) x #

to ∷ Rep (VotingCommittee crypto EveryoneVotes) x → VotingCommittee crypto EveryoneVotes #

Generic (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Associated Types

type Rep (VotingCommittee crypto WFALS) 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

type Rep (VotingCommittee crypto WFALS) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.Committee.WFALS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "WFALSVotingCommittee" 'PrefixI 'True) ((S1 ('MetaSel ('Just "extWFAStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))) :*: (S1 ('MetaSel ('Just "candidateSeats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PoolId SeatIndex)) :*: S1 ('MetaSel ('Just "persistentCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PersistentCommitteeSize))) :*: ((S1 ('MetaSel ('Just "nonPersistentCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonPersistentCommitteeSize) :*: S1 ('MetaSel ('Just "totalPersistentStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalPersistentStake)) :*: (S1 ('MetaSel ('Just "totalNonPersistentStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalNonPersistentStake) :*: S1 ('MetaSel ('Just "epochNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))))

Methods

from ∷ VotingCommittee crypto WFALS → Rep (VotingCommittee crypto WFALS) x #

to ∷ Rep (VotingCommittee crypto WFALS) x → VotingCommittee crypto WFALS #

Generic (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Associated Types

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) = Rep (NonEmpty (PoolId, VoteWeight))

Methods

from ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) x #

to ∷ Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) x → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) #

CanHardFork xs ⇒ Show (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → ShowS #

show ∷ VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → String #

showList ∷ [VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)] → ShowS #

Show (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

showsPrec ∷ Int → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → ShowS #

show ∷ VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → String #

showList ∷ [VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme] → ShowS #

Show (PublicKey crypto) ⇒ Show (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

showsPrec ∷ Int → VotingCommittee crypto EveryoneVotes → ShowS #

show ∷ VotingCommittee crypto EveryoneVotes → String #

showList ∷ [VotingCommittee crypto EveryoneVotes] → ShowS #

Show (PublicKey crypto) ⇒ Show (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

showsPrec ∷ Int → VotingCommittee crypto WFALS → ShowS #

show ∷ VotingCommittee crypto WFALS → String #

showList ∷ [VotingCommittee crypto WFALS] → ShowS #

Show (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

showsPrec ∷ Int → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → ShowS #

show ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → String #

showList ∷ [VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)] → ShowS #

CanHardFork xs ⇒ NoThunks (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → String Source #

NoThunks (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

Methods

noThunks ∷ Context → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → String Source #

NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

Methods

noThunks ∷ Context → VotingCommittee crypto EveryoneVotes → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee crypto EveryoneVotes → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee crypto EveryoneVotes) → String Source #

NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

Methods

noThunks ∷ Context → VotingCommittee crypto WFALS → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee crypto WFALS → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee crypto WFALS) → String Source #

NoThunks (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

noThunks ∷ Context → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → String Source #

data VotingCommittee crypto EveryoneVotes Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

data VotingCommittee crypto EveryoneVotes = EveryoneVotesVotingCommittee {}
data VotingCommittee crypto WFALS Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

data VotingCommittee crypto WFALS = WFALSVotingCommittee {}
newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

newtype VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) = MockPerasVotingCommittee {}
newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

newtype VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme = VoidPerasVotingCommittee Void
newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtype VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) = OneEraPerasVotingCommittee {}
type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "OneEraPerasVotingCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOneEraPerasVotingCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NS WrapPerasVotingCommittee xs))))
type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Void

type Rep (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) = Rep Void
type Rep (VotingCommittee crypto EveryoneVotes) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.EveryoneVotes

type Rep (VotingCommittee crypto EveryoneVotes) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.Committee.EveryoneVotes" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EveryoneVotesVotingCommittee" 'PrefixI 'True) ((S1 ('MetaSel ('Just "extWFAStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))) :*: S1 ('MetaSel ('Just "candidateSeats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PoolId SeatIndex))) :*: (S1 ('MetaSel ('Just "numActiveVoters") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumPoolsWithPositiveStake) :*: S1 ('MetaSel ('Just "totalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalStake))))
type Rep (VotingCommittee crypto WFALS) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.WFALS

type Rep (VotingCommittee crypto WFALS) = D1 ('MetaData "VotingCommittee" "Ouroboros.Consensus.Committee.WFALS" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "WFALSVotingCommittee" 'PrefixI 'True) ((S1 ('MetaSel ('Just "extWFAStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExtWFAStakeDistr (PublicKey crypto))) :*: (S1 ('MetaSel ('Just "candidateSeats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map PoolId SeatIndex)) :*: S1 ('MetaSel ('Just "persistentCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PersistentCommitteeSize))) :*: ((S1 ('MetaSel ('Just "nonPersistentCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonPersistentCommitteeSize) :*: S1 ('MetaSel ('Just "totalPersistentStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalPersistentStake)) :*: (S1 ('MetaSel ('Just "totalNonPersistentStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TotalNonPersistentStake) :*: S1 ('MetaSel ('Just "epochNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))))
type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

type Rep (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) = Rep (NonEmpty (PoolId, VoteWeight))

Serialisation of n-ary sums

decodeNS ∷ ∀ {k} (xs ∷ [k]) (f ∷ k → Type) s. SListI xs ⇒ NP (Decoder s :.: f) xs → Decoder s (NS f xs) Source #

encodeNS ∷ ∀ {k} (xs ∷ [k]) (f ∷ k → Type). SListI xs ⇒ NP (f -.-> (K Encoding ∷ k → Type)) xs → NS f xs → Encoding Source #

Value for two different eras

data EraMismatch Source #

Extra info for errors caused by applying a block, header, transaction, or query from one era to a ledger from a different era.

Constructors

EraMismatch 

Fields

Instances

Instances details
Eq EraMismatch Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ EraMismatch → EraMismatch → Bool #

(/=) ∷ EraMismatch → EraMismatch → Bool #

Generic EraMismatch Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep EraMismatch 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

Methods

from ∷ EraMismatch → Rep EraMismatch x #

to ∷ Rep EraMismatch x → EraMismatch #

Show EraMismatch Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → EraMismatch → ShowS #

show ∷ EraMismatch → String #

showList ∷ [EraMismatch] → ShowS #

type Rep EraMismatch Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

newtype MismatchEraInfo (xs ∷ [Type]) Source #

Constructors

MismatchEraInfo 

Fields

Instances

Instances details
All SingleEraBlock xs ⇒ Eq (MismatchEraInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool #

(/=) ∷ MismatchEraInfo xs → MismatchEraInfo xs → Bool #

All SingleEraBlock xs ⇒ Show (MismatchEraInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec ∷ Int → MismatchEraInfo xs → ShowS #

show ∷ MismatchEraInfo xs → String #

showList ∷ [MismatchEraInfo xs] → ShowS #

CanHardFork xs ⇒ NoThunks (MismatchEraInfo xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

noThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (MismatchEraInfo xs) → String Source #

mismatchFutureEra ∷ ∀ (xs ∷ [Type]) x. SListI xs ⇒ MismatchEraInfo (x ': xs) → NS SingleEraInfo xs Source #

A mismatch _must_ involve a future era

mismatchOneEra ∷ MismatchEraInfo '[b] → Void Source #

mkEraMismatch ∷ ∀ (xs ∷ [Type]). SListI xs ⇒ MismatchEraInfo xs → EraMismatch Source #

When a transaction or block from a certain era was applied to a ledger from another era, we get a MismatchEraInfo.

Given such a MismatchEraInfo, return the name of the era of the transaction/block and the name of the era of the ledger.

Utility

getSameValue ∷ ∀ {k} (xs ∷ [k]) a. (IsNonEmpty xs, Eq a, SListI xs, HasCallStack) ⇒ NP (K a ∷ k → Type) xs → a Source #

oneEraBlockHeader ∷ ∀ (xs ∷ [Type]). CanHardFork xs ⇒ OneEraBlock xs → OneEraHeader xs Source #

Orphan instances