Documentation
traverseTerm :: (Term -> Term) -> a -> aSource
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m aSource
traverseTerm :: (Term -> Term) -> a -> aSource
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m aSource