Lines Matching defs:family
57 type family P :: Nat -> k -> PTag -> k type
61 type family Indexed' (t :: k) (next :: Nat) :: k where type
68 type family Unify (a :: k) (b :: k) :: [Sub] where type
79 type family (xs :: [k]) ++ (ys :: [k]) :: [k] where type
83 type family Infer (s :: *) (a' :: *) (b :: *) :: * where type
101 type family ReplaceArg (t :: k) (pos :: Nat) (to :: j) :: k where type
106 type family ReplaceArgs (t :: k) (subs :: [Sub]) :: k where type
110 type family LookupParam (a :: k) (p :: Nat) :: Maybe Nat where type
116 type family MaybeAdd (a :: Maybe Nat) (b :: Nat) :: Maybe Nat where type
120 type family IfEq (a :: k) (b :: k) (t :: l) (f :: l) :: l where type
124 type family ArgCount (t :: k) :: Nat where type
128 type family ArgAt (t :: k) (n :: Nat) :: j where type