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 #