LText.Internal.Evaluation

Documentation

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

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

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

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