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)
}
defaultArgs ∷ ∀ (m ∷ Type → Type) blk. Monad m ⇒ Incomplete PerasVoteDbArgs m blk
createDB ∷ (IOLike m, BlockSupportsPeras blk) ⇒ Complete PerasVoteDbArgs m blk → PerasEpochContextResolverHandle m blk → m (PerasVoteDB m blk)
data TraceEvent blk
- = AddVote PerasVoteId (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)

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

createDB ∷ (IOLike m, BlockSupportsPeras blk) ⇒ Complete PerasVoteDbArgs m blk → PerasEpochContextResolverHandle m blk → m (PerasVoteDB m blk) Source #

Trace types

data TraceEvent blk Source #

Constructors

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

Instances

Instances details

(Eq (PerasVote blk), Eq (PerasCert 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 #

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-4.0.0.0-inplace" 'False) (C1 ('MetaCons "AddVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoteId) :*: (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 #

(Show (PerasVote blk), Show (PerasCert 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 #

(NoThunks (PerasVote blk), NoThunks (PerasCert blk)) ⇒ NoThunks (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl

Methods

noThunks ∷ Context → TraceEvent blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TraceEvent blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TraceEvent blk) → String Source #

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-4.0.0.0-inplace" 'False) (C1 ('MetaCons "AddVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasVoteId) :*: (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)))