ouroboros-consensus-cardano-0.25.0.1: The instantation of the Ouroboros consensus layer used by Cardano

Safe Haskell	None
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 Source #

parseJSONList ∷ Value → Parser [Protocol] Source #

omittedField ∷ Maybe Protocol Source #

NFData Protocol Source #

Instance details

Defined in Cardano.Node.Protocol.Types

Methods

rnf ∷ Protocol → () #

Generic Protocol Source #

Instance details

Defined in Cardano.Node.Protocol.Types

Associated Types

type Rep Protocol

Instance details

Defined in Cardano.Node.Protocol.Types

type Rep Protocol = D1 ('MetaData "Protocol" "Cardano.Node.Protocol.Types" "ouroboros-consensus-cardano-0.25.0.1-inplace-unstable-cardano-tools" '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)))

Methods

from ∷ Protocol → Rep Protocol x #

to ∷ Rep Protocol x → Protocol #

Show Protocol Source #

Instance details

Defined in Cardano.Node.Protocol.Types

Methods

showsPrec ∷ Int → Protocol → ShowS #

show ∷ Protocol → String #

showList ∷ [Protocol] → ShowS #

Eq Protocol Source #

Instance details

Defined in Cardano.Node.Protocol.Types

Methods

(==) ∷ Protocol → Protocol → Bool #

(/=) ∷ Protocol → Protocol → Bool #

NoThunks Protocol Source #

Instance details

Defined in Cardano.Node.Protocol.Types

Methods

noThunks ∷ Context → Protocol → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Protocol → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Protocol → String Source #

type Rep Protocol Source #

Instance details

Defined in Cardano.Node.Protocol.Types

type Rep Protocol = D1 ('MetaData "Protocol" "Cardano.Node.Protocol.Types" "ouroboros-consensus-cardano-0.25.0.1-inplace-unstable-cardano-tools" '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 ⇒ BlockType blk → ProtocolInfoArgs IO blk → SomeConsensusProtocol