| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Monad.Chronicle.Class
Description
Hybrid error/writer monad class that allows both accumulating outputs and aborting computation with a final output.
The expected use case is for computations with a notion of fatal vs. non-fatal errors.
- class Monad m => MonadChronicle c m | m -> c where
- newtype ChronicleT c m a = ChronicleT {
- runChronicleT :: m (These c a)
- runChronicle :: Chronicle c a -> These c a
Documentation
class Monad m => MonadChronicle c m | m -> c where #
Methods
disclose :: Default a => c -> m a #
disclose cc and returns a
Default
This is a convenience function for reporting non-fatal errors in one
branch a case, or similar scenarios when there is no meaningful
result but a placeholder of sorts is needed in order to continue.
confess cc.
Equivalent to throwError for the Error monad.
memento :: m a -> m (Either c a) #
memento mm, returning either
its record if it ended with confess, or its final value otherwise, with
any record added to the current record.
Similar to catchError in the Error monad, but with a notion of
non-fatal errors (which are accumulated) vs. fatal errors (which are caught
without accumulating).
absolve x mm and discards any
record it had. The default value x will be used if m ended via
confess.
condemn mm and keeps its value
only if it had no record. Otherwise, the value (if any) will be discarded
and only the record kept.
This can be seen as converting non-fatal errors into fatal ones.
retcon :: (c -> c) -> m a -> m a #
retcon f mm and applies the
function f to its output, leaving the return value unchanged.
chronicle :: These c a -> m a #
chronicle mMonadChronicle instance.
Instances
| MonadChronicle c m => MonadChronicle c (MaybeT m) # | |
| Semigroup c => MonadChronicle c (These c) # | |
| (Monoid w, MonadChronicle c m) => MonadChronicle c (WriterT w m) # | |
| (Monoid w, MonadChronicle c m) => MonadChronicle c (WriterT w m) # | |
| MonadChronicle c m => MonadChronicle c (StateT s m) # | |
| MonadChronicle c m => MonadChronicle c (StateT s m) # | |
| MonadChronicle c m => MonadChronicle c (ExceptT e m) # | |
| (Error e, MonadChronicle c m) => MonadChronicle c (ErrorT e m) # | |
| MonadChronicle c m => MonadChronicle c (IdentityT * m) # | |
| (Semigroup c, Monad m) => MonadChronicle c (ChronicleT c m) # | |
| MonadChronicle c m => MonadChronicle c (ReaderT * r m) # | |
| (Monoid w, MonadChronicle c m) => MonadChronicle c (RWST r w s m) # | |
| (Monoid w, MonadChronicle c m) => MonadChronicle c (RWST r w s m) # | |
newtype ChronicleT c m a #
The ChronicleT monad transformer.
The return function produces a computation with no output, and >>=
combines multiple outputs with mappend.
Constructors
| ChronicleT | |
Fields
| |
Instances
| (Semigroup c, MonadRWS r w s m) => MonadRWS r w s (ChronicleT c m) # | |
| (Semigroup c, MonadState s m) => MonadState s (ChronicleT c m) # | |
| (Semigroup c, MonadReader r m) => MonadReader r (ChronicleT c m) # | |
| (Semigroup c, MonadError e m) => MonadError e (ChronicleT c m) # | |
| (Semigroup c, MonadWriter w m) => MonadWriter w (ChronicleT c m) # | |
| (Semigroup c, Monad m) => MonadChronicle c (ChronicleT c m) # | |
| Semigroup c => MonadTrans (ChronicleT c) # | |
| (Semigroup c, Monad m) => Monad (ChronicleT c m) # | |
| Functor m => Functor (ChronicleT c m) # | |
| (Semigroup c, MonadFix m) => MonadFix (ChronicleT c m) # | |
| (Semigroup c, Applicative m) => Applicative (ChronicleT c m) # | |
| (Semigroup c, Monoid c, Applicative m, Monad m) => Alternative (ChronicleT c m) # | |
| (Semigroup c, Monoid c, Monad m) => MonadPlus (ChronicleT c m) # | |
| (Semigroup c, MonadIO m) => MonadIO (ChronicleT c m) # | |
| (Semigroup c, Apply m) => Apply (ChronicleT c m) # | |
| (Semigroup c, Apply m, Monad m) => Bind (ChronicleT c m) # | |
runChronicle :: Chronicle c a -> These c a #