Text.Trifecta.Literate.Monad

Documentation

newtype Literate m a

Constructors

Literate

Fields

unliterate :: StateT LiterateState m a

Instances

MonadTrans Literate

MonadState s m => MonadState s (Literate m)

MonadDiagnostic e m => MonadDiagnostic e (Literate m)

MonadWriter w m => MonadWriter w (Literate m)

MonadReader e m => MonadReader e (Literate m)

Monad m => Monad (Literate m)

Functor m => Functor (Literate m)

MonadPlus m => MonadPlus (Literate m)

(Monad m, Functor m) => Applicative (Literate m)

(Functor m, MonadPlus m) => Alternative (Literate m)

MonadParser m => MonadParser (Literate m)

MonadParser m => MonadLiterate (Literate m)

MonadCont m => MonadCont (Literate m)

MonadLanguage m => MonadLanguage (Literate m)

MonadMark d m => MonadMark (LiterateMark d) (Literate m)

runLiterate :: Monad m => Literate m a -> LiterateState -> m (a, LiterateState)