ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Cert.Mock

Description

Mocked Peras certificates without crypto.

Synopsis

Documentation

data MockPerasCert blk Source #

Mocked Peras certificates without crypto.

NOTE: this is parameterized around the concrete block type being certified.

Constructors

MockPerasCert 

Fields

Instances

Instances details
ConvertRawHash blk ⇒ SerialiseNodeToNode blk (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

encodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → MockPerasCert blk → Encoding Source #

decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s (MockPerasCert blk) Source #

ShowProxy blk ⇒ ShowProxy (MockPerasCert blk ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

showProxy ∷ Proxy (MockPerasCert blk) → String #

(Typeable blk, FromCBOR (Point blk)) ⇒ FromCBOR (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

fromCBOR ∷ Decoder s (MockPerasCert blk) Source #

label ∷ Proxy (MockPerasCert blk) → Text Source #

(Typeable blk, ToCBOR (Point blk)) ⇒ ToCBOR (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

toCBOR ∷ MockPerasCert blk → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MockPerasCert blk) → Size Source #

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

StandardHash blk ⇒ NFData (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

rnf ∷ MockPerasCert blk → () #

StandardHash blk ⇒ Eq (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

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

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

StandardHash blk ⇒ Ord (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

compare ∷ MockPerasCert blk → MockPerasCert blk → Ordering #

(<) ∷ MockPerasCert blk → MockPerasCert blk → Bool #

(<=) ∷ MockPerasCert blk → MockPerasCert blk → Bool #

(>) ∷ MockPerasCert blk → MockPerasCert blk → Bool #

(>=) ∷ MockPerasCert blk → MockPerasCert blk → Bool #

max ∷ MockPerasCert blk → MockPerasCert blk → MockPerasCert blk #

min ∷ MockPerasCert blk → MockPerasCert blk → MockPerasCert blk #

Generic (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Associated Types

type Rep (MockPerasCert blk) 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

type Rep (MockPerasCert blk) = D1 ('MetaData "MockPerasCert" "Ouroboros.Consensus.Peras.Cert.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "MockPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "mockCertBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "mockCertVoters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NE (Set PerasSeatIndex))))))

Methods

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

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

StandardHash blk ⇒ Show (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

showsPrec ∷ Int → MockPerasCert blk → ShowS #

show ∷ MockPerasCert blk → String #

showList ∷ [MockPerasCert blk] → ShowS #

StandardHash blk ⇒ NoThunks (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

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

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

showTypeOf ∷ Proxy (MockPerasCert blk) → String Source #

IsPerasCert (MockPerasCert blk) blk Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

Methods

getPerasCertRound ∷ MockPerasCert blk → PerasRoundNo Source #

getPerasCertBlock ∷ MockPerasCert blk → BoostedBlock (MockPerasCert blk) Source #

getPerasCertPoint ∷ MockPerasCert blk → Point blk Source #

PerasCertCompatibleWithVotingCommittee (MockPerasCert blk) (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Crypto.Mock

Methods

toPerasCert ∷ Cert (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk) → Either PerasConversionError (MockPerasCert blk) Source #

fromPerasCert ∷ MockPerasCert blk → Either PerasConversionError (Cert (MockPerasCrypto blk) (MockPerasVotingCommitteeScheme blk)) Source #

type Rep (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

type Rep (MockPerasCert blk) = D1 ('MetaData "MockPerasCert" "Ouroboros.Consensus.Peras.Cert.Mock" "ouroboros-consensus-4.0.0.0-inplace" 'False) (C1 ('MetaCons "MockPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: (S1 ('MetaSel ('Just "mockCertBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "mockCertVoters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NE (Set PerasSeatIndex))))))
type BoostedBlock (MockPerasCert blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

type BoostedBlock (MockPerasCert blk) = Point blk

Orphan instances

Generic (NESet a) Source # 
Instance details

Associated Types

type Rep (NESet a) 
Instance details

Defined in Ouroboros.Consensus.Peras.Cert.Mock

type Rep (NESet a) = D1 ('MetaData "NESet" "Data.Set.NonEmpty.Internal" "nonempty-containers-0.3.6.0-46534bfd7e7b2dde45735d67825e6f78756b21e09b43107cbeed2081f704f646" 'False) (C1 ('MetaCons "NESet" 'PrefixI 'True) (S1 ('MetaSel ('Just "nesV0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "nesSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a))))

Methods

from ∷ NESet a → Rep (NESet a) x #

to ∷ Rep (NESet a) x → NESet a #