Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- type family ClassIgnoresSubtree (cls :: * -> Constraint) (typ :: *) :: Bool where ...
- type family AppSelector (c :: * -> Constraint) (a :: *) :: Bool
- type family AppPruning (c :: * -> Constraint) (a :: *) :: Bool
- type family IgnoredFields (t :: *) :: [Either (Symbol, Nat) Symbol]

# Documentation

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

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

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

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

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 Source # | |

Defined in Data.Generics.ClassyPlate.Common |

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