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 tx block header/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 #
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

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