LText.Internal.Evaluation

Documentation

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

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

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

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