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

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 Methods showsPrec ∷ Int → LedgerEraInfo blk → ShowS Source # show ∷ LedgerEraInfo blk → String Source # showList ∷ [LedgerEraInfo blk] → ShowS Source #
Serialise (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods encode ∷ LedgerEraInfo 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) # showTypeOf ∷ Proxy (LedgerEraInfo blk) → String #

data SingleEraInfo blk Source #

Information about an era (mostly for type errors)

Constructors

SingleEraInfo
Fields singleEraName ∷ !Text

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 Methods showsPrec ∷ Int → SingleEraInfo blk → ShowS Source # show ∷ SingleEraInfo blk → String Source # showList ∷ [SingleEraInfo blk] → ShowS Source #
Generic (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Associated Types type Rep (SingleEraInfo blk) ∷ Type → Type Source # Methods from ∷ SingleEraInfo blk → Rep (SingleEraInfo blk) x Source # to ∷ Rep (SingleEraInfo blk) x → SingleEraInfo blk Source #
Serialise (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods encode ∷ SingleEraInfo 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) # showTypeOf ∷ Proxy (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.3.1.0-inplace" 'False) (C1 ('MetaCons "SingleEraInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "singleEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))