Text.Trifecta.Parser.Layout.Monad

Documentation

newtype Layout m a

Constructors

Layout

Fields

unlayout :: StateT LayoutState m a

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)

MonadTokenParser m => MonadParser (Layout m)

MonadTokenParser m => MonadTokenParser (Layout m)

MonadTokenParser m => MonadLayoutParser (Layout m)

runLayout :: Monad m => Layout m a -> LayoutState -> m (a, LayoutState)