Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
generic types and type families used in some of the modules
Documentation
class All c xs => AllC c xs Source #
like All but can be partially applied
Instances
All c xs => AllC (c :: k -> Constraint) (xs :: [k]) Source # | |
Defined in Data.HTree.Families |
All
but inversed: holds if all constraints in the list hold
Instances
AllInv ('[] :: [k1 -> Constraint]) (k2 :: k1) Source # | |
Defined in Data.HTree.Families | |
(c k2, AllInv cs k2) => AllInv (c ': cs :: [k1 -> Constraint]) (k2 :: k1) Source # | |
Defined in Data.HTree.Families |
class (c1 a, c2 a) => Both c1 c2 a Source #
product of two classes
Instances
(c1 a, c2 a) => Both (c1 :: k -> Constraint) (c2 :: k -> Constraint) (a :: k) Source # | |
Defined in Data.HTree.Families | |
(forall x. Eq x => Eq (f x), Typeable f) => Eq (EList (Has (Both (Typeable :: Type -> Constraint) Eq) f)) Source # | |
(forall x. Eq x => Eq (f x), Typeable f) => Eq (ETree (Has (Both (Typeable :: Type -> Constraint) Eq) f)) Source # | |
the class that every type has an instance for
Instances
Top (k2 :: k1) Source # | |
Defined in Data.HTree.Families |