| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Text.Trifecta.Layout.Monad
Description
- newtype Layout m a = Layout {
- unlayout :: StateT LayoutState m a
- runLayout :: Monad m => Layout m a -> LayoutState -> m (a, LayoutState)
Documentation
Adds Haskell-style layout to base parser
Constructors
| Layout | |
Fields
| |
Instances
| MonadTrans Layout | |
| MonadReader e m => MonadReader e (Layout m) | |
| MonadState s m => MonadState s (Layout m) | |
| MonadWriter w m => MonadWriter w (Layout m) | |
| MonadDiagnostic e m => MonadDiagnostic e (Layout m) | |
| Monad m => Monad (Layout m) | |
| Functor m => Functor (Layout m) | |
| MonadPlus m => MonadPlus (Layout m) | |
| (Monad m, Functor m) => Applicative (Layout m) | |
| (Functor m, MonadPlus m) => Alternative (Layout m) | |
| MonadCont m => MonadCont (Layout m) | |
| MonadParser m => MonadParser (Layout m) | |
| MonadParser m => MonadLayout (Layout m) | |
| MonadMark d m => MonadMark (LayoutMark d) (Layout m) |
runLayout :: Monad m => Layout m a -> LayoutState -> m (a, LayoutState)Source