Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.PartialConfig

5 types
2 classes

Packageouroboros-consensus-4.2.1.0
Exports7
LicenceApache-2.0
SourceExcept.hs

datadata EpochInfo (m :: Type -> Type)

Constructors

EpochInfo
- epochInfoSize_ :: HasCallStack => EpochNo -> m EpochSize
- epochInfoFirst_ :: HasCallStack => EpochNo -> m SlotNo
- epochInfoEpoch_ :: HasCallStack => SlotNo -> m EpochNo
- epochInfoSlotToRelativeTime_ :: HasCallStack => SlotNo -> m RelativeTime
- epochInfoSlotLength_ :: HasCallStack => SlotNo -> m SlotLength

Instances2Show, NoThunks

Show (EpochInfo f)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.EpochInfo.API
NoThunks (EpochInfo m)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.EpochInfo.API

classclass (ConsensusProtocol p, NoThunks (PartialConsensusConfig p)) => HasPartialConsensusConfig p where

Associated types

type family PartialConsensusConfig p

Methods

completeConsensusConfig :: proxy p -> EpochInfo (Except PastHorizonException) -> PartialConsensusConfig p -> ConsensusConfig p
toPartialConsensusConfig :: proxy p -> ConsensusConfig p -> PartialConsensusConfig p

class

class (UpdateLedger blk, Show (PartialLedgerConfig blk), NoThunks (PartialLedgerConfig blk)) => HasPartialLedgerConfig blk where

Associated types

type family PartialLedgerConfig blk

Methods

completeLedgerConfig :: proxy blk -> EpochInfo (Except PastHorizonException) -> PartialLedgerConfig blk -> LedgerConfig blk

Instances1HasPartialLedgerConfig

Bridge m a => HasPartialLedgerConfig (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

newtypenewtype WrapPartialConsensusConfig blk

Constructors

WrapPartialConsensusConfig
- unwrapPartialConsensusConfig :: PartialConsensusConfig (BlockProtocol blk)

Instances1NoThunks

NoThunks (PartialConsensusConfig (BlockProtocol blk)) => NoThunks (WrapPartialConsensusConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.PartialConfig

newtypenewtype WrapPartialLedgerConfig blk

Constructors

WrapPartialLedgerConfig
- unwrapPartialLedgerConfig :: PartialLedgerConfig blk

Instances3SerialiseNodeToClient, Show, NoThunks

SerialiseNodeToClient blk (PartialLedgerConfig blk) => SerialiseNodeToClient blk (WrapPartialLedgerConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.PartialConfig
Show (PartialLedgerConfig xs) => Show (WrapPartialLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras · orphan
NoThunks (PartialLedgerConfig blk) => NoThunks (WrapPartialLedgerConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.PartialConfig

datadata PastHorizonException

Instances2Show, Exception

Show PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Exception PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry

typetype Except e = ExceptT e Identity

The parameterizable exception monad.

Computations are either exceptions (of any type) or normal values. These computations are plain values, and are unrelated to the Control.Exception mechanism, which is tied to the IO monad.

The return function returns a normal value, while >>= exits on the first exception. For a variant that continues after an error and collects all the errors, see Errors.