Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Api.Protocol.Types

Synopsis

data BlockType blk where
- ByronBlockType :: BlockType ByronBlockHFC
- ShelleyBlockType :: BlockType (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley)
- CardanoBlockType :: BlockType (CardanoBlock StandardCrypto)
class (RunNode blk, IOLike m) => Protocol m blk where
- data ProtocolInfoArgs m blk
- protocolInfo :: ProtocolInfoArgs m blk -> (ProtocolInfo blk, m [BlockForging m blk])
class RunNode blk => ProtocolClient blk where
- data ProtocolClientInfoArgs blk
- protocolClientInfo :: ProtocolClientInfoArgs blk -> ProtocolClientInfo blk

Documentation

data BlockType blk where Source #

Constructors

ByronBlockType :: BlockType ByronBlockHFC
ShelleyBlockType :: BlockType (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley)
CardanoBlockType :: BlockType (CardanoBlock StandardCrypto)

Instances details

Show (BlockType blk) Source #
Instance details Defined in Cardano.Api.Protocol.Types Methods showsPrec :: Int -> BlockType blk -> ShowS Source # show :: BlockType blk -> String Source # showList :: [BlockType blk] -> ShowS Source #
Eq (BlockType blk) Source #
Instance details Defined in Cardano.Api.Protocol.Types Methods (==) :: BlockType blk -> BlockType blk -> Bool Source # (/=) :: BlockType blk -> BlockType blk -> Bool Source #

class (RunNode blk, IOLike m) => Protocol m blk where Source #

Associated Types

Methods

protocolInfo :: ProtocolInfoArgs m blk -> (ProtocolInfo blk, m [BlockForging m blk]) Source #

Instances details

IOLike m => Protocol m ByronBlockHFC Source #	Run PBFT against the Byron ledger
Instance details Defined in Cardano.Api.Protocol.Types Associated Types data ProtocolInfoArgs m ByronBlockHFC Source # Methods protocolInfo :: ProtocolInfoArgs m ByronBlockHFC -> (ProtocolInfo ByronBlockHFC, m [BlockForging m ByronBlockHFC]) Source #
(CardanoHardForkConstraints StandardCrypto, IOLike m) => Protocol m (CardanoBlock StandardCrypto) Source #
Instance details Defined in Cardano.Api.Protocol.Types Associated Types data ProtocolInfoArgs m (CardanoBlock StandardCrypto) Source # Methods protocolInfo :: ProtocolInfoArgs m (CardanoBlock StandardCrypto) -> (ProtocolInfo (CardanoBlock StandardCrypto), m [BlockForging m (CardanoBlock StandardCrypto)]) Source #
(IOLike m, LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) (ShelleyEra StandardCrypto))) => Protocol m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source #
Instance details Defined in Cardano.Api.Protocol.Types Associated Types data ProtocolInfoArgs m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # Methods protocolInfo :: ProtocolInfoArgs m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) -> (ProtocolInfo (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley), m [BlockForging m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley)]) Source #

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.

Associated Types

Methods

Instances details

ProtocolClient ByronBlockHFC Source #
Instance details Defined in Cardano.Api.Protocol.Types Associated Types data ProtocolClientInfoArgs ByronBlockHFC Source # Methods protocolClientInfo :: ProtocolClientInfoArgs ByronBlockHFC -> ProtocolClientInfo ByronBlockHFC Source #
CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto) Source #
Instance details Defined in Cardano.Api.Protocol.Types Associated Types data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) Source # Methods protocolClientInfo :: ProtocolClientInfoArgs (CardanoBlock StandardCrypto) -> ProtocolClientInfo (CardanoBlock StandardCrypto) Source #
LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) (ShelleyEra StandardCrypto)) => ProtocolClient (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source #
Instance details Defined in Cardano.Api.Protocol.Types Associated Types data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # Methods protocolClientInfo :: ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) -> ProtocolClientInfo (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source #