Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Storage.PerasCertDB.Impl

Contents

Opening
Trace types
Exceptions

Synopsis

data PerasCertDbArgs (f ∷ Type → Type) (m ∷ Type → Type) blk = PerasCertDbArgs {
- pcdbaTracer ∷ Tracer m (TraceEvent blk)
}
defaultArgs ∷ ∀ (m ∷ Type → Type) blk. Applicative m ⇒ Incomplete PerasCertDbArgs m blk
openDB ∷ (IOLike m, StandardHash blk) ⇒ Complete PerasCertDbArgs m blk → m (PerasCertDB m blk)
data TraceEvent blk
- = OpenedPerasCertDB
- | ClosedPerasCertDB
- | AddingPerasCert PerasRoundNo (Point blk)
- | AddedPerasCert PerasRoundNo (Point blk)
- | IgnoredCertAlreadyInDB PerasRoundNo (Point blk)
data PerasCertDbError = ClosedDBError PrettyCallStack

Opening

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

Constructors

PerasCertDbArgs
Fields pcdbaTracer ∷ Tracer m (TraceEvent blk)

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

openDB ∷ (IOLike m, StandardHash blk) ⇒ Complete PerasCertDbArgs m blk → m (PerasCertDB m blk) Source #

Trace types

data TraceEvent blk Source #

Constructors

OpenedPerasCertDB
ClosedPerasCertDB
AddingPerasCert PerasRoundNo (Point blk)
AddedPerasCert PerasRoundNo (Point blk)
IgnoredCertAlreadyInDB PerasRoundNo (Point blk)

Instances

Instances details

Generic (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasCertDB.Impl

Associated Types

type Rep (TraceEvent blk)

Instance details

Defined in Ouroboros.Consensus.Storage.PerasCertDB.Impl

type Rep (TraceEvent blk) = D1 ('MetaData "TraceEvent" "Ouroboros.Consensus.Storage.PerasCertDB.Impl" "ouroboros-consensus-0.28.0.0-inplace" 'False) ((C1 ('MetaCons "OpenedPerasCertDB" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ClosedPerasCertDB" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "AddingPerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: (C1 ('MetaCons "AddedPerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "IgnoredCertAlreadyInDB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))))

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.PerasCertDB.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.PerasCertDB.Impl

Methods

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

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

type Rep (TraceEvent blk) Source #

Instance details

Defined in Ouroboros.Consensus.Storage.PerasCertDB.Impl

type Rep (TraceEvent blk) = D1 ('MetaData "TraceEvent" "Ouroboros.Consensus.Storage.PerasCertDB.Impl" "ouroboros-consensus-0.28.0.0-inplace" 'False) ((C1 ('MetaCons "OpenedPerasCertDB" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ClosedPerasCertDB" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "AddingPerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: (C1 ('MetaCons "AddedPerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))) :+: C1 ('MetaCons "IgnoredCertAlreadyInDB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))))

Exceptions

data PerasCertDbError Source #

Constructors

ClosedDBError PrettyCallStack

Instances

Instances details

Exception PerasCertDbError Source #
Instance details Defined in Ouroboros.Consensus.Storage.PerasCertDB.Impl Methods toException ∷ PerasCertDbError → SomeException # fromException ∷ SomeException → Maybe PerasCertDbError # displayException ∷ PerasCertDbError → String # backtraceDesired ∷ PerasCertDbError → Bool #
Show PerasCertDbError Source #
Instance details Defined in Ouroboros.Consensus.Storage.PerasCertDB.Impl Methods showsPrec ∷ Int → PerasCertDbError → ShowS # show ∷ PerasCertDbError → String # showList ∷ [PerasCertDbError] → ShowS #