ouroboros-consensus
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-4.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 (WithBoostedBlockStatus (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 #

Show (PerasCert 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 #

Show (PerasCert blk) ⇒ ToExpr (Model blk) Source # 
Instance details

Defined in Test.Ouroboros.Storage.PerasCertDB.Model

Methods

toExpr ∷ Model blk → Expr Source #

listToExpr ∷ [Model blk] → Expr Source #

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-4.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 (WithBoostedBlockStatus (WithArrivalTime (ValidatedPerasCert blk))))) :*: S1 ('MetaSel ('Just "open") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

initModel ∷ Model blk Source #

openDB ∷ Model blk → Model blk Source #

addCert ∷ (Ord (PerasCert blk), IsPerasCert (PerasCert blk) blk) ⇒ Model blk → WithArrivalTime (ValidatedPerasCert blk) → (AddPerasCertResult, Model blk) Source #

getWeightSnapshot ∷ (IsPerasCert (PerasCert blk) blk, StandardHash blk) ⇒ Model blk → PerasWeightSnapshot blk Source #

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

garbageCollect ∷ IsPerasCert (PerasCert blk) blk ⇒ SlotNo → Model blk → Model blk Source #

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