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-0.28.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) (S1 ('MetaSel ('Just "certs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (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-0.28.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) (S1 ('MetaSel ('Just "certs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (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 → ValidatedPerasCert blk → Model blk Source #

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

garbageCollect ∷ StandardHash blk ⇒ SlotNo → Model blk → Model blk Source #

hasRoundNo ∷ StandardHash blk ⇒ Set (ValidatedPerasCert blk) → ValidatedPerasCert blk → Bool Source #