Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.Families.Changing

typetype Indexed (t :: k) = Indexed' t 0

familytype family Infer s a' b where

datadata PTag

familytype family P :: Nat -> k -> PTag -> k

familytype family LookupParam (a :: k) (p :: Nat) :: Maybe Nat where

familytype family ArgAt (t :: k) (n :: Nat) :: j where

familytype family ArgCount (t :: k) :: Nat where

classclass UnifyHead (a :: k) (b :: k)

Ensure that the types a and b are both applications of the same constructor. The arguments may be different.

Instances2UnifyHead

a ~ b => UnifyHead a bDefined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.Families.Changing
(gb ~ g b, UnifyHead f g) => UnifyHead (f a) gbDefined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.Families.Changing