Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Peras.Error.Mock

Description

Concrete Peras error types for the V1 voting protocol.

NOTE: this module is meant to be imported qualified.

Synopsis

data MockPerasError blk

Documentation

data MockPerasError blk Source #

Collection of voting-related errors for Peras

Constructors

PerasVotingCommitteeError (PerasVotingCommitteeError blk)
PerasVotingConversionError PerasConversionError
PerasQuorumNotReachedError VoteWeight
InputStakeDistrIsEmpty

Instances

Instances details

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

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

Methods

toException ∷ MockPerasError blk → SomeException #

fromException ∷ SomeException → Maybe (MockPerasError blk) #

displayException ∷ MockPerasError blk → String #

backtraceDesired ∷ MockPerasError blk → Bool #

Generic (MockPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

Associated Types

type Rep (MockPerasError blk)

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

type Rep (MockPerasError blk) = D1 ('MetaData "MockPerasError" "Ouroboros.Consensus.Peras.Error.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((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 "InputStakeDistrIsEmpty" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

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

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

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

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

Methods

showsPrec ∷ Int → MockPerasError blk → ShowS #

show ∷ MockPerasError blk → String #

showList ∷ [MockPerasError blk] → ShowS #

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

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

Methods

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

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

showTypeOf ∷ Proxy (MockPerasError blk) → String Source #

IsPerasError (MockPerasError blk) blk Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

Methods

injectVotingCommitteeError ∷ PerasVotingCommitteeError blk → MockPerasError blk Source #

injectConversionError ∷ PerasConversionError → MockPerasError blk Source #

injectQuorumNotReachedError ∷ VoteWeight → MockPerasError blk Source #

type Rep (MockPerasError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Peras.Error.Mock

type Rep (MockPerasError blk) = D1 ('MetaData "MockPerasError" "Ouroboros.Consensus.Peras.Error.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) ((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 "InputStakeDistrIsEmpty" 'PrefixI 'False) (U1 ∷ Type → Type)))