ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.Protocol.ModChainSel

Synopsis

Documentation

data ModChainSel p s Source #

Instances

Instances details
Generic ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep ( ConsensusConfig ( ModChainSel p s)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( ModChainSel p s) -> Rep ( ConsensusConfig ( ModChainSel p s)) x Source #

to :: Rep ( ConsensusConfig ( ModChainSel p s)) x -> ConsensusConfig ( ModChainSel p s) Source #

ConsensusProtocol p => NoThunks ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks :: Context -> ConsensusConfig ( ModChainSel p s) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( ModChainSel p s) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( ModChainSel p s)) -> String Source #

( ConsensusProtocol p, Ord s, Show s, Typeable p, Typeable s, NoThunks s) => ConsensusProtocol ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type ChainDepState ( ModChainSel p s) Source #

type IsLeader ( ModChainSel p s) Source #

type CanBeLeader ( ModChainSel p s) Source #

type SelectView ( ModChainSel p s) Source #

type LedgerView ( ModChainSel p s) Source #

type ValidationErr ( ModChainSel p s) Source #

type ValidateView ( ModChainSel p s) Source #

Methods

checkIsLeader :: ConsensusConfig ( ModChainSel p s) -> CanBeLeader ( ModChainSel p s) -> SlotNo -> Ticked ( ChainDepState ( ModChainSel p s)) -> Maybe ( IsLeader ( ModChainSel p s)) Source #

tickChainDepState :: ConsensusConfig ( ModChainSel p s) -> Ticked ( LedgerView ( ModChainSel p s)) -> SlotNo -> ChainDepState ( ModChainSel p s) -> Ticked ( ChainDepState ( ModChainSel p s)) Source #

updateChainDepState :: ConsensusConfig ( ModChainSel p s) -> ValidateView ( ModChainSel p s) -> SlotNo -> Ticked ( ChainDepState ( ModChainSel p s)) -> Except ( ValidationErr ( ModChainSel p s)) ( ChainDepState ( ModChainSel p s)) Source #

reupdateChainDepState :: ConsensusConfig ( ModChainSel p s) -> ValidateView ( ModChainSel p s) -> SlotNo -> Ticked ( ChainDepState ( ModChainSel p s)) -> ChainDepState ( ModChainSel p s) Source #

protocolSecurityParam :: ConsensusConfig ( ModChainSel p s) -> SecurityParam Source #

type Rep ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep ( ConsensusConfig ( ModChainSel p s)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "McsConsensusConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mcsConfigP") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ConsensusConfig p))))
type ChainDepState ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type ChainDepState ( ModChainSel p s) = ChainDepState p
type IsLeader ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type IsLeader ( ModChainSel p s) = IsLeader p
type CanBeLeader ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type CanBeLeader ( ModChainSel p s) = CanBeLeader p
type SelectView ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type SelectView ( ModChainSel p s) = s
type LedgerView ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type LedgerView ( ModChainSel p s) = LedgerView p
type ValidationErr ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type ValidationErr ( ModChainSel p s) = ValidationErr p
type ValidateView ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type ValidateView ( ModChainSel p s) = ValidateView p
newtype ConsensusConfig ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig ( ModChainSel p s) = McsConsensusConfig { }

Type family instances

data family ConsensusConfig p :: Type Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details
Generic ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep ( ConsensusConfig ( ModChainSel p s)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( ModChainSel p s) -> Rep ( ConsensusConfig ( ModChainSel p s)) x Source #

to :: Rep ( ConsensusConfig ( ModChainSel p s)) x -> ConsensusConfig ( ModChainSel p s) Source #

Generic ( ConsensusConfig ( Bft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep ( ConsensusConfig ( Bft c)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( Bft c) -> Rep ( ConsensusConfig ( Bft c)) x Source #

to :: Rep ( ConsensusConfig ( Bft c)) x -> ConsensusConfig ( Bft c) Source #

Generic ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep ( ConsensusConfig ( HardForkProtocol xs)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( HardForkProtocol xs) -> Rep ( ConsensusConfig ( HardForkProtocol xs)) x Source #

to :: Rep ( ConsensusConfig ( HardForkProtocol xs)) x -> ConsensusConfig ( HardForkProtocol xs) Source #

Generic ( ConsensusConfig ( PBft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Associated Types

type Rep ( ConsensusConfig ( PBft c)) :: Type -> Type Source #

Methods

from :: ConsensusConfig ( PBft c) -> Rep ( ConsensusConfig ( PBft c)) x Source #

to :: Rep ( ConsensusConfig ( PBft c)) x -> ConsensusConfig ( PBft c) Source #

ConsensusProtocol p => NoThunks ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks :: Context -> ConsensusConfig ( ModChainSel p s) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( ModChainSel p s) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( ModChainSel p s)) -> String Source #

BftCrypto c => NoThunks ( ConsensusConfig ( Bft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

noThunks :: Context -> ConsensusConfig ( Bft c) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( Bft c) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( Bft c)) -> String Source #

CanHardFork xs => NoThunks ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> ConsensusConfig ( HardForkProtocol xs) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( HardForkProtocol xs) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( HardForkProtocol xs)) -> String Source #

NoThunks ( ConsensusConfig ( PBft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

noThunks :: Context -> ConsensusConfig ( PBft c) -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ConsensusConfig ( PBft c) -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( ConsensusConfig ( PBft c)) -> String Source #

type Rep ( ConsensusConfig ( ModChainSel p s)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep ( ConsensusConfig ( ModChainSel p s)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "McsConsensusConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mcsConfigP") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ConsensusConfig p))))
type Rep ( ConsensusConfig ( Bft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

type Rep ( ConsensusConfig ( Bft c)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "BftConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "bftParams") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 BftParams ) :*: ( S1 (' MetaSel (' Just "bftSignKey") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignKeyDSIGN ( BftDSIGN c))) :*: S1 (' MetaSel (' Just "bftVerKeys") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map NodeId ( VerKeyDSIGN ( BftDSIGN c)))))))
type Rep ( ConsensusConfig ( HardForkProtocol xs)) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep ( ConsensusConfig ( HardForkProtocol xs)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "HardForkConsensusConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "hardForkConsensusConfigK") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SecurityParam ) :*: ( S1 (' MetaSel (' Just "hardForkConsensusConfigShape") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Shape xs)) :*: S1 (' MetaSel (' Just "hardForkConsensusConfigPerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PerEraConsensusConfig xs)))))
type Rep ( ConsensusConfig ( PBft c)) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

type Rep ( ConsensusConfig ( PBft c)) = D1 (' MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "PBftConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "pbftParams") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 PBftParams )))
data ConsensusConfig ( Bft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

data ConsensusConfig ( Bft c) = BftConfig { }
data ConsensusConfig ( HardForkProtocol xs) Source #
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig ( HardForkProtocol xs) = HardForkConsensusConfig { }
newtype ConsensusConfig ( PBft c) Source #

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

newtype ConsensusConfig ( PBft c) = PBftConfig { }
newtype ConsensusConfig ( ModChainSel p s) Source #
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig ( ModChainSel p s) = McsConsensusConfig { }