ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

Synopsis

Documentation

data TracePerasCertInclusionEvent blk Source #

Peras certificate inclusion events.

Constructors

TracePerasCertInclusionNoCertToInclude

There is no latest certificate seen available to include in a block

Fields

TracePerasCertInclusionRulesDecision

The decision made by the inclusion rules for a certificate

Fields

Instances

Instances details
Eq (PerasCert blk) ⇒ Eq (TracePerasCertInclusionEvent blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

Methods

(==) ∷ TracePerasCertInclusionEvent blk → TracePerasCertInclusionEvent blk → Bool #

(/=) ∷ TracePerasCertInclusionEvent blk → TracePerasCertInclusionEvent blk → Bool #

Generic (TracePerasCertInclusionEvent blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

Associated Types

type Rep (TracePerasCertInclusionEvent blk) 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

type Rep (TracePerasCertInclusionEvent blk) = D1 ('MetaData "TracePerasCertInclusionEvent" "Ouroboros.Consensus.Peras.Cert.Inclusion.Trace" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "TracePerasCertInclusionNoCertToInclude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons "TracePerasCertInclusionRulesDecision" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasCertInclusionRulesDecision (WithArrivalTime (ValidatedPerasCert blk)))))))

Methods

from ∷ TracePerasCertInclusionEvent blk → Rep (TracePerasCertInclusionEvent blk) x #

to ∷ Rep (TracePerasCertInclusionEvent blk) x → TracePerasCertInclusionEvent blk #

Show (PerasCert blk) ⇒ Show (TracePerasCertInclusionEvent blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

Methods

showsPrec ∷ Int → TracePerasCertInclusionEvent blk → ShowS #

show ∷ TracePerasCertInclusionEvent blk → String #

showList ∷ [TracePerasCertInclusionEvent blk] → ShowS #

NoThunks (PerasCert blk) ⇒ NoThunks (TracePerasCertInclusionEvent blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

Methods

noThunks ∷ Context → TracePerasCertInclusionEvent blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TracePerasCertInclusionEvent blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TracePerasCertInclusionEvent blk) → String Source #

type Rep (TracePerasCertInclusionEvent blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Inclusion.Trace

type Rep (TracePerasCertInclusionEvent blk) = D1 ('MetaData "TracePerasCertInclusionEvent" "Ouroboros.Consensus.Peras.Cert.Inclusion.Trace" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "TracePerasCertInclusionNoCertToInclude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :+: C1 ('MetaCons "TracePerasCertInclusionRulesDecision" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasCertInclusionRulesDecision (WithArrivalTime (ValidatedPerasCert blk)))))))