cardano-node-8.7.2: The cardano full node
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Node.Protocol.Types

Documentation

data Protocol Source #

Constructors

CardanoProtocol 

Instances

Instances details
FromJSON Protocol Source # 
Instance details

Defined in Cardano.Node.Protocol.Types

Methods

parseJSON :: Value -> Parser Protocol

parseJSONList :: Value -> Parser [Protocol]

omittedField :: Maybe 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-8.7.2-J48sTm7zM1ILYN8ovLbDl2" 'False) (C1 ('MetaCons "CardanoProtocol" 'PrefixI 'False) (U1 :: Type -> Type))

data SomeConsensusProtocol where Source #

Constructors

SomeConsensusProtocol :: forall blk. (Protocol IO blk, HasKESMetricsData blk, HasKESInfo blk, TraceConstraints blk) => BlockType blk -> ProtocolInfoArgs blk -> SomeConsensusProtocol