Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Info

Contents

Era info

Synopsis

newtype LedgerEraInfo blk = LedgerEraInfo {
- getLedgerEraInfo ∷ SingleEraInfo blk
}
data SingleEraInfo blk = SingleEraInfo {
- singleEraName ∷ !Text
}

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
Fields getLedgerEraInfo ∷ SingleEraInfo blk

Instances

Instances details

Show (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods showsPrec ∷ Int → LedgerEraInfo blk → ShowS # show ∷ LedgerEraInfo blk → String # showList ∷ [LedgerEraInfo blk] → ShowS #
Eq (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods (==) ∷ LedgerEraInfo blk → LedgerEraInfo blk → Bool # (/=) ∷ LedgerEraInfo blk → LedgerEraInfo blk → Bool #
NoThunks (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods noThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerEraInfo blk) → String Source #
Serialise (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods encode ∷ LedgerEraInfo blk → Encoding Source # decode ∷ Decoder s (LedgerEraInfo blk) Source # encodeList ∷ [LedgerEraInfo blk] → Encoding Source # decodeList ∷ Decoder s [LedgerEraInfo blk] Source #

data SingleEraInfo blk Source #

Information about an era (mostly for type errors)

Constructors

SingleEraInfo
Fields singleEraName ∷ !Text

Instances

Instances details

Generic (SingleEraInfo blk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Associated Types

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

Methods

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

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

Show (SingleEraInfo blk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

showsPrec ∷ Int → SingleEraInfo blk → ShowS #

show ∷ SingleEraInfo blk → String #

showList ∷ [SingleEraInfo blk] → ShowS #

Eq (SingleEraInfo blk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

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

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

NoThunks (SingleEraInfo blk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

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

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

showTypeOf ∷ Proxy (SingleEraInfo blk) → String Source #

Serialise (SingleEraInfo blk) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

encode ∷ SingleEraInfo blk → Encoding Source #

decode ∷ Decoder s (SingleEraInfo blk) Source #

encodeList ∷ [SingleEraInfo blk] → Encoding Source #

decodeList ∷ Decoder s [SingleEraInfo blk] Source #

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.28.0.0-inplace" 'False) (C1 ('MetaCons "SingleEraInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "singleEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))