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

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] 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" "ouroboros-consensus-cardano-0.12.1.0-2rsyMdbFh4JKKTyLv1nqrz-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 :: forall blk. Protocol IO blk => BlockType blk -> ProtocolInfoArgs IO blk -> SomeConsensusProtocol