| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.PerasCertDB.Impl
Contents
Synopsis
- data PerasCertDbArgs (f ∷ Type → Type) (m ∷ Type → Type) blk = PerasCertDbArgs {
- pcdbaTracer ∷ Tracer m (TraceEvent blk)
- defaultArgs ∷ ∀ (m ∷ Type → Type) blk. Monad m ⇒ Incomplete PerasCertDbArgs m blk
- createDB ∷ (IOLike m, BlockSupportsPeras blk) ⇒ Complete PerasCertDbArgs m blk → m (PerasCertDB m blk)
- data TraceEvent blk
Opening
data PerasCertDbArgs (f ∷ Type → Type) (m ∷ Type → Type) blk Source #
Constructors
| PerasCertDbArgs | |
Fields
| |
defaultArgs ∷ ∀ (m ∷ Type → Type) blk. Monad m ⇒ Incomplete PerasCertDbArgs m blk Source #
createDB ∷ (IOLike m, BlockSupportsPeras blk) ⇒ Complete PerasCertDbArgs m blk → m (PerasCertDB m blk) Source #
Trace types
data TraceEvent blk Source #
Constructors
| AddCert PerasRoundNo (WithArrivalTime (ValidatedPerasCert blk)) AddPerasCertResult | |
| GarbageCollected SlotNo |