ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.HardFork.Combinator.Info

Contents

Synopsis

Era info

newtype LedgerEraInfo blk Source #

Additional newtype wrapper around SingleEraInfo

This is primarily useful for use in error messages: it marks which era info came from the ledger, and which came from a txblockheader/etc.

Constructors

LedgerEraInfo 

Instances

Instances details
Eq (LedgerEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

(==)LedgerEraInfo blk → LedgerEraInfo blk → Bool Source #

(/=)LedgerEraInfo blk → LedgerEraInfo blk → Bool Source #

Show (LedgerEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Serialise (LedgerEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

encodeLedgerEraInfo blk → Encoding #

decode ∷ Decoder s (LedgerEraInfo blk) #

encodeList ∷ [LedgerEraInfo blk] → Encoding #

decodeList ∷ Decoder s [LedgerEraInfo blk] #

NoThunks (LedgerEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

noThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (LedgerEraInfo blk) → String #

data SingleEraInfo blk Source #

Information about an era (mostly for type errors)

Constructors

SingleEraInfo 

Fields

Instances

Instances details
Eq (SingleEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

(==)SingleEraInfo blk → SingleEraInfo blk → Bool Source #

(/=)SingleEraInfo blk → SingleEraInfo blk → Bool Source #

Show (SingleEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Generic (SingleEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Associated Types

type Rep (SingleEraInfo blk) ∷ TypeType Source #

Methods

fromSingleEraInfo blk → Rep (SingleEraInfo blk) x Source #

toRep (SingleEraInfo blk) x → SingleEraInfo blk Source #

Serialise (SingleEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

encodeSingleEraInfo blk → Encoding #

decode ∷ Decoder s (SingleEraInfo blk) #

encodeList ∷ [SingleEraInfo blk] → Encoding #

decodeList ∷ Decoder s [SingleEraInfo blk] #

NoThunks (SingleEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

noThunks ∷ Context → SingleEraInfo blk → IO (Maybe ThunkInfo) #

wNoThunks ∷ Context → SingleEraInfo blk → IO (Maybe ThunkInfo) #

showTypeOfProxy (SingleEraInfo blk) → String #

type Rep (SingleEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

type Rep (SingleEraInfo blk) = D1 ('MetaData "SingleEraInfo" "Ouroboros.Consensus.HardFork.Combinator.Info" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SingleEraInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "singleEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))