Safe Haskell | None |
---|
- type MonadAuthoring s w m = (MonadState s m, HasAuthorState s, HasDatabase s, MonadWriter w m, HasDocument w, MonadIO m)
- type AuthoringT = RWST () Document AuthorState
- runAuthoringT :: Monad m => AuthoringT m a -> m (a, AuthorState, LaTeX)
Documentation
type MonadAuthoring s w m = (MonadState s m, HasAuthorState s, HasDatabase s, MonadWriter w m, HasDocument w, MonadIO m)Source
The all-in-one environ for writing paper.
type AuthoringT = RWST () Document AuthorStateSource
An example of monad transformer that can provide full (but IO) authoring environment.
runAuthoringT :: Monad m => AuthoringT m a -> m (a, AuthorState, LaTeX)Source
Run an authoring monad, returns the triple (monad return value, final author state, generated latex)