Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Api.Protocol

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 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 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 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 m blk Source #

Instances details

IOLike m ⇒ Protocol m ByronBlockHFC Source #	Run PBFT against the Byron ledger
Instance details Defined in Cardano.Api.Protocol Associated Types data ProtocolInfoArgs m ByronBlockHFC Source # Methods protocolInfo ∷ ProtocolInfoArgs m ByronBlockHFC → ProtocolInfo m ByronBlockHFC Source #
(CardanoHardForkConstraints StandardCrypto, IOLike m) ⇒ Protocol m (CardanoBlock StandardCrypto) Source #
Instance details Defined in Cardano.Api.Protocol Associated Types data ProtocolInfoArgs m (CardanoBlock StandardCrypto) Source # Methods protocolInfo ∷ ProtocolInfoArgs m (CardanoBlock StandardCrypto) → ProtocolInfo 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 Associated Types data ProtocolInfoArgs m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # Methods protocolInfo ∷ ProtocolInfoArgs m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) → ProtocolInfo 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 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 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 Associated Types data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # Methods protocolClientInfo ∷ ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) → ProtocolClientInfo (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source #