ouroboros-consensus

Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Storage.PerasVoteDB.Impl

Contents

Opening
Trace types

Synopsis

data PerasVoteDbArgs (f ∷ Type → Type) (m ∷ Type → Type) blk = PerasVoteDbArgs {
- pvdbaTracer ∷ Tracer m (TraceEvent blk)
- pvdbaPerasCfg ∷ HKD f (PerasCfg blk)
}
defaultArgs ∷ ∀ (m ∷ Type → Type) blk. Applicative m ⇒ Incomplete PerasVoteDbArgs m blk
createDB ∷ (IOLike m, StandardHash blk, Typeable blk) ⇒ Complete PerasVoteDbArgs m blk → m (PerasVoteDB m blk)
data TraceEvent blk
- = AddVote (PerasVoteId blk) (WithArrivalTime (ValidatedPerasVote blk)) (AddPerasVoteResult blk)
- | GarbageCollected SlotNo

Opening

data PerasVoteDbArgs (f ∷ Type → Type) (m ∷ Type → Type) blk Source #

Constructors

PerasVoteDbArgs
Fields pvdbaTracer ∷ Tracer m (TraceEvent blk) pvdbaPerasCfg ∷ HKD f (PerasCfg blk)

defaultArgs ∷ ∀ (m ∷ Type → Type) blk. Applicative m ⇒ Incomplete PerasVoteDbArgs m blk Source #

createDB ∷ (IOLike m, StandardHash blk, Typeable blk) ⇒ Complete PerasVoteDbArgs m blk → m (PerasVoteDB m blk) Source #

Trace types

data TraceEvent blk Source #

Constructors

AddVote (PerasVoteId blk) (WithArrivalTime (ValidatedPerasVote blk)) (AddPerasVoteResult blk)
GarbageCollected SlotNo

Instances

Instances details

Generic (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl

Associated Types

type Rep (TraceEvent blk)

Instance details

Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl

type Rep (TraceEvent blk) = D1 ('MetaData "TraceEvent" "Ouroboros.Consensus.Storage.PerasVoteDB.Impl" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "AddVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasVoteId blk)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddPerasVoteResult blk)))) :+: C1 ('MetaCons "GarbageCollected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)))

Methods

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

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

StandardHash blk ⇒ Show (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl

Methods

showsPrec ∷ Int → TraceEvent blk → ShowS #

show ∷ TraceEvent blk → String #

showList ∷ [TraceEvent blk] → ShowS #

StandardHash blk ⇒ Eq (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl

Methods

(==) ∷ TraceEvent blk → TraceEvent blk → Bool #

(/=) ∷ TraceEvent blk → TraceEvent blk → Bool #

type Rep (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl

type Rep (TraceEvent blk) = D1 ('MetaData "TraceEvent" "Ouroboros.Consensus.Storage.PerasVoteDB.Impl" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "AddVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PerasVoteId blk)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddPerasVoteResult blk)))) :+: C1 ('MetaCons "GarbageCollected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)))