| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.PerasVoteDB.Impl
Contents
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 PerasRoundNo
- newtype ExistingPerasRoundWinner (blk ∷ k) = ExistingPerasRoundWinner (Point blk, PerasVoteStake)
- newtype BlockedPerasRoundWinner (blk ∷ k) = BlockedPerasRoundWinner (Point blk, PerasVoteStake)
- data PerasVoteDbError blk
Opening
data PerasVoteDbArgs (f ∷ Type → Type) (m ∷ Type → Type) blk Source #
Constructors
| PerasVoteDbArgs | |
Fields
| |
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 PerasRoundNo |
Instances
Exceptions
newtype ExistingPerasRoundWinner (blk ∷ k) Source #
Constructors
| ExistingPerasRoundWinner (Point blk, PerasVoteStake) |
Instances
| StandardHash blk ⇒ Show (ExistingPerasRoundWinner blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl Methods showsPrec ∷ Int → ExistingPerasRoundWinner blk → ShowS # show ∷ ExistingPerasRoundWinner blk → String # showList ∷ [ExistingPerasRoundWinner blk] → ShowS # | |
| StandardHash blk ⇒ Eq (ExistingPerasRoundWinner blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl Methods (==) ∷ ExistingPerasRoundWinner blk → ExistingPerasRoundWinner blk → Bool # (/=) ∷ ExistingPerasRoundWinner blk → ExistingPerasRoundWinner blk → Bool # | |
newtype BlockedPerasRoundWinner (blk ∷ k) Source #
Constructors
| BlockedPerasRoundWinner (Point blk, PerasVoteStake) |
Instances
| StandardHash blk ⇒ Show (BlockedPerasRoundWinner blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl Methods showsPrec ∷ Int → BlockedPerasRoundWinner blk → ShowS # show ∷ BlockedPerasRoundWinner blk → String # showList ∷ [BlockedPerasRoundWinner blk] → ShowS # | |
| StandardHash blk ⇒ Eq (BlockedPerasRoundWinner blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl Methods (==) ∷ BlockedPerasRoundWinner blk → BlockedPerasRoundWinner blk → Bool # (/=) ∷ BlockedPerasRoundWinner blk → BlockedPerasRoundWinner blk → Bool # | |
data PerasVoteDbError blk Source #
Constructors
| MultipleWinnersInRound PerasRoundNo (ExistingPerasRoundWinner blk) (BlockedPerasRoundWinner blk) | Attempted to add a vote that would lead to multiple winners for the same round |
| ForgingCertError (PerasForgeErr blk) | An error occurred while forging a certificate |
Instances
| (StandardHash blk, Typeable blk) ⇒ Exception (PerasVoteDbError blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl Methods toException ∷ PerasVoteDbError blk → SomeException # fromException ∷ SomeException → Maybe (PerasVoteDbError blk) # displayException ∷ PerasVoteDbError blk → String # backtraceDesired ∷ PerasVoteDbError blk → Bool # | |
| StandardHash blk ⇒ Show (PerasVoteDbError blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl Methods showsPrec ∷ Int → PerasVoteDbError blk → ShowS # show ∷ PerasVoteDbError blk → String # showList ∷ [PerasVoteDbError blk] → ShowS # | |