Data.Generics.ClassyPlate.TypePrune

Documentation

type family ClassIgnoresSubtree (cls :: * -> Constraint) (typ :: *) :: Bool where ...

This type decides if the subtree of an element cannot contain an element that is transformed.

Equations

ClassIgnoresSubtree cls typ = Not (AnySelected cls (MemberTypes typ))

type family AppSelector (c :: * -> Constraint) (a :: *) :: Bool

Instantiate this type family to signal what elements does your operation operate on. If AppSelector c t is True, there should be a c t instance. AppSelector should be a total type function for a given class, at least for all the types that can possibly accessed.

Instances

type AppSelector (MonoMatch a) b

type AppSelector (MonoMatch a) b = TypEq a b

type family AppPruning (c :: * -> Constraint) (a :: *) :: Bool

type family IgnoredFields (t :: *) :: [Either (Symbol, Nat) Symbol]

This type family sets which fields should not be traversed when trying to generate automatically pruned versions of classy traversal.