Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
Documentation
Literate | |
|
MonadTrans Literate | |
MonadReader e m => MonadReader e (Literate m) | |
MonadState s m => MonadState s (Literate m) | |
MonadWriter w m => MonadWriter w (Literate m) | |
MonadDiagnostic e m => MonadDiagnostic 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) | |
MonadCont m => MonadCont (Literate m) | |
MonadParser m => MonadParser (Literate m) | |
MonadParser m => MonadLiterate (Literate m) | |
MonadLanguage m => MonadLanguage (Literate m) | |
MonadMark d m => MonadMark (LiterateMark d) (Literate m) |
data LiterateMark d Source
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 whereSource
literateState :: (LiterateState -> (a, LiterateState)) -> m aSource
MonadLiterate m => MonadLiterate (IdentityT m) | |
MonadParser m => MonadLiterate (Literate m) | |
MonadLiterate m => MonadLiterate (ReaderT e m) | |
MonadLiterate m => MonadLiterate (StateT s m) | |
MonadLiterate m => MonadLiterate (StateT s m) | |
(Monoid w, MonadLiterate m) => MonadLiterate (WriterT w m) | |
(Monoid w, MonadLiterate m) => MonadLiterate (WriterT w m) | |
(Monoid w, MonadLiterate m) => MonadLiterate (RWST r w s m) | |
(Monoid w, MonadLiterate m) => MonadLiterate (RWST r w s m) |
data LiterateState Source
LiterateStart | Parsing literate syntax |
IlliterateStart | Disable literate parsing |
LiterateCode | In the midst of a |
LiterateTrack | In the midst of a |
runLiterate :: Monad m => Literate m a -> LiterateState -> m (a, LiterateState)Source