Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Error.V1

Description

Concrete Peras error types for the V1 voting protocol.

NOTE: this module is meant to be imported qualified.

Synopsis

data PerasError blk

Documentation

data PerasError blk Source #

Collection of voting-related errors for Peras

Constructors

PerasVotingWFAError WFAError
PerasVotingCommitteeError (PerasVotingCommitteeError blk)
PerasVotingConversionError PerasConversionError
PerasQuorumNotReachedError VoteWeight
PerasCertTooLargeError
Fields PerasCertSize Size limit PerasCertSize Actual size

Instances

Instances details

Eq (PerasVotingCommitteeError blk) ⇒ Eq (PerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

Methods

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

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

(Typeable blk, Show (PerasVotingCommitteeError blk)) ⇒ Exception (PerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

Methods

toException ∷ PerasError blk → SomeException #

fromException ∷ SomeException → Maybe (PerasError blk) #

displayException ∷ PerasError blk → String #

backtraceDesired ∷ PerasError blk → Bool #

Generic (PerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

Associated Types

type Rep (PerasError blk)

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

type Rep (PerasError blk) = D1 ('MetaData "PerasError" "Ouroboros.Consensus.Peras.Error.V1" "ouroboros-consensus-5.0.0.0-inplace" 'False) ((C1 ('MetaCons "PerasVotingWFAError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WFAError)) :+: C1 ('MetaCons "PerasVotingCommitteeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasVotingCommitteeError blk)))) :+: (C1 ('MetaCons "PerasVotingConversionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasConversionError)) :+: (C1 ('MetaCons "PerasQuorumNotReachedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VoteWeight)) :+: C1 ('MetaCons "PerasCertTooLargeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCertSize) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCertSize)))))

Methods

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

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

Show (PerasVotingCommitteeError blk) ⇒ Show (PerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

Methods

showsPrec ∷ Int → PerasError blk → ShowS #

show ∷ PerasError blk → String #

showList ∷ [PerasError blk] → ShowS #

NoThunks (PerasVotingCommitteeError blk) ⇒ NoThunks (PerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

Methods

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

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

showTypeOf ∷ Proxy (PerasError blk) → String Source #

IsPerasError (PerasError blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

Methods

injectVotingCommitteeError ∷ PerasVotingCommitteeError blk → PerasError blk Source #

injectConversionError ∷ PerasConversionError → PerasError blk Source #

injectQuorumNotReachedError ∷ VoteWeight → PerasError blk Source #

type Rep (PerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.V1

type Rep (PerasError blk) = D1 ('MetaData "PerasError" "Ouroboros.Consensus.Peras.Error.V1" "ouroboros-consensus-5.0.0.0-inplace" 'False) ((C1 ('MetaCons "PerasVotingWFAError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WFAError)) :+: C1 ('MetaCons "PerasVotingCommitteeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasVotingCommitteeError blk)))) :+: (C1 ('MetaCons "PerasVotingConversionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasConversionError)) :+: (C1 ('MetaCons "PerasQuorumNotReachedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VoteWeight)) :+: C1 ('MetaCons "PerasCertTooLargeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCertSize) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasCertSize)))))