Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Utils.Generics

Description

Contains some generic utility functions and reexports certain definitions from Data.Generics.

Synopsis

Documentation

everythingBut :: (r -> r -> r) -> GenericQ Bool -> GenericQ r -> GenericQ rSource

everywhereBut' :: GenericQ Bool -> GenericT -> GenericTSource

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).