Text.Trifecta.Language.Monad

Documentation

newtype Language m a

Constructors

Language

Fields

unlanguage :: ReaderT (LanguageDef (Language m)) m a

Instances

MonadTrans Language

MonadReader e m => MonadReader e (Language m)

MonadState s m => MonadState s (Language m)

MonadWriter w m => MonadWriter w (Language m)

MonadDiagnostic e m => MonadDiagnostic e (Language m)

MonadMark d m => MonadMark d (Language m)

Monad m => Monad (Language m)

Functor m => Functor (Language m)

MonadPlus m => MonadPlus (Language m)

Applicative m => Applicative (Language m)

Alternative m => Alternative (Language m)

MonadCont m => MonadCont (Language m)

MonadParser m => MonadParser (Language m)

MonadParser m => MonadLanguage (Language m)

runLanguage :: Language m a -> LanguageDef (Language m) -> m a