úΘ¢     NoneEApplicative traversal over (a subset of) immediate subterms. This is  a generic version of traverse from Data.Traversable. CThe supplied function is applied only to the «interesting» subterms Other subterms are lifted using , and the whole structure is  folded back using .  has a default implementation  const pure, which works for C types without interesting subterms (in particular, atomic types). None,Return a lambda expression which implements  for the given  data type. Example usage:  data MyType = MyType  deriveGTraversable ''MyType GIt tries to create the necessary instance constraints, but is not very < smart about it For tricky types, it may fail or produce an H overconstrained instance. In that case, write the instance declaration  yourself and use  to derive the implementation: data MyType a = MyType  'instance GTraversable (MyType a) where ( gtraverse = $(gtraverseExpr ''MyType) None ! !None  enables "deep traversals". BIt is satisfied automatically when its superclass constraints are J satisfied  you are not supposed to declare new instances of this class. (Generic map over the immediate subterms 0Generic monadic map over the immediate subterms 7Generic monoidal fold over the immediate subterms (cf. " from   Data.Foldable) /Generic right fold over the immediate subterms 5Generic strict left fold over the immediate subterms 6Apply a transformation everywhere in bottom-up manner 5Apply a transformation everywhere in top-down manner  Monadic variation on everywhere -Strict left fold over all elements, top-down #$ %    #$ %&      !"#$%&'()*++,-traverse-with-class-0.1.1.1Data.Generics.TraversableData.Generics.Traversable.THData.Generics.Traversable.Core#Data.Generics.Traversable.Instances GTraversable gtraverse gtraverseExprderiveGTraversableRecgmapgmapMgfoldMapgfoldrgfoldl' everywhere everywhere' everywhereM everythingbaseControl.Applicativepure<*>err getDataInfoconAvarName$fGTraversablecOrdering$fGTraversablecChar$fGTraversablecRatio$fGTraversablecDouble$fGTraversablecFloat$fGTraversablecInteger$fGTraversablecInt$fGTraversablecBool$fGTraversablec()$fGTraversablecMaybe$fGTraversablecEither$fGTraversablec(,)$fGTraversablec[]$fGTraversablec(,,) Data.FoldablefoldMapProxy$fRecca