cardano-node-1.36.0: The cardano full node

Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Node.Protocol.Types

Documentation

data Protocol Source #

Constructors

ByronProtocol
ShelleyProtocol
CardanoProtocol

Instances

Instances details

FromJSON Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types Methods parseJSON ∷ Value → Parser Protocol # parseJSONList ∷ Value → Parser [Protocol] #
Generic Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types Associated Types type Rep Protocol ∷ Type → Type Source # Methods from ∷ Protocol → Rep Protocol x Source # to ∷ Rep Protocol x → Protocol Source #
Show Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types Methods showsPrec ∷ Int → Protocol → ShowS Source # show ∷ Protocol → String Source # showList ∷ [Protocol] → ShowS Source #
NFData Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types Methods rnf ∷ Protocol → () Source #
Eq Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types Methods (==) ∷ Protocol → Protocol → Bool Source # (/=) ∷ Protocol → Protocol → Bool Source #
NoThunks Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types Methods noThunks ∷ Context → Protocol → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Protocol → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Protocol → String
type Rep Protocol Source #
Instance details Defined in Cardano.Node.Protocol.Types type Rep Protocol = D1 ('MetaData "Protocol" "Cardano.Node.Protocol.Types" "cardano-node-1.36.0-inplace" 'False) (C1 ('MetaCons "ByronProtocol" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ShelleyProtocol" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CardanoProtocol" 'PrefixI 'False) (U1 ∷ Type → Type)))

data SomeConsensusProtocol where Source #

Constructors

SomeConsensusProtocol ∷ ∀ blk. (Protocol IO blk, HasKESMetricsData blk, HasKESInfo blk, TraceConstraints blk) ⇒ BlockType blk → ProtocolInfoArgs IO blk → SomeConsensusProtocol