storage-test
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Storage.PerasCertDB.Model

Documentation

data Model blk Source #

Constructors

Model 

Fields

Instances

Instances details
Generic (Model blk) Source # 
Instance details

Defined in Test.Ouroboros.Storage.PerasCertDB.Model

Associated Types

type Rep (Model blk) 
Instance details

Defined in Test.Ouroboros.Storage.PerasCertDB.Model

type Rep (Model blk) = D1 ('MetaData "Model" "Test.Ouroboros.Storage.PerasCertDB.Model" "ouroboros-consensus-1.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) (S1 ('MetaSel ('Just "certs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (WithArrivalTime (ValidatedPerasCert blk)))) :*: (S1 ('MetaSel ('Just "latestCertSeen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (WithArrivalTime (ValidatedPerasCert blk)))) :*: S1 ('MetaSel ('Just "open") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

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.PerasCertDB.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.PerasCertDB.Model

type Rep (Model blk) = D1 ('MetaData "Model" "Test.Ouroboros.Storage.PerasCertDB.Model" "ouroboros-consensus-1.0.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) (S1 ('MetaSel ('Just "certs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (WithArrivalTime (ValidatedPerasCert blk)))) :*: (S1 ('MetaSel ('Just "latestCertSeen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (WithArrivalTime (ValidatedPerasCert blk)))) :*: S1 ('MetaSel ('Just "open") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

initModel ∷ Model blk Source #

openDB ∷ Model blk → Model blk Source #

closeDB ∷ Model blk → Model blk Source #

addCert ∷ StandardHash blk ⇒ Model blk → WithArrivalTime (ValidatedPerasCert blk) → Model blk Source #

getWeightSnapshot ∷ StandardHash blk ⇒ Model blk → PerasWeightSnapshot blk Source #

getLatestCertSeen ∷ Model blk → Maybe (WithArrivalTime (ValidatedPerasCert blk)) Source #

garbageCollect ∷ SlotNo → Model blk → Model blk Source #

hasRoundNo ∷ Set (WithArrivalTime (ValidatedPerasCert blk)) → WithArrivalTime (ValidatedPerasCert blk) → Bool Source #