Data.Niagra.Monad

NiagraT is a monad transformer based on RWST. It stores no readonly state, a writeonly state with type [Block], and a and a readwrite state with type Selector.

Documentation

newtype NiagraT m a

NiagraT monad transformer.

Constructors

NiagraT (RWST () (Seq Block) (Seq (Selector, Seq Declaration)) m a)

Instances

Monad m => Monad (NiagraT m)

Functor m => Functor (NiagraT m)

Monad m => Applicative (NiagraT m)

MonadIO m => MonadIO (NiagraT m)

Monad m => MonadWriter (Seq Block) (NiagraT m)

Monad m => MonadState (Seq (Selector, Seq Declaration)) (NiagraT m)

execNiagraT :: Monad m => Selector -> NiagraT m () -> m [Block]

Evaluate a NiagraT monadic action.

withNewScope :: Monad m => Selector -> NiagraT m () -> NiagraT m ()

Run an act in a fresh NiagraT state.

getCurrentBlock :: Monad m => NiagraT m Block

Get a Block from the current NiagraT state.

addBlock :: Monad m => Block -> NiagraT m ()

Add a Block to the NiagraT writer state.

addDeclaration :: Monad m => Declaration -> NiagraT m ()

Add a declaration to the NiagraT state.