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

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 #

(/=) :: SingleEraInfo blk -> SingleEraInfo blk -> Bool #

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 #

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 #

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

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

Instances

Instances details
Eq (LedgerEraInfo blk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Info

Methods

(==) :: LedgerEraInfo blk -> LedgerEraInfo blk -> Bool #

(/=) :: LedgerEraInfo blk -> LedgerEraInfo blk -> Bool #

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 #

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 #