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-1.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-1.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "MultipleWinnersInRound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo)))

data Model blk Source #

Constructors

Model
Fields open ∷ Bool Is the database open? params ∷ PerasParams 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)

Methods

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

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

StandardHash 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 #

type Rep (Model blk) Source #

Instance details

Defined in Test.Ouroboros.Storage.PerasVoteDB.Model

type Rep (Model blk)

initModel ∷ PerasCfg blk → Model blk Source #

openDB ∷ Model blk → Model blk Source #

closeDB ∷ Model blk → Model blk Source #

addVote ∷ StandardHash blk ⇒ WithArrivalTime (ValidatedPerasVote blk) → Model blk → (Either PerasVoteDbModelError (AddPerasVoteResult blk), Model blk) Source #

getVoteIds ∷ Model blk → Set (PerasVoteId blk) Source #

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

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

garbageCollect ∷ PerasRoundNo → Model blk → Model blk Source #