Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data BlockType blk where
-
class
(
RunNode
blk,
IOLike
m) =>
Protocol
m blk
where
- data ProtocolInfoArgs m blk
- protocolInfo :: ProtocolInfoArgs m blk -> ProtocolInfo m blk
-
class
RunNode
blk =>
ProtocolClient
blk
where
- data ProtocolClientInfoArgs blk
- protocolClientInfo :: ProtocolClientInfoArgs blk -> ProtocolClientInfo blk
Documentation
data BlockType blk where Source #
ByronBlockType :: BlockType ByronBlockHFC | |
ShelleyBlockType :: BlockType ( ShelleyBlockHFC ( TPraos StandardCrypto ) StandardShelley ) | |
CardanoBlockType :: BlockType ( CardanoBlock StandardCrypto ) |
class ( RunNode blk, IOLike m) => Protocol m blk where Source #
data ProtocolInfoArgs m blk Source #
protocolInfo :: ProtocolInfoArgs m blk -> ProtocolInfo m blk Source #
Instances
class RunNode blk => ProtocolClient blk where Source #
Node client support for each consensus protocol.
This is like
Protocol
but for clients of the node, so with less onerous
requirements than to run a node.
data ProtocolClientInfoArgs blk Source #
protocolClientInfo :: ProtocolClientInfoArgs blk -> ProtocolClientInfo blk Source #