ltext-0.0.2.1: Higher-order file applicator

Safe HaskellSafe
LanguageHaskell2010

LText.Internal.Evaluation

Documentation

runEv :: (Monad m, MonadError String m) => StateT (Int, Bool) m a -> m a Source

freshExprVar :: (Monad m, MonadState (Int, Bool) m) => String -> m String Source

reduce :: (Monad m, Functor m, MonadState (Int, Bool) m) => Expr -> m Expr Source

alpha :: (Monad m, MonadState (Int, Bool) m) => Expr -> m Expr Source