ouroboros-consensus

Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Storage.PerasVoteDB.Model

Documentation

data PerasVoteDbModelError Source #

Constructors

MultipleWinnersInRound PerasRoundNo

Instances

Instances details

Generic PerasVoteDbModelError Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Associated Types

type Rep PerasVoteDbModelError

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep PerasVoteDbModelError = D1 ('MetaData "PerasVoteDbModelError" "Test.Ouroboros.Storage.PerasVoteDB.Model" "ouroboros-consensus-4.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "MultipleWinnersInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo)))

Methods

from ∷ PerasVoteDbModelError → Rep PerasVoteDbModelError x #

to ∷ Rep PerasVoteDbModelError x → PerasVoteDbModelError #

Show PerasVoteDbModelError Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Methods

showsPrec ∷ Int → PerasVoteDbModelError → ShowS #

show ∷ PerasVoteDbModelError → String #

showList ∷ [PerasVoteDbModelError] → ShowS #

type Rep PerasVoteDbModelError Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep PerasVoteDbModelError = D1 ('MetaData "PerasVoteDbModelError" "Test.Ouroboros.Storage.PerasVoteDB.Model" "ouroboros-consensus-4.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "MultipleWinnersInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo)))

data VoteEntry blk Source #

Constructors

VoteEntry
Fields veTicketNo ∷ PerasVoteTicketNo The ticket number assigned to this vote veVoter ∷ PerasSeatIndex The seat index of the voter veVote ∷ WithArrivalTime (ValidatedPerasVote blk) The vote itself

Instances

Instances details

Eq (PerasVote blk) ⇒ Eq (VoteEntry blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Methods

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

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

Ord (PerasVote blk) ⇒ Ord (VoteEntry blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Methods

compare ∷ VoteEntry blk → VoteEntry blk → Ordering #

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

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

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

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

max ∷ VoteEntry blk → VoteEntry blk → VoteEntry blk #

min ∷ VoteEntry blk → VoteEntry blk → VoteEntry blk #

Generic (VoteEntry blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Associated Types

type Rep (VoteEntry blk)

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep (VoteEntry blk) = D1 ('MetaData "VoteEntry" "Test.Ouroboros.Storage.PerasVoteDB.Model" "ouroboros-consensus-4.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "VoteEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "veTicketNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoteTicketNo) :*: (S1 ('MetaSel ('Just "veVoter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasSeatIndex) :*: S1 ('MetaSel ('Just "veVote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk))))))

Methods

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

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

Show (PerasVote blk) ⇒ Show (VoteEntry blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Methods

showsPrec ∷ Int → VoteEntry blk → ShowS #

show ∷ VoteEntry blk → String #

showList ∷ [VoteEntry blk] → ShowS #

type Rep (VoteEntry blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep (VoteEntry blk) = D1 ('MetaData "VoteEntry" "Test.Ouroboros.Storage.PerasVoteDB.Model" "ouroboros-consensus-4.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "VoteEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "veTicketNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoteTicketNo) :*: (S1 ('MetaSel ('Just "veVoter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasSeatIndex) :*: S1 ('MetaSel ('Just "veVote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk))))))

data Model blk Source #

Constructors

Model
Fields open ∷ Bool Is the database open? params ∷ PerasParams blk Configuration parameters lastTicketNo ∷ PerasVoteTicketNo The last issued ticket number votes ∷ Map (PerasVoteTarget blk) (Set (VoteEntry blk)) Collection of votes indexed by target (round number, boosted block) certs ∷ Map PerasRoundNo (ValidatedPerasCert blk) Forged certificates indexed by round number

Instances

Instances details

Generic (Model blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Associated Types

type Rep (Model blk)

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep (Model blk) = D1 ('MetaData "Model" "Test.Ouroboros.Storage.PerasVoteDB.Model" "ouroboros-consensus-4.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) ((S1 ('MetaSel ('Just "open") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasParams blk))) :*: (S1 ('MetaSel ('Just "lastTicketNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoteTicketNo) :*: (S1 ('MetaSel ('Just "votes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PerasVoteTarget blk) (Set (VoteEntry blk)))) :*: S1 ('MetaSel ('Just "certs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PerasRoundNo (ValidatedPerasCert blk)))))))

Methods

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

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

(StandardHash blk, Show (PerasVote blk), Show (PerasCert blk)) ⇒ Show (Model blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Methods

showsPrec ∷ Int → Model blk → ShowS #

show ∷ Model blk → String #

showList ∷ [Model blk] → ShowS #

(StandardHash blk, Show (PerasVote blk), Show (PerasCert blk)) ⇒ ToExpr (Model blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

Methods

toExpr ∷ Model blk → Expr Source #

listToExpr ∷ [Model blk] → Expr Source #

type Rep (Model blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep (Model blk) = D1 ('MetaData "Model" "Test.Ouroboros.Storage.PerasVoteDB.Model" "ouroboros-consensus-4.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) ((S1 ('MetaSel ('Just "open") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasParams blk))) :*: (S1 ('MetaSel ('Just "lastTicketNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoteTicketNo) :*: (S1 ('MetaSel ('Just "votes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PerasVoteTarget blk) (Set (VoteEntry blk)))) :*: S1 ('MetaSel ('Just "certs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PerasRoundNo (ValidatedPerasCert blk)))))))

initModel ∷ PerasParams blk → Model blk Source #

openDB ∷ Model blk → Model blk Source #

closeDB ∷ Model blk → Model blk Source #

addVote ∷ (StandardHash blk, Ord (PerasVote blk), PerasCert blk ~ MockPerasCert blk, IsPerasVote (PerasVote blk) blk, IsPerasCert (PerasCert blk) blk) ⇒ WithArrivalTime (ValidatedPerasVote blk) → Model blk → (Either PerasVoteDbModelError (AddPerasVoteResult blk), Model blk) Source #

getVoteIds ∷ Model blk → Set PerasVoteId Source #

getVotesAfter ∷ PerasVoteTicketNo → Model blk → Map PerasVoteTicketNo (WithArrivalTime (ValidatedPerasVote blk)) Source #

getForgedCertForRound ∷ PerasRoundNo → Model blk → Maybe (ValidatedPerasCert blk) Source #

garbageCollect ∷ SlotNo → Model blk → Model blk Source #