Agda.Utils.Generics
Description
Contains some generic utility functions.
Documentation
everythingBut :: (r -> r -> r) -> GenericQ Bool -> GenericQ r -> GenericQ r
everywhereBut' :: GenericQ Bool -> GenericT -> GenericT
Same as everywhereBut except that when the stop condition becomes true, the function is called on the top level term (but not on the children).