Safe Haskell	Safe-Inferred
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) ∷ Type → Type # 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.22.0.0-inplace" 'False) (C1 ('MetaCons "SingleEraInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "singleEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))