Text.Trifecta.Literate

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)

data LiterateMark d

Constructors

LiterateMark LiterateState d

Instances

Functor LiterateMark

Foldable LiterateMark

Traversable LiterateMark

Foldable1 LiterateMark

Traversable1 LiterateMark

Semigroup d => Semigroup (LiterateMark d)

HasBytes d => HasBytes (LiterateMark d)

HasDelta d => HasDelta (LiterateMark d)

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

class MonadParser m => MonadLiterate m where

Methods

literateState :: (LiterateState -> (a, LiterateState)) -> m a

Instances

MonadLiterate m => MonadLiterate (IdentityT m)

MonadParser m => MonadLiterate (Literate m)

MonadLiterate m => MonadLiterate (StateT s m)

(Monoid w, MonadLiterate m) => MonadLiterate (WriterT w m)

(Monoid w, MonadLiterate m) => MonadLiterate (WriterT w m)

MonadLiterate m => MonadLiterate (StateT s m)

MonadLiterate m => MonadLiterate (ReaderT e m)

(Monoid w, MonadLiterate m) => MonadLiterate (RWST r w s m)

(Monoid w, MonadLiterate m) => MonadLiterate (RWST r w s m)

data LiterateState

Constructors

LiterateStart

Parsing literate syntax

IlliterateStart

Disable literate parsing

LiterateCode

In the midst of a begin{code} ... end{code} block

LiterateTrack

In the midst of a > ... block

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

defaultLiterateState :: LiterateState