Documentation

Associated Types

type Rep (ConsensusConfig (Bft c))

Instance details

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-5.0.0.0-inplace" '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)))))))

Methods

from ∷ ConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x #

to ∷ Rep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) #

Generic (ConsensusConfig (ModChainSel p t)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep (ConsensusConfig (ModChainSel p t))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-5.0.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))

Methods

from ∷ ConsensusConfig (ModChainSel p t) → Rep (ConsensusConfig (ModChainSel p t)) x #

to ∷ Rep (ConsensusConfig (ModChainSel p t)) x → ConsensusConfig (ModChainSel p t) #

Generic (ConsensusConfig (PBft c)) Source #

Instance details

Associated Types

type Rep (ConsensusConfig (PBft c))
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-5.0.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))

Methods

from ∷ ConsensusConfig (PBft c) → Rep (ConsensusConfig (PBft c)) x #

to ∷ Rep (ConsensusConfig (PBft c)) x → ConsensusConfig (PBft c) #

Generic (ConsensusConfig (Praos c)) Source #

Instance details

Associated Types

type Rep (ConsensusConfig (Praos c))

Instance details

type Rep (ConsensusConfig (Praos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PraosParams) :*: S1 ('MetaSel ('Just "praosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))

Methods

from ∷ ConsensusConfig (Praos c) → Rep (ConsensusConfig (Praos c)) x #

to ∷ Rep (ConsensusConfig (Praos c)) x → ConsensusConfig (Praos c) #

Generic (ConsensusConfig (Praos2 c)) Source #

Instance details

Associated Types

type Rep (ConsensusConfig (Praos2 c))

Instance details

type Rep (ConsensusConfig (Praos2 c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos2" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "LeiosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "leiosPraosConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig (Praos c)))))

Methods

from ∷ ConsensusConfig (Praos2 c) → Rep (ConsensusConfig (Praos2 c)) x #

to ∷ Rep (ConsensusConfig (Praos2 c)) x → ConsensusConfig (Praos2 c) #

Generic (ConsensusConfig (TPraos c)) Source #

Instance details

Associated Types

type Rep (ConsensusConfig (TPraos c))

Instance details

type Rep (ConsensusConfig (TPraos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.TPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "TPraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "tpraosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TPraosParams) :*: S1 ('MetaSel ('Just "tpraosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))

Methods

from ∷ ConsensusConfig (TPraos c) → Rep (ConsensusConfig (TPraos c)) x #

to ∷ Rep (ConsensusConfig (TPraos c)) x → ConsensusConfig (TPraos c) #

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 #

BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c)) Source #

Instance details

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 #

ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p t)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p t)) → String Source #

NoThunks (ConsensusConfig (PBft c)) Source #

Instance details

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 #

Crypto c ⇒ NoThunks (ConsensusConfig (Praos c)) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig (Praos c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (Praos c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (Praos c)) → String Source #

Crypto c ⇒ NoThunks (ConsensusConfig (Praos2 c)) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig (Praos2 c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (Praos2 c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (Praos2 c)) → String Source #

PraosCrypto c ⇒ NoThunks (ConsensusConfig (TPraos c)) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig (TPraos c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (TPraos c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (TPraos c)) → String Source #

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-5.0.0.0-inplace" '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 (Bft c)) Source #

Instance details

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-5.0.0.0-inplace" '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 (ModChainSel p t)) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-5.0.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))

type Rep (ConsensusConfig (PBft c)) Source #

Instance details

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

type Rep (ConsensusConfig (Praos c)) Source #

Instance details

type Rep (ConsensusConfig (Praos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PraosParams) :*: S1 ('MetaSel ('Just "praosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))

type Rep (ConsensusConfig (Praos2 c)) Source #

Instance details

type Rep (ConsensusConfig (Praos2 c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos2" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "LeiosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "leiosPraosConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig (Praos c)))))

type Rep (ConsensusConfig (TPraos c)) Source #

Instance details

type Rep (ConsensusConfig (TPraos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.TPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "TPraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "tpraosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TPraosParams) :*: S1 ('MetaSel ('Just "tpraosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))

data ConsensusConfig (HardForkProtocol xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig {

hardForkConsensusConfigK ∷ !SecurityParam
hardForkConsensusConfigShape ∷ !(Shape xs)
hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs)

}

data ConsensusConfig (Bft c) Source #

(Static) node configuration

Instance details

data ConsensusConfig (Bft c) = BftConfig {

bftParams ∷ !BftParams
bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c))
bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c)))

}

newtype ConsensusConfig (PBft c) Source #

(Static) node configuration

Instance details

newtype ConsensusConfig (PBft c) = PBftConfig {

pbftParams ∷ PBftParams

}

data ConsensusConfig (Praos c) Source #

Static configuration

Instance details

data ConsensusConfig (Praos c) = PraosConfig {

praosParams ∷ !PraosParams
praosEpochInfo ∷ !(EpochInfo (Except PastHorizonException))

}

newtype ConsensusConfig (Praos2 c) Source #

Praos's configuration, wrapped only because ConsensusConfig is a data family.

Leios adds nothing to it: the periods, the committee, the quorum and the size bounds all reach the protocol through the ledger view instead.

Instance details

newtype ConsensusConfig (Praos2 c) = LeiosConfig {

leiosPraosConfig ∷ ConsensusConfig (Praos c)

}

data ConsensusConfig (TPraos c) Source #

Static configuration

Instance details

data ConsensusConfig (TPraos c) = TPraosConfig {

tpraosParams ∷ !TPraosParams
tpraosEpochInfo ∷ !(EpochInfo (Except PastHorizonException))

}

newtype ConsensusConfig (ModChainSel p t) Source #

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig (ModChainSel p t) = McsConsensusConfig {

mcsConfigP ∷ ConsensusConfig p

}

data family LeiosOnly proto a ∷ Type → Type Source #

a for the protocols without Leios, and b for the ones with it.

One such family per extension, which is what keeps every type that mentions one indexed by proto alone. Its two intended uses:

VoidUnlessLeios proto () gates a constructor, since the protocols without Leios cannot build it.
WhenLeios proto a gates a field, which those protocols have but cannot put anything in.

Instances

Instances details

TypeSwitch (LeiosOnly (Praos c)) Source #

Instance details

Methods

typeSwitchL ∷ LeiosOnly (Praos c) (LeiosOnly (Praos c) () Void) () Source #

typeSwitchR ∷ LeiosOnly (Praos c) () (LeiosOnly (Praos c) Void ()) Source #

TypeSwitch (LeiosOnly (Praos2 c)) Source #

Instance details

Methods

typeSwitchL ∷ LeiosOnly (Praos2 c) (LeiosOnly (Praos2 c) () Void) () Source #

typeSwitchR ∷ LeiosOnly (Praos2 c) () (LeiosOnly (Praos2 c) Void ()) Source #

TypeSwitch (LeiosOnly (TPraos c)) Source #

Instance details

Methods

typeSwitchL ∷ LeiosOnly (TPraos c) (LeiosOnly (TPraos c) () Void) () Source #

typeSwitchR ∷ LeiosOnly (TPraos c) () (LeiosOnly (TPraos c) Void ()) Source #

() ~ a ⇒ Applicative (LeiosOnly (Praos c) a) Source #

Instance details

Methods

pure ∷ a0 → LeiosOnly (Praos c) a a0 #

(<*>) ∷ LeiosOnly (Praos c) a (a0 → b) → LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b #

liftA2 ∷ (a0 → b → c0) → LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a c0 #

(*>) ∷ LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a b #

(<*) ∷ LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a a0 #

Applicative (LeiosOnly (Praos2 c) a) Source #

Instance details

Methods

pure ∷ a0 → LeiosOnly (Praos2 c) a a0 #

(<*>) ∷ LeiosOnly (Praos2 c) a (a0 → b) → LeiosOnly (Praos2 c) a a0 → LeiosOnly (Praos2 c) a b #

liftA2 ∷ (a0 → b → c0) → LeiosOnly (Praos2 c) a a0 → LeiosOnly (Praos2 c) a b → LeiosOnly (Praos2 c) a c0 #

(*>) ∷ LeiosOnly (Praos2 c) a a0 → LeiosOnly (Praos2 c) a b → LeiosOnly (Praos2 c) a b #

(<*) ∷ LeiosOnly (Praos2 c) a a0 → LeiosOnly (Praos2 c) a b → LeiosOnly (Praos2 c) a a0 #

() ~ a ⇒ Applicative (LeiosOnly (TPraos c) a) Source #

Instance details

Methods

pure ∷ a0 → LeiosOnly (TPraos c) a a0 #

(<*>) ∷ LeiosOnly (TPraos c) a (a0 → b) → LeiosOnly (TPraos c) a a0 → LeiosOnly (TPraos c) a b #

liftA2 ∷ (a0 → b → c0) → LeiosOnly (TPraos c) a a0 → LeiosOnly (TPraos c) a b → LeiosOnly (TPraos c) a c0 #

(*>) ∷ LeiosOnly (TPraos c) a a0 → LeiosOnly (TPraos c) a b → LeiosOnly (TPraos c) a b #

(<*) ∷ LeiosOnly (TPraos c) a a0 → LeiosOnly (TPraos c) a b → LeiosOnly (TPraos c) a a0 #

Functor (LeiosOnly (Praos c) a) Source #

Instance details

Methods

fmap ∷ (a0 → b) → LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b #

(<$) ∷ a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a a0 #

Functor (LeiosOnly (Praos2 c) a) Source #

Instance details

Methods

fmap ∷ (a0 → b) → LeiosOnly (Praos2 c) a a0 → LeiosOnly (Praos2 c) a b #

(<$) ∷ a0 → LeiosOnly (Praos2 c) a b → LeiosOnly (Praos2 c) a a0 #

Functor (LeiosOnly (TPraos c) a) Source #

Instance details

Methods

fmap ∷ (a0 → b) → LeiosOnly (TPraos c) a a0 → LeiosOnly (TPraos c) a b #

(<$) ∷ a0 → LeiosOnly (TPraos c) a b → LeiosOnly (TPraos c) a a0 #

Foldable (LeiosOnly (Praos c) a) Source #

Instance details

Methods

fold ∷ Monoid m ⇒ LeiosOnly (Praos c) a m → m #

foldMap ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (Praos c) a a0 → m #

foldMap' ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (Praos c) a a0 → m #

foldr ∷ (a0 → b → b) → b → LeiosOnly (Praos c) a a0 → b #

foldr' ∷ (a0 → b → b) → b → LeiosOnly (Praos c) a a0 → b #

foldl ∷ (b → a0 → b) → b → LeiosOnly (Praos c) a a0 → b #

foldl' ∷ (b → a0 → b) → b → LeiosOnly (Praos c) a a0 → b #

foldr1 ∷ (a0 → a0 → a0) → LeiosOnly (Praos c) a a0 → a0 #

foldl1 ∷ (a0 → a0 → a0) → LeiosOnly (Praos c) a a0 → a0 #

toList ∷ LeiosOnly (Praos c) a a0 → [a0] #

null ∷ LeiosOnly (Praos c) a a0 → Bool #

length ∷ LeiosOnly (Praos c) a a0 → Int #

elem ∷ Eq a0 ⇒ a0 → LeiosOnly (Praos c) a a0 → Bool #

maximum ∷ Ord a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

minimum ∷ Ord a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

sum ∷ Num a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

product ∷ Num a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

Foldable (LeiosOnly (Praos2 c) a) Source #

Instance details

Methods

fold ∷ Monoid m ⇒ LeiosOnly (Praos2 c) a m → m #

foldMap ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (Praos2 c) a a0 → m #

foldMap' ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (Praos2 c) a a0 → m #

foldr ∷ (a0 → b → b) → b → LeiosOnly (Praos2 c) a a0 → b #

foldr' ∷ (a0 → b → b) → b → LeiosOnly (Praos2 c) a a0 → b #

foldl ∷ (b → a0 → b) → b → LeiosOnly (Praos2 c) a a0 → b #

foldl' ∷ (b → a0 → b) → b → LeiosOnly (Praos2 c) a a0 → b #

foldr1 ∷ (a0 → a0 → a0) → LeiosOnly (Praos2 c) a a0 → a0 #

foldl1 ∷ (a0 → a0 → a0) → LeiosOnly (Praos2 c) a a0 → a0 #

toList ∷ LeiosOnly (Praos2 c) a a0 → [a0] #

null ∷ LeiosOnly (Praos2 c) a a0 → Bool #

length ∷ LeiosOnly (Praos2 c) a a0 → Int #

elem ∷ Eq a0 ⇒ a0 → LeiosOnly (Praos2 c) a a0 → Bool #

maximum ∷ Ord a0 ⇒ LeiosOnly (Praos2 c) a a0 → a0 #

minimum ∷ Ord a0 ⇒ LeiosOnly (Praos2 c) a a0 → a0 #

sum ∷ Num a0 ⇒ LeiosOnly (Praos2 c) a a0 → a0 #

product ∷ Num a0 ⇒ LeiosOnly (Praos2 c) a a0 → a0 #

Foldable (LeiosOnly (TPraos c) a) Source #

Instance details

Methods

fold ∷ Monoid m ⇒ LeiosOnly (TPraos c) a m → m #

foldMap ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (TPraos c) a a0 → m #

foldMap' ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (TPraos c) a a0 → m #

foldr ∷ (a0 → b → b) → b → LeiosOnly (TPraos c) a a0 → b #

foldr' ∷ (a0 → b → b) → b → LeiosOnly (TPraos c) a a0 → b #

foldl ∷ (b → a0 → b) → b → LeiosOnly (TPraos c) a a0 → b #

foldl' ∷ (b → a0 → b) → b → LeiosOnly (TPraos c) a a0 → b #

foldr1 ∷ (a0 → a0 → a0) → LeiosOnly (TPraos c) a a0 → a0 #

foldl1 ∷ (a0 → a0 → a0) → LeiosOnly (TPraos c) a a0 → a0 #

toList ∷ LeiosOnly (TPraos c) a a0 → [a0] #

null ∷ LeiosOnly (TPraos c) a a0 → Bool #

length ∷ LeiosOnly (TPraos c) a a0 → Int #

elem ∷ Eq a0 ⇒ a0 → LeiosOnly (TPraos c) a a0 → Bool #

maximum ∷ Ord a0 ⇒ LeiosOnly (TPraos c) a a0 → a0 #

minimum ∷ Ord a0 ⇒ LeiosOnly (TPraos c) a a0 → a0 #

sum ∷ Num a0 ⇒ LeiosOnly (TPraos c) a a0 → a0 #

product ∷ Num a0 ⇒ LeiosOnly (TPraos c) a a0 → a0 #

Traversable (LeiosOnly (Praos c) a) Source #

Instance details

Methods

traverse ∷ Applicative f ⇒ (a0 → f b) → LeiosOnly (Praos c) a a0 → f (LeiosOnly (Praos c) a b) #

sequenceA ∷ Applicative f ⇒ LeiosOnly (Praos c) a (f a0) → f (LeiosOnly (Praos c) a a0) #

mapM ∷ Monad m ⇒ (a0 → m b) → LeiosOnly (Praos c) a a0 → m (LeiosOnly (Praos c) a b) #

sequence ∷ Monad m ⇒ LeiosOnly (Praos c) a (m a0) → m (LeiosOnly (Praos c) a a0) #

Traversable (LeiosOnly (Praos2 c) a) Source #

Instance details

Methods

traverse ∷ Applicative f ⇒ (a0 → f b) → LeiosOnly (Praos2 c) a a0 → f (LeiosOnly (Praos2 c) a b) #

sequenceA ∷ Applicative f ⇒ LeiosOnly (Praos2 c) a (f a0) → f (LeiosOnly (Praos2 c) a a0) #

mapM ∷ Monad m ⇒ (a0 → m b) → LeiosOnly (Praos2 c) a a0 → m (LeiosOnly (Praos2 c) a b) #

sequence ∷ Monad m ⇒ LeiosOnly (Praos2 c) a (m a0) → m (LeiosOnly (Praos2 c) a a0) #

Traversable (LeiosOnly (TPraos c) a) Source #

Instance details

Methods

traverse ∷ Applicative f ⇒ (a0 → f b) → LeiosOnly (TPraos c) a a0 → f (LeiosOnly (TPraos c) a b) #

sequenceA ∷ Applicative f ⇒ LeiosOnly (TPraos c) a (f a0) → f (LeiosOnly (TPraos c) a a0) #

mapM ∷ Monad m ⇒ (a0 → m b) → LeiosOnly (TPraos c) a a0 → m (LeiosOnly (TPraos c) a b) #

sequence ∷ Monad m ⇒ LeiosOnly (TPraos c) a (m a0) → m (LeiosOnly (TPraos c) a a0) #

Eq a ⇒ Eq (LeiosOnly (Praos c) a b) Source #

Instance details

Methods

(==) ∷ LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a b → Bool #

(/=) ∷ LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a b → Bool #

Eq b ⇒ Eq (LeiosOnly (Praos2 c) a b) Source #

Instance details

Methods

(==) ∷ LeiosOnly (Praos2 c) a b → LeiosOnly (Praos2 c) a b → Bool #

(/=) ∷ LeiosOnly (Praos2 c) a b → LeiosOnly (Praos2 c) a b → Bool #

Eq a ⇒ Eq (LeiosOnly (TPraos c) a b) Source #

Instance details

Methods

(==) ∷ LeiosOnly (TPraos c) a b → LeiosOnly (TPraos c) a b → Bool #

(/=) ∷ LeiosOnly (TPraos c) a b → LeiosOnly (TPraos c) a b → Bool #

Generic (LeiosOnly (Praos c) a b) Source #

Instance details

Associated Types

type Rep (LeiosOnly (Praos c) a b)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type Rep (LeiosOnly (Praos c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "PraosLacksLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from ∷ LeiosOnly (Praos c) a b → Rep (LeiosOnly (Praos c) a b) x #

to ∷ Rep (LeiosOnly (Praos c) a b) x → LeiosOnly (Praos c) a b #

Generic (LeiosOnly (Praos2 c) a b) Source #

Instance details

Associated Types

type Rep (LeiosOnly (Praos2 c) a b)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos2 type Rep (LeiosOnly (Praos2 c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.Praos2" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "Praos2HasLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

Methods

from ∷ LeiosOnly (Praos2 c) a b → Rep (LeiosOnly (Praos2 c) a b) x #

to ∷ Rep (LeiosOnly (Praos2 c) a b) x → LeiosOnly (Praos2 c) a b #

Generic (LeiosOnly (TPraos c) a b) Source #

Instance details

Associated Types

type Rep (LeiosOnly (TPraos c) a b)
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos type Rep (LeiosOnly (TPraos c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.TPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "TPraosLacksLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from ∷ LeiosOnly (TPraos c) a b → Rep (LeiosOnly (TPraos c) a b) x #

to ∷ Rep (LeiosOnly (TPraos c) a b) x → LeiosOnly (TPraos c) a b #

Show a ⇒ Show (LeiosOnly (Praos c) a b) Source #

Instance details

Methods

showsPrec ∷ Int → LeiosOnly (Praos c) a b → ShowS #

show ∷ LeiosOnly (Praos c) a b → String #

showList ∷ [LeiosOnly (Praos c) a b] → ShowS #

Show b ⇒ Show (LeiosOnly (Praos2 c) a b) Source #

Instance details

Methods

showsPrec ∷ Int → LeiosOnly (Praos2 c) a b → ShowS #

show ∷ LeiosOnly (Praos2 c) a b → String #

showList ∷ [LeiosOnly (Praos2 c) a b] → ShowS #

Show a ⇒ Show (LeiosOnly (TPraos c) a b) Source #

Instance details

Methods

showsPrec ∷ Int → LeiosOnly (TPraos c) a b → ShowS #

show ∷ LeiosOnly (TPraos c) a b → String #

showList ∷ [LeiosOnly (TPraos c) a b] → ShowS #

NoThunks a ⇒ NoThunks (LeiosOnly (Praos c) a b) Source #

Instance details

Methods

noThunks ∷ Context → LeiosOnly (Praos c) a b → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LeiosOnly (Praos c) a b → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LeiosOnly (Praos c) a b) → String Source #

NoThunks b ⇒ NoThunks (LeiosOnly (Praos2 c) a b) Source #

Instance details

Methods

noThunks ∷ Context → LeiosOnly (Praos2 c) a b → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LeiosOnly (Praos2 c) a b → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LeiosOnly (Praos2 c) a b) → String Source #

NoThunks a ⇒ NoThunks (LeiosOnly (TPraos c) a b) Source #

Instance details

Methods

noThunks ∷ Context → LeiosOnly (TPraos c) a b → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LeiosOnly (TPraos c) a b → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LeiosOnly (TPraos c) a b) → String Source #

newtype LeiosOnly (Praos c) a b Source #

Praos is not Leios, so it holds the left alternative.

Instance details

newtype LeiosOnly (Praos c) a b = PraosLacksLeios a

newtype LeiosOnly (Praos2 c) a b Source #

This protocol is Leios, so it holds the right alternative.

Instance details

newtype LeiosOnly (Praos2 c) a b = Praos2HasLeios b

newtype LeiosOnly (TPraos c) a b Source #

TPraos has no Leios fields.

Instance details

newtype LeiosOnly (TPraos c) a b = TPraosLacksLeios a

type Rep (LeiosOnly (Praos c) a b) Source #

Instance details

type Rep (LeiosOnly (Praos c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "PraosLacksLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Rep (LeiosOnly (Praos2 c) a b) Source #

Instance details

type Rep (LeiosOnly (Praos2 c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.Praos2" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "Praos2HasLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

type Rep (LeiosOnly (TPraos c) a b) Source #

Instance details

type Rep (LeiosOnly (TPraos c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.TPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "TPraosLacksLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type VoidUnlessLeios proto = LeiosOnly proto Void Source #

The constructor use of LeiosOnly: inhabited only when the protocol has Leios.

type WhenLeios proto = LeiosOnly proto () Source #

The field use of LeiosOnly: present only when the protocol has Leios.

data Praos c Source #

Instances

Instances details

Generic (ConsensusConfig (Praos c)) Source #

Instance details

Associated Types

type Rep (ConsensusConfig (Praos c))

Instance details

type Rep (ConsensusConfig (Praos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PraosParams) :*: S1 ('MetaSel ('Just "praosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))

Methods

from ∷ ConsensusConfig (Praos c) → Rep (ConsensusConfig (Praos c)) x #

to ∷ Rep (ConsensusConfig (Praos c)) x → ConsensusConfig (Praos c) #

Crypto c ⇒ NoThunks (ConsensusConfig (Praos c)) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig (Praos c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (Praos c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (Praos c)) → String Source #

PraosCrypto c ⇒ LeiosProtocol (Praos c) Source #

Instance details

Methods

getLeiosAnnouncement ∷ proxy (Praos c) → ValidateView (Praos c) → Maybe LeiosAnnouncement Source #

validateLeiosAnnouncement ∷ ConsensusConfig (Praos c) → ValidateView (Praos c) → SlotNo → Ticked (ChainDepState (Praos c)) → Except (ValidationErr (Praos c)) OCINStaleness Source #

getLeiosLedgerView ∷ proxy (Praos c) → LedgerView (Praos c) → Maybe LeiosLedgerView Source #

PraosCrypto c ⇒ ConsensusProtocol (Praos c) Source #

Instance details

Associated Types

type ChainDepState (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type ChainDepState (Praos c) = PolyPraosState (Praos c)
type IsLeader (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type IsLeader (Praos c) = PraosIsLeader c
type CanBeLeader (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type CanBeLeader (Praos c) = PraosCanBeLeader c
type TiebreakerView (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type TiebreakerView (Praos c) = PraosTiebreakerView c
type LedgerView (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type LedgerView (Praos c) = PolyPraosLedgerView (Praos c)
type ValidationErr (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type ValidationErr (Praos c) = PolyPraosValidationErr (Praos c) c
type ValidateView (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type ValidateView (Praos c) = PolyPraosValidateView (Praos c) c

Methods

checkIsLeader ∷ ConsensusConfig (Praos c) → CanBeLeader (Praos c) → SlotNo → Ticked (ChainDepState (Praos c)) → Maybe (IsLeader (Praos c)) Source #

tickChainDepState ∷ ConsensusConfig (Praos c) → LedgerView (Praos c) → SlotNo → ChainDepState (Praos c) → Ticked (ChainDepState (Praos c)) Source #

updateChainDepState ∷ ConsensusConfig (Praos c) → ValidateView (Praos c) → SlotNo → Ticked (ChainDepState (Praos c)) → Except (ValidationErr (Praos c)) (ChainDepState (Praos c)) Source #

reupdateChainDepState ∷ ConsensusConfig (Praos c) → ValidateView (Praos c) → SlotNo → Ticked (ChainDepState (Praos c)) → ChainDepState (Praos c) Source #

protocolSecurityParam ∷ ConsensusConfig (Praos c) → SecurityParam Source #

HasMaxMajorProtVer (Praos c) Source #

Instance details

Methods

protoMaxMajorPV ∷ ConsensusConfig (Praos c) → MaxMajorProtVer Source #

PraosCrypto c ⇒ PraosProtocolSupportsNode (Praos c) Source #

Instance details

Associated Types

type PraosProtocolSupportsNodeCrypto (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type PraosProtocolSupportsNodeCrypto (Praos c) = c

Methods

getPraosNonces ∷ proxy (Praos c) → ChainDepState (Praos c) → PraosNonces Source #

getOpCertCounters ∷ proxy (Praos c) → ChainDepState (Praos c) → Map (KeyHash 'BlockIssuer) Word64 Source #

TypeSwitch (LeiosOnly (Praos c)) Source #

Instance details

Methods

typeSwitchL ∷ LeiosOnly (Praos c) (LeiosOnly (Praos c) () Void) () Source #

typeSwitchR ∷ LeiosOnly (Praos c) () (LeiosOnly (Praos c) Void ()) Source #

PolyPraosCrypto (Praos StandardCrypto) StandardCrypto Source #

Instance details

ForecastToPolyPraosLedgerView (Praos c) era Source #

Instance details

Methods

forecastToPolyPraosLedgerView ∷ ∀ (t ∷ Timeline). EraForecast era ⇒ Forecast t era → PolyPraosLedgerView (Praos c) Source #

TranslateProto (Praos c) (Praos c) era Source #

Crossing between eras that both run this protocol changes nothing.

Instance details

Methods

translateLedgerView ∷ Proxy (Praos c, Praos c, era) → TranslationContext era → LedgerView (Praos c) → LedgerView (Praos c) Source #

translateChainDepState ∷ Proxy (Praos c, Praos c, era) → ChainDepState (Praos c) → ChainDepState (Praos c) Source #

TranslationContext era ~ DijkstraGenesis ⇒ TranslateProto (Praos c) (Praos2 c) era Source #

Crossing from Praos into Praos with Leios.

Everything carries over unchanged; the Leios fields merely have to be introduced. Nothing has been announced, since no header of the protocol being left could have carried an announcement. The Leios parameters come from the Dijkstra genesis. The committee is empty: none is seated until a stake snapshot rotation within the new era, beyond any forecast from the old one.

Instance details

Methods

translateLedgerView ∷ Proxy (Praos c, Praos2 c, era) → TranslationContext era → LedgerView (Praos c) → LedgerView (Praos2 c) Source #

translateChainDepState ∷ Proxy (Praos c, Praos2 c, era) → ChainDepState (Praos c) → ChainDepState (Praos2 c) Source #

TranslateProto (TPraos c) (Praos c) era Source #

We can translate between TPraos and Praos, provided:

They share the same HASH algorithm
They share the same ADDRHASH algorithm
They share the same DSIGN verification keys
They share the same VRF verification keys

Instance details

Methods

translateLedgerView ∷ Proxy (TPraos c, Praos c, era) → TranslationContext era → LedgerView (TPraos c) → LedgerView (Praos c) Source #

translateChainDepState ∷ Proxy (TPraos c, Praos c, era) → ChainDepState (TPraos c) → ChainDepState (Praos c) Source #

() ~ a ⇒ Applicative (LeiosOnly (Praos c) a) Source #

Instance details

Methods

pure ∷ a0 → LeiosOnly (Praos c) a a0 #

(<*>) ∷ LeiosOnly (Praos c) a (a0 → b) → LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b #

liftA2 ∷ (a0 → b → c0) → LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a c0 #

(*>) ∷ LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a b #

(<*) ∷ LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a a0 #

Functor (LeiosOnly (Praos c) a) Source #

Instance details

Methods

fmap ∷ (a0 → b) → LeiosOnly (Praos c) a a0 → LeiosOnly (Praos c) a b #

(<$) ∷ a0 → LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a a0 #

Foldable (LeiosOnly (Praos c) a) Source #

Instance details

Methods

fold ∷ Monoid m ⇒ LeiosOnly (Praos c) a m → m #

foldMap ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (Praos c) a a0 → m #

foldMap' ∷ Monoid m ⇒ (a0 → m) → LeiosOnly (Praos c) a a0 → m #

foldr ∷ (a0 → b → b) → b → LeiosOnly (Praos c) a a0 → b #

foldr' ∷ (a0 → b → b) → b → LeiosOnly (Praos c) a a0 → b #

foldl ∷ (b → a0 → b) → b → LeiosOnly (Praos c) a a0 → b #

foldl' ∷ (b → a0 → b) → b → LeiosOnly (Praos c) a a0 → b #

foldr1 ∷ (a0 → a0 → a0) → LeiosOnly (Praos c) a a0 → a0 #

foldl1 ∷ (a0 → a0 → a0) → LeiosOnly (Praos c) a a0 → a0 #

toList ∷ LeiosOnly (Praos c) a a0 → [a0] #

null ∷ LeiosOnly (Praos c) a a0 → Bool #

length ∷ LeiosOnly (Praos c) a a0 → Int #

elem ∷ Eq a0 ⇒ a0 → LeiosOnly (Praos c) a a0 → Bool #

maximum ∷ Ord a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

minimum ∷ Ord a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

sum ∷ Num a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

product ∷ Num a0 ⇒ LeiosOnly (Praos c) a a0 → a0 #

Traversable (LeiosOnly (Praos c) a) Source #

Instance details

Methods

traverse ∷ Applicative f ⇒ (a0 → f b) → LeiosOnly (Praos c) a a0 → f (LeiosOnly (Praos c) a b) #

sequenceA ∷ Applicative f ⇒ LeiosOnly (Praos c) a (f a0) → f (LeiosOnly (Praos c) a a0) #

mapM ∷ Monad m ⇒ (a0 → m b) → LeiosOnly (Praos c) a a0 → m (LeiosOnly (Praos c) a b) #

sequence ∷ Monad m ⇒ LeiosOnly (Praos c) a (m a0) → m (LeiosOnly (Praos c) a a0) #

Eq a ⇒ Eq (LeiosOnly (Praos c) a b) Source #

Instance details

Methods

(==) ∷ LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a b → Bool #

(/=) ∷ LeiosOnly (Praos c) a b → LeiosOnly (Praos c) a b → Bool #

Generic (LeiosOnly (Praos c) a b) Source #

Instance details

Associated Types

type Rep (LeiosOnly (Praos c) a b)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type Rep (LeiosOnly (Praos c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "PraosLacksLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from ∷ LeiosOnly (Praos c) a b → Rep (LeiosOnly (Praos c) a b) x #

to ∷ Rep (LeiosOnly (Praos c) a b) x → LeiosOnly (Praos c) a b #

Show a ⇒ Show (LeiosOnly (Praos c) a b) Source #

Instance details

Methods

showsPrec ∷ Int → LeiosOnly (Praos c) a b → ShowS #

show ∷ LeiosOnly (Praos c) a b → String #

showList ∷ [LeiosOnly (Praos c) a b] → ShowS #

NoThunks a ⇒ NoThunks (LeiosOnly (Praos c) a b) Source #

Instance details

Methods

noThunks ∷ Context → LeiosOnly (Praos c) a b → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LeiosOnly (Praos c) a b → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LeiosOnly (Praos c) a b) → String Source #

type Rep (ConsensusConfig (Praos c)) Source #

Instance details

type Rep (ConsensusConfig (Praos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PraosParams) :*: S1 ('MetaSel ('Just "praosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))

type CanBeLeader (Praos c) Source #

Instance details

type CanBeLeader (Praos c) = PraosCanBeLeader c

type ChainDepState (Praos c) Source #

Instance details

type ChainDepState (Praos c) = PolyPraosState (Praos c)

data ConsensusConfig (Praos c) Source #

Static configuration

Instance details

data ConsensusConfig (Praos c) = PraosConfig {

praosParams ∷ !PraosParams
praosEpochInfo ∷ !(EpochInfo (Except PastHorizonException))

}

type IsLeader (Praos c) Source #

Instance details

type IsLeader (Praos c) = PraosIsLeader c

type LedgerView (Praos c) Source #

Instance details

type LedgerView (Praos c) = PolyPraosLedgerView (Praos c)

type TiebreakerView (Praos c) Source #

Instance details

type TiebreakerView (Praos c) = PraosTiebreakerView c

type ValidateView (Praos c) Source #

Instance details

type ValidateView (Praos c) = PolyPraosValidateView (Praos c) c

type ValidationErr (Praos c) Source #

Instance details

type ValidationErr (Praos c) = PolyPraosValidationErr (Praos c) c

newtype LeiosOnly (Praos c) a b Source #

Praos is not Leios, so it holds the left alternative.

Instance details

newtype LeiosOnly (Praos c) a b = PraosLacksLeios a

type PraosProtocolSupportsNodeCrypto (Praos c) Source #

Instance details

type PraosProtocolSupportsNodeCrypto (Praos c) = c

type ShelleyProtocolHeader (Praos c) Source #

Instance details

type ShelleyProtocolHeader (Praos c) = Header c

type Rep (LeiosOnly (Praos c) a b) Source #

Instance details

type Rep (LeiosOnly (Praos c) a b) = D1 ('MetaData "LeiosOnly" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "PraosLacksLeios" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

class (Crypto c, PolyPraosCrypto (Praos c) c) ⇒ PraosCrypto c Source #

Instances

Instances details

PraosCrypto StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos

type PraosLedgerView c = PolyPraosLedgerView (Praos c) Source #

type PraosState c = PolyPraosState (Praos c) Source #

type PraosValidateView c = PolyPraosValidateView (Praos c) c Source #

type PraosValidationErr c = PolyPraosValidationErr (Praos c) c Source #

Re-exports

These were defined in this module before Ouroboros.Consensus.Protocol.PolyPraos existed. They are re-exported only for that historical reason, so that the modules importing them here did not need to change.

class (Crypto c, Signable DSIGN (OCertSignable c), Signable (VRF c) InputVRF, Signable (KES c) (Signed (ShelleyProtocolHeader proto))) ⇒ PolyPraosCrypto proto c Source #

What a protocol needs of its crypto: the Praos essentials, plus signing whichever header body it is the protocol for.

Instances

Instances details

PolyPraosCrypto (Praos StandardCrypto) StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos
PolyPraosCrypto (Praos2 StandardCrypto) StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos2

data PolyPraosState proto Source #

Praos consensus state.

We track the last slot and the counters for operational certificates, as well as a series of nonces which get updated in different ways over the course of an epoch.

Constructors

PraosState

Fields

praosStateLastSlot ∷ !(WithOrigin SlotNo)
praosStateOCertCounters ∷ !(Map (KeyHash 'BlockIssuer) Word64)
Operation Certificate counters
praosStateEvolvingNonce ∷ !Nonce
Evolving nonce
praosStateCandidateNonce ∷ !Nonce
Candidate nonce
praosStateEpochNonce ∷ !Nonce
Epoch nonce
praosStatePreviousEpochNonce ∷ !Nonce
Previous epoch nonce
praosStateLabNonce ∷ !Nonce
Nonce constructed from the hash of the previous block
praosStateLastEpochBlockNonce ∷ !Nonce
Nonce corresponding to the LAB nonce of the last block of the previous epoch
praosStateLeiosAnnouncement ∷ !(WhenLeios proto (Either WhyNotCertifiable LeiosAnnouncement))
Relevant only to the next header, and only if it sets its cert bit: the announcement it may certify, which is the one the most recently applied header carried, or why it may certify none.

Instances

Instances details

SerialisePraosState proto ⇒ FromCBOR (PolyPraosState proto) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (PolyPraosState proto) Source #

label ∷ Proxy (PolyPraosState proto) → Text Source #

SerialisePraosState proto ⇒ ToCBOR (PolyPraosState proto) Source #

Instance details

Methods

toCBOR ∷ PolyPraosState proto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PolyPraosState proto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PolyPraosState proto] → Size Source #

Eq (WhenLeios proto (Either WhyNotCertifiable LeiosAnnouncement)) ⇒ Eq (PolyPraosState proto) Source #

Instance details

Methods

(==) ∷ PolyPraosState proto → PolyPraosState proto → Bool #

(/=) ∷ PolyPraosState proto → PolyPraosState proto → Bool #

Generic (PolyPraosState proto) Source #

Instance details

Associated Types

type Rep (PolyPraosState proto)

Instance details

Methods

from ∷ PolyPraosState proto → Rep (PolyPraosState proto) x #

to ∷ Rep (PolyPraosState proto) x → PolyPraosState proto #

Show (WhenLeios proto (Either WhyNotCertifiable LeiosAnnouncement)) ⇒ Show (PolyPraosState proto) Source #

Instance details

Methods

showsPrec ∷ Int → PolyPraosState proto → ShowS #

show ∷ PolyPraosState proto → String #

showList ∷ [PolyPraosState proto] → ShowS #

(Typeable proto, NoThunks (WhenLeios proto (Either WhyNotCertifiable LeiosAnnouncement))) ⇒ NoThunks (PolyPraosState proto) Source #

Instance details

Methods

noThunks ∷ Context → PolyPraosState proto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PolyPraosState proto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PolyPraosState proto) → String Source #

ChainDepStateSupportsPeras (PolyPraosState proto) Source #

Instance details

Methods

getEpochNonce ∷ PolyPraosState proto → Nonce Source #

SerialisePraosState proto ⇒ Serialise (PolyPraosState proto) Source #

Instance details

Methods

encode ∷ PolyPraosState proto → Encoding Source #

decode ∷ Decoder s (PolyPraosState proto) Source #

encodeList ∷ [PolyPraosState proto] → Encoding Source #

decodeList ∷ Decoder s [PolyPraosState proto] Source #

ChainDepStateSupportsPeras (Ticked (PolyPraosState proto)) Source #

Instance details

Methods

getEpochNonce ∷ Ticked (PolyPraosState proto) → Nonce Source #

data Ticked (PolyPraosState proto ∷ Type) Source #

Instance details

data Ticked (PolyPraosState proto ∷ Type) = TickedPraosState {

tickedPraosStateChainDepState ∷ PolyPraosState proto
tickedPraosStateLedgerView ∷ PolyPraosLedgerView proto

}

type Rep (PolyPraosState proto) Source #

Instance details

data PolyPraosValidationErr proto c Source #

Errors which we might encounter

Constructors

VRFKeyUnknown !(KeyHash 'StakePool)
VRFKeyWrongVRFKey !(KeyHash 'StakePool) !(Hash HASH (VerKeyVRF (VRF c))) !(Hash HASH (VerKeyVRF (VRF c)))
VRFKeyBadProof !SlotNo !Nonce !(CertifiedVRF (VRF c) InputVRF)
VRFLeaderValueTooBig Natural Rational ActiveSlotCoeff
KESBeforeStartOCERT !KESPeriod !KESPeriod
KESAfterEndOCERT !KESPeriod !KESPeriod !Word64
CounterTooSmallOCERT !Word64 !Word64
CounterOverIncrementedOCERT !Word64 !Word64	The KES counter has been incremented by more than 1
InvalidSignatureOCERT !Word64 !KESPeriod !String
InvalidKesSignatureOCERT !Word !Word !Word !Word64 !String
NoCounterForKeyHashOCERT !(KeyHash 'BlockIssuer)
LeiosCertWithoutAnnouncement !(VoidUnlessLeios proto ()) !WhyNotCertifiable !(WithOrigin SlotNo) !SlotNo	The header sets its cert bit, but there is no announcement for the certificate to certify.
LeiosCertTooYoung !(VoidUnlessLeios proto ()) !SlotNo !SlotNo !SlotNo	The header sets its cert bit too soon after its predecessor's announcement: the announcement, voting and diffusion periods have not all elapsed.
LeiosEbTooBig !(VoidUnlessLeios proto ()) !Word32 !Word32	The header announces an endorser block larger than the protocol parameters allow.

Instances

Instances details

(Crypto c, Eq (VoidUnlessLeios proto ())) ⇒ Eq (PolyPraosValidationErr proto c) Source #

Instance details

Methods

(==) ∷ PolyPraosValidationErr proto c → PolyPraosValidationErr proto c → Bool #

(/=) ∷ PolyPraosValidationErr proto c → PolyPraosValidationErr proto c → Bool #

Generic (PolyPraosValidationErr proto c) Source #

Instance details

Associated Types

type Rep (PolyPraosValidationErr proto c)

Instance details

Methods

from ∷ PolyPraosValidationErr proto c → Rep (PolyPraosValidationErr proto c) x #

to ∷ Rep (PolyPraosValidationErr proto c) x → PolyPraosValidationErr proto c #

(Crypto c, Show (VoidUnlessLeios proto ())) ⇒ Show (PolyPraosValidationErr proto c) Source #

Instance details

Methods

showsPrec ∷ Int → PolyPraosValidationErr proto c → ShowS #

show ∷ PolyPraosValidationErr proto c → String #

showList ∷ [PolyPraosValidationErr proto c] → ShowS #

(Typeable proto, Crypto c, NoThunks (VoidUnlessLeios proto ())) ⇒ NoThunks (PolyPraosValidationErr proto c) Source #

Instance details

Methods

noThunks ∷ Context → PolyPraosValidationErr proto c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PolyPraosValidationErr proto c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PolyPraosValidationErr proto c) → String Source #

type Rep (PolyPraosValidationErr proto c) Source #

Instance details

PraosCannotForgeKeyNotUsableYet

data PraosCannotForge c Source #

Expresses that, whilst we believe ourselves to be a leader for this slot, we are nonetheless unable to forge a block.

Constructors

The KES key in our operational certificate can't be used because the current (wall clock) period is before the start period of the key. current KES period.

Note: the opposite case, i.e., the wall clock period being after the end period of the key, is caught when trying to update the key in updateForgeState.

Fields

!KESPeriod
Current KES period according to the wallclock slot, i.e., the KES period in which we want to use the key.
!KESPeriod
Start KES period of the KES key.

Instances

Instances details

Generic (PraosCannotForge c) Source #

Instance details

Associated Types

type Rep (PraosCannotForge c)

Instance details

type Rep (PraosCannotForge c) = D1 ('MetaData "PraosCannotForge" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosCannotForgeKeyNotUsableYet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod)))

Methods

from ∷ PraosCannotForge c → Rep (PraosCannotForge c) x #

to ∷ Rep (PraosCannotForge c) x → PraosCannotForge c #

Crypto c ⇒ Show (PraosCannotForge c) Source #

Instance details

Methods

showsPrec ∷ Int → PraosCannotForge c → ShowS #

show ∷ PraosCannotForge c → String #

showList ∷ [PraosCannotForge c] → ShowS #

type Rep (PraosCannotForge c) Source #

Instance details

type Rep (PraosCannotForge c) = D1 ('MetaData "PraosCannotForge" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosCannotForgeKeyNotUsableYet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod)))

data PraosFields c toSign Source #

Constructors

PraosFields
Fields praosSignature ∷ SignedKES (KES c) toSign praosToSign ∷ toSign

Instances

Instances details

Generic (PraosFields c toSign) Source #

Instance details

Associated Types

type Rep (PraosFields c toSign)

Instance details

type Rep (PraosFields c toSign) = D1 ('MetaData "PraosFields" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignedKES (KES c) toSign)) :*: S1 ('MetaSel ('Just "praosToSign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 toSign)))

Methods

from ∷ PraosFields c toSign → Rep (PraosFields c toSign) x #

to ∷ Rep (PraosFields c toSign) x → PraosFields c toSign #

(Show toSign, Crypto c) ⇒ Show (PraosFields c toSign) Source #

Instance details

Methods

showsPrec ∷ Int → PraosFields c toSign → ShowS #

show ∷ PraosFields c toSign → String #

showList ∷ [PraosFields c toSign] → ShowS #

(NoThunks toSign, Crypto c) ⇒ NoThunks (PraosFields c toSign) Source #

Instance details

Methods

noThunks ∷ Context → PraosFields c toSign → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PraosFields c toSign → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PraosFields c toSign) → String Source #

type Rep (PraosFields c toSign) Source #

Instance details

type Rep (PraosFields c toSign) = D1 ('MetaData "PraosFields" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignedKES (KES c) toSign)) :*: S1 ('MetaSel ('Just "praosToSign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 toSign)))

newtype PraosIsLeader c Source #

Assembled proof that the issuer has the right to issue a block in the selected slot.

Constructors

PraosIsLeader
Fields praosIsLeaderVrfRes ∷ CertifiedVRF (VRF c) InputVRF

Instances

Instances details

Generic (PraosIsLeader c) Source #

Instance details

Associated Types

type Rep (PraosIsLeader c)

Instance details

type Rep (PraosIsLeader c) = D1 ('MetaData "PraosIsLeader" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "PraosIsLeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosIsLeaderVrfRes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) InputVRF))))

Methods

from ∷ PraosIsLeader c → Rep (PraosIsLeader c) x #

to ∷ Rep (PraosIsLeader c) x → PraosIsLeader c #

Crypto c ⇒ NoThunks (PraosIsLeader c) Source #

Instance details

Methods

noThunks ∷ Context → PraosIsLeader c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PraosIsLeader c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PraosIsLeader c) → String Source #

type Rep (PraosIsLeader c) Source #

Instance details

type Rep (PraosIsLeader c) = D1 ('MetaData "PraosIsLeader" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'True) (C1 ('MetaCons "PraosIsLeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosIsLeaderVrfRes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) InputVRF))))

data PraosParams Source #

Praos parameters that are node independent

Constructors

PraosParams

Fields

praosSlotsPerKESPeriod ∷ !Word64
See slotsPerKESPeriod.
praosLeaderF ∷ !ActiveSlotCoeff
Active slots coefficient. This parameter represents the proportion of slots in which blocks should be issued. This can be interpreted as the probability that a party holding all the stake will be elected as leader for a given slot.
praosSecurityParam ∷ !SecurityParam
See securityParameter.
praosMaxKESEvo ∷ !Word64
Maximum number of KES iterations, see maxKESEvo.
praosMaxMajorPV ∷ !MaxMajorProtVer
All blocks invalid after this protocol version, see maxMajorPV.
praosRandomnessStabilisationWindow ∷ !Word64
The number of slots before the start of an epoch where the corresponding epoch nonce is snapshotted. This has to be at least one stability window such that the nonce is stable at the beginning of the epoch. Ouroboros Genesis requires this to be even larger, see computeRandomnessStabilisationWindow.

Instances

Instances details

Generic PraosParams Source #

Instance details

Associated Types

type Rep PraosParams

Instance details

type Rep PraosParams = D1 ('MetaData "PraosParams" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosParams" 'PrefixI 'True) ((S1 ('MetaSel ('Just "praosSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "praosLeaderF") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :*: S1 ('MetaSel ('Just "praosSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam))) :*: (S1 ('MetaSel ('Just "praosMaxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "praosMaxMajorPV") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MaxMajorProtVer) :*: S1 ('MetaSel ('Just "praosRandomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))))

Methods

from ∷ PraosParams → Rep PraosParams x #

to ∷ Rep PraosParams x → PraosParams #

NoThunks PraosParams Source #

Instance details

Methods

noThunks ∷ Context → PraosParams → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PraosParams → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PraosParams → String Source #

type Rep PraosParams Source #

Instance details

type Rep PraosParams = D1 ('MetaData "PraosParams" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosParams" 'PrefixI 'True) ((S1 ('MetaSel ('Just "praosSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "praosLeaderF") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :*: S1 ('MetaSel ('Just "praosSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam))) :*: (S1 ('MetaSel ('Just "praosMaxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "praosMaxMajorPV") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MaxMajorProtVer) :*: S1 ('MetaSel ('Just "praosRandomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))))

data PraosToSign c Source #

Fields arising from praos execution which must be included in the block signature.

Constructors

PraosToSign

Fields

praosToSignIssuerVK ∷ VKey 'BlockIssuer
Verification key for the issuer of this block.
praosToSignVrfVK ∷ VerKeyVRF (VRF c)
praosToSignVrfRes ∷ CertifiedVRF (VRF c) InputVRF
Verifiable random value. This is used both to prove the issuer is eligible to issue a block, and to contribute to the evolving nonce.
praosToSignOCert ∷ OCert c
Lightweight delegation certificate mapping the cold (DSIGN) key to the online KES key.

Instances

Instances details

Generic (PraosToSign c) Source #

Instance details

Associated Types

type Rep (PraosToSign c)

Instance details

type Rep (PraosToSign c) = D1 ('MetaData "PraosToSign" "Ouroboros.Consensus.Protocol.PolyPraos" "ouroboros-consensus-5.0.0.0-inplace-protocol" 'False) (C1 ('MetaCons "PraosToSign" 'PrefixI 'True) ((S1 ('MetaSel ('Just "praosToSignIssuerVK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VKey 'BlockIssuer)) :*: S1 ('MetaSel ('Just "praosToSignVrfVK") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyVRF (VRF c)))) :*: (S1 ('MetaSel ('Just "praosToSignVrfRes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertifiedVRF (VRF c) InputVRF)) :*: S1 ('MetaSel ('Just "praosToSignOCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OCert c)))))

Methods

from ∷ PraosToSign c → Rep (PraosToSign c) x #

to ∷ Rep (PraosToSign c) x → PraosToSign c #

Crypto c ⇒ Show (PraosToSign c) Source #

Instance details

Methods

showsPrec ∷ Int → PraosToSign c → ShowS #

show ∷ PraosToSign c → String #

showList ∷ [PraosToSign c] → ShowS #

Crypto c ⇒ NoThunks (PraosToSign c) Source #

Instance details

Methods

noThunks ∷ Context → PraosToSign c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PraosToSign c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PraosToSign c) → String Source #

type Rep (PraosToSign c) Source #

Instance details