Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Storage.LeiosDB.Exception

Synopsis

data LeiosDbException
- = LeiosDbException LeiosDbFailure
- | LeiosDbWriteException LeiosDbWriteFailure
data LeiosDbFailure = LeiosDbFailure {
- ldfErrorMessage ∷ String
- ldfCallStack ∷ String
}
data LeiosDbWriteFailure = LeiosDbWriteFailure {
- ldwfWriteJob ∷ String
- ldwfSubmittedFrom ∷ String
- ldwfWriteFailure ∷ SomeException
}
throwLeiosDbException ∷ (HasCallStack, MonadThrow m) ⇒ String → m a

Documentation

data LeiosDbException Source #

Every way the Leios DB fails.

Constructors

LeiosDbException LeiosDbFailure
LeiosDbWriteException LeiosDbWriteFailure

Instances

Instances details

ToJSON LeiosDbException Source #
Instance details Defined in Ouroboros.Consensus.Storage.LeiosDB.Exception Methods toJSON ∷ LeiosDbException → Value Source # toEncoding ∷ LeiosDbException → Encoding Source # toJSONList ∷ [LeiosDbException] → Value Source # toEncodingList ∷ [LeiosDbException] → Encoding Source # omitField ∷ LeiosDbException → Bool Source #
Exception LeiosDbException Source #
Instance details Defined in Ouroboros.Consensus.Storage.LeiosDB.Exception Methods toException ∷ LeiosDbException → SomeException # fromException ∷ SomeException → Maybe LeiosDbException # displayException ∷ LeiosDbException → String # backtraceDesired ∷ LeiosDbException → Bool #
Show LeiosDbException Source #
Instance details Defined in Ouroboros.Consensus.Storage.LeiosDB.Exception Methods showsPrec ∷ Int → LeiosDbException → ShowS # show ∷ LeiosDbException → String # showList ∷ [LeiosDbException] → ShowS #

data LeiosDbFailure Source #

A database operation failed where it ran.

Constructors

LeiosDbFailure
Fields ldfErrorMessage ∷ String ldfCallStack ∷ String

Instances

Instances details

Show LeiosDbFailure Source #
Instance details Defined in Ouroboros.Consensus.Storage.LeiosDB.Exception Methods showsPrec ∷ Int → LeiosDbFailure → ShowS # show ∷ LeiosDbFailure → String # showList ∷ [LeiosDbFailure] → ShowS #

data LeiosDbWriteFailure Source #

A submitted write failed, as whoever awaits it sees it. A write runs on the writer rather than at its call site, so it knows what a read never can: which write it was, and where it was submitted from.

Constructors

LeiosDbWriteFailure
Fields ldwfWriteJob ∷ String ldwfSubmittedFrom ∷ String ldwfWriteFailure ∷ SomeException

Instances

Instances details

Show LeiosDbWriteFailure Source #
Instance details Defined in Ouroboros.Consensus.Storage.LeiosDB.Exception Methods showsPrec ∷ Int → LeiosDbWriteFailure → ShowS # show ∷ LeiosDbWriteFailure → String # showList ∷ [LeiosDbWriteFailure] → ShowS #

throwLeiosDbException ∷ (HasCallStack, MonadThrow m) ⇒ String → m a Source #

Fail with a LeiosDbException carrying the call stack. Preferred over error: an invariant the database broke is still a database failure, and callers catch it as one.