Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Node.Praos

Contents

BlockForging
ProtocolInfo

Synopsis

praosBlockForging ∷ ∀ m era c. (ShelleyCompatible (Praos c) era, c ~ EraCrypto era, TxLimits (ShelleyBlock (Praos c) era), IOLike m) ⇒ PraosParams → TxOverrides (ShelleyBlock (Praos c) era) → ShelleyLeaderCredentials (EraCrypto era) → m (BlockForging m (ShelleyBlock (Praos c) era))
praosSharedBlockForging ∷ ∀ m c era. (ShelleyEraWithCrypto c (Praos c) era, IOLike m) ⇒ HotKey c m → (SlotNo → KESPeriod) → ShelleyLeaderCredentials c → TxOverrides (ShelleyBlock (Praos c) era) → BlockForging m (ShelleyBlock (Praos c) era)
data family ProtocolParams blk

BlockForging

praosBlockForging ∷ ∀ m era c. (ShelleyCompatible (Praos c) era, c ~ EraCrypto era, TxLimits (ShelleyBlock (Praos c) era), IOLike m) ⇒ PraosParams → TxOverrides (ShelleyBlock (Praos c) era) → ShelleyLeaderCredentials (EraCrypto era) → m (BlockForging m (ShelleyBlock (Praos c) era)) Source #

Create a BlockForging record for a single era.

praosSharedBlockForging ∷ ∀ m c era. (ShelleyEraWithCrypto c (Praos c) era, IOLike m) ⇒ HotKey c m → (SlotNo → KESPeriod) → ShelleyLeaderCredentials c → TxOverrides (ShelleyBlock (Praos c) era) → BlockForging m (ShelleyBlock (Praos c) era) Source #

Create a BlockForging record safely using the given Hotkey.

The name of the era (separated by a _) will be appended to each forgeLabel.

ProtocolInfo

data family ProtocolParams blk Source #

Instances

Instances details

data ProtocolParams ByronBlock Source #	Parameters needed to run Byron
Instance details Defined in Ouroboros.Consensus.Byron.Node data ProtocolParams ByronBlock = ProtocolParamsByron { byronGenesis ∷ Config byronPbftSignatureThreshold ∷ Maybe PBftSignatureThreshold byronProtocolVersion ∷ ProtocolVersion byronSoftwareVersion ∷ SoftwareVersion byronLeaderCredentials ∷ Maybe ByronLeaderCredentials byronMaxTxCapacityOverrides ∷ TxOverrides ByronBlock }
data ProtocolParams (CardanoBlock c) Source #	Parameters needed to run Cardano.
Instance details Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano { cardanoProtocolParamsPerEra ∷ PerEraProtocolParams (CardanoEras c) shelleyBasedProtocolParams ∷ ProtocolParamsShelleyBased c cardanoHardForkTriggers ∷ CardanoHardForkTriggers cardanoLedgerTransitionConfig ∷ TransitionConfig (LatestKnownEra c) cardanoCheckpoints ∷ CheckpointsMap (CardanoBlock c) }
data ProtocolParams (ShelleyBlock (Praos c) (BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Praos data ProtocolParams (ShelleyBlock (Praos c) (BabbageEra c)) = ProtocolParamsBabbage { babbageProtVer ∷ ProtVer babbageMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (Praos c) (BabbageEra c)) }
data ProtocolParams (ShelleyBlock (Praos c) (ConwayEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Praos data ProtocolParams (ShelleyBlock (Praos c) (ConwayEra c)) = ProtocolParamsConway { conwayProtVer ∷ ProtVer conwayMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (Praos c) (ConwayEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (AllegraEra c)) Source #	Parameters needed to run Allegra
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (AllegraEra c)) = ProtocolParamsAllegra { allegraProtVer ∷ ProtVer allegraMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (AllegraEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (AlonzoEra c)) Source #	Parameters needed to run Alonzo
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (AlonzoEra c)) = ProtocolParamsAlonzo { alonzoProtVer ∷ ProtVer alonzoMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (AlonzoEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (MaryEra c)) Source #	Parameters needed to run Mary
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (MaryEra c)) = ProtocolParamsMary { maryProtVer ∷ ProtVer maryMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (MaryEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) Source #	Parameters needed to run Shelley
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) = ProtocolParamsShelley { shelleyProtVer ∷ ProtVer shelleyMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (ShelleyEra c)) }