Text.Trifecta.Diagnostic.Class

Provides a class for logging and throwing expressive diagnostics.

Documentation

class Monad m => MonadDiagnostic e m | m -> e where

Methods

throwDiagnostic :: Diagnostic e -> m a

logDiagnostic :: Diagnostic e -> m ()

Instances

MonadDiagnostic e m => MonadDiagnostic e (IdentityT m)

MonadDiagnostic e m => MonadDiagnostic e (Language m)

MonadDiagnostic e m => MonadDiagnostic e (Literate m)

MonadDiagnostic e m => MonadDiagnostic e (Layout m)

(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (WriterT w m)

(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (WriterT w m)

MonadDiagnostic e m => MonadDiagnostic e (ReaderT r m)

MonadDiagnostic e m => MonadDiagnostic e (StateT s m)

MonadDiagnostic e m => MonadDiagnostic e (StateT s m)

MonadDiagnostic e (Parser r e)

(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (RWST r w s m)

(MonadDiagnostic e m, Monoid w) => MonadDiagnostic e (RWST r w s m)