ouroboros-consensus-cardano-0.16.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Api.Protocol.Types

Synopsis

Documentation

data BlockType blk where Source #

Constructors

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

Instances

Instances details
Show (BlockType blk) Source # 
Instance details

Defined in Cardano.Api.Protocol.Types

Methods

showsPrec ∷ Int → BlockType blk → ShowS #

show ∷ BlockType blk → String #

showList ∷ [BlockType blk] → ShowS #

Eq (BlockType blk) Source # 
Instance details

Defined in Cardano.Api.Protocol.Types

Methods

(==) ∷ BlockType blk → BlockType blk → Bool #

(/=) ∷ BlockType blk → BlockType blk → Bool #

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

Associated Types

data ProtocolInfoArgs m blk Source #

Methods

protocolInfo ∷ ProtocolInfoArgs m blk → (ProtocolInfo blk, m [BlockForging m blk]) Source #

Instances

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

data ProtocolClientInfoArgs blk Source #

Methods

protocolClientInfo ∷ ProtocolClientInfoArgs blk → ProtocolClientInfo blk Source #

Instances

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 #