Safe Haskell | None |
---|---|

Language | Haskell2010 |

- withLocalState :: (Monad m, MonadState s m) => m a -> m a
- withLocalScope :: Monad m => Run m h a -> Run m h a
- setVar :: Monad m => VarName -> GVal (Run m h) -> Run m h ()
- getVar :: Monad m => VarName -> Run m h (GVal (Run m h))
- clearCapture :: (Monoid h, Monad m) => Run m h ()
- appendCapture :: (Monoid h, Monad m) => h -> Run m h ()
- fetchCapture :: Monad m => Run m h h

# Documentation

withLocalState :: (Monad m, MonadState s m) => m a -> m a Source #

Helper function to run a State action with a temporary state, reverting to the old state after the action has finished.

withLocalScope :: Monad m => Run m h a -> Run m h a Source #

Helper function to run a Scope action with a temporary scope, reverting to the old scope after the action has finished.

fetchCapture :: Monad m => Run m h h Source #