Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Config

4 types
11 values

Packageouroboros-consensus-4.2.1.0
Exports15
LicenceApache-2.0

valuecastCheckpointsMap

:: Coercible (HeaderHash blk) (HeaderHash blk')
=> CheckpointsMap blk
-> CheckpointsMap blk'

valuecastTopLevelConfig

:: (Coercible (ConsensusConfig (BlockProtocol blk)) (ConsensusConfig (BlockProtocol blk')), LedgerConfig blk ~ LedgerConfig blk', Coercible (BlockConfig blk) (BlockConfig blk'), Coercible (CodecConfig blk) (CodecConfig blk'), Coercible (StorageConfig blk) (StorageConfig blk'), Coercible (HeaderHash blk) (HeaderHash blk'))
=> TopLevelConfig blk
-> TopLevelConfig blk'

valueconfigBlock :: TopLevelConfig blk -> BlockConfig blk

valueconfigCodec :: TopLevelConfig blk -> CodecConfig blk

valueconfigConsensus :: TopLevelConfig blk -> ConsensusConfig (BlockProtocol blk)

valueconfigLedger :: TopLevelConfig blk -> LedgerConfig blk

valueconfigSecurityParam

:: ConsensusProtocol (BlockProtocol blk)
=> TopLevelConfig blk
-> SecurityParam

valueconfigStorage :: TopLevelConfig blk -> StorageConfig blk

valueemptyCheckpointsMap :: CheckpointsMap blk

valuemkTopLevelConfig

:: ConsensusConfig (BlockProtocol blk)
-> LedgerConfig blk
-> BlockConfig blk
-> CodecConfig blk
-> StorageConfig blk
-> CheckpointsMap blk
-> TopLevelConfig blk

valuemaxRollbackWeight :: SecurityParam -> PerasWeight

newtypenewtype CheckpointsMap blk

Constructors

CheckpointsMap
- unCheckpointsMap :: Map BlockNo (HeaderHash blk)

Instances5Generic, Semigroup, Monoid, NoThunks, Rep

Generic (CheckpointsMap blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
Semigroup (CheckpointsMap blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
Monoid (CheckpointsMap blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
NoThunks (HeaderHash blk) => NoThunks (CheckpointsMap blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
type Rep (CheckpointsMap blk) = D1 ('MetaData "CheckpointsMap" "Ouroboros.Consensus.Config" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "CheckpointsMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCheckpointsMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map BlockNo (HeaderHash blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config

datadata DiffusionPipeliningSupport

DiffusionPipeliningOn DiffusionPipeliningOff

Instances1Show

Show DiffusionPipeliningSupportDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config

datadata TopLevelConfig blk

Constructors

TopLevelConfig
- topLevelConfigProtocol :: !ConsensusConfig (BlockProtocol blk)
- topLevelConfigLedger :: !LedgerConfig blk
- topLevelConfigBlock :: !BlockConfig blk
- topLevelConfigCodec :: !CodecConfig blk
- topLevelConfigStorage :: !StorageConfig blk
- topLevelConfigCheckpoints :: !CheckpointsMap blk

Instances4Isomorphic, Generic, NoThunks, Rep

Isomorphic TopLevelConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (TopLevelConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
(ConsensusProtocol (BlockProtocol blk), NoThunks (LedgerConfig blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) => NoThunks (TopLevelConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
type Rep (TopLevelConfig blk) = D1 ('MetaData "TopLevelConfig" "Ouroboros.Consensus.Config" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "TopLevelConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "topLevelConfigProtocol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConsensusConfig (BlockProtocol blk))) :*: (S1 ('MetaSel ('Just "topLevelConfigLedger") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerConfig blk)) :*: S1 ('MetaSel ('Just "topLevelConfigBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlockConfig blk)))) :*: (S1 ('MetaSel ('Just "topLevelConfigCodec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig blk)) :*: (S1 ('MetaSel ('Just "topLevelConfigStorage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig blk)) :*: S1 ('MetaSel ('Just "topLevelConfigCheckpoints") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CheckpointsMap blk))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config

newtypenewtype SecurityParam

Constructors

SecurityParam
- maxRollbacks :: NonZero Word64

Instances7Eq, Show, Generic, NoThunks, FromCBOR, ToCBOR, …

Eq SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
Show SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
Generic SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
NoThunks SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
FromCBOR SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
ToCBOR SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
type Rep SecurityParam = D1 ('MetaData "SecurityParam" "Ouroboros.Consensus.Config.SecurityParam" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "SecurityParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "maxRollbacks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonZero Word64))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam