curry-base-0.2.7: Functions for manipulating Curry programs
Curry.ExtendedFlat.MonadicGoodies
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