Documentation

type UpdateM m a b = (b -> m b) -> a -> m aSource

postOrderM :: Monad m => UpdateM m Expr ExprSource

updFuncExpsM :: Monad m => UpdateM m FuncDecl ExprSource

updProgFuncsM :: Monad m => UpdateM m Prog FuncDeclSource

updFuncLetsM :: Monad m => ([(VarIndex, Expr)] -> Expr -> m Expr) -> FuncDecl -> m FuncDeclSource