| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Cardano
Synopsis
- type CardanoBlock c = HardForkBlock (CardanoEras c)
- type ProtocolByron = HardForkProtocol '[ByronBlock]
- type ProtocolCardano = HardForkProtocol '[ByronBlock, ShelleyBlock (TPraos StandardCrypto) StandardShelley, ShelleyBlock (TPraos StandardCrypto) StandardAllegra, ShelleyBlock (TPraos StandardCrypto) StandardMary, ShelleyBlock (TPraos StandardCrypto) StandardAlonzo, ShelleyBlock (Praos StandardCrypto) StandardBabbage, ShelleyBlock (Praos StandardCrypto) StandardConway]
- type ProtocolShelley = HardForkProtocol '[ShelleyBlock (TPraos StandardCrypto) StandardShelley]
- newtype CardanoHardForkTriggers where
- module Ouroboros.Consensus.Shelley.Node
- module Ouroboros.Consensus.Byron.Node
The block type of the Cardano block chain
type CardanoBlock c = HardForkBlock (CardanoEras c) Source #
The Cardano block.
Thanks to the pattern synonyms, you can treat this as a sum type with
constructors BlockByron, BlockShelley, etc.
f :: CardanoBlock c -> _ f (BlockByron b) = _ f (BlockShelley s) = _ f (BlockAllegra a) = _ f (BlockMary m) = _ f (BlockAlonzo m) = _
Supported protocols
type ProtocolByron = HardForkProtocol '[ByronBlock] Source #
type ProtocolCardano = HardForkProtocol '[ByronBlock, ShelleyBlock (TPraos StandardCrypto) StandardShelley, ShelleyBlock (TPraos StandardCrypto) StandardAllegra, ShelleyBlock (TPraos StandardCrypto) StandardMary, ShelleyBlock (TPraos StandardCrypto) StandardAlonzo, ShelleyBlock (Praos StandardCrypto) StandardBabbage, ShelleyBlock (Praos StandardCrypto) StandardConway] Source #
type ProtocolShelley = HardForkProtocol '[ShelleyBlock (TPraos StandardCrypto) StandardShelley] Source #
Abstract over the various protocols
newtype CardanoHardForkTriggers Source #
Constructors
| CardanoHardForkTriggers | |
Bundled Patterns
| pattern CardanoHardForkTriggers' ∷ TriggerHardFork → TriggerHardFork → TriggerHardFork → TriggerHardFork → TriggerHardFork → TriggerHardFork → CardanoHardForkTriggers |