@@ -24,6 +24,7 @@ module TypeFun.Data.List
24 , IsPrefixOf
24 , IsPrefixOf
25 , IsNotPrefixOf
25 , IsNotPrefixOf
26 , IsPrefixOfBool
26 , IsPrefixOfBool
28 , AppendUniq
29 , AppendUniq
29 , Intersect
30 , Intersect
@@ -103,7 +104,6 @@ type family Indices (idxs :: [N]) (a :: [k]) :: [Maybe k] where
103 Indices '[] as = '[]
104 Indices '[] as = '[]
104 Indices (i ': idxs) as = (Index i as) ': (Indices idxs as)
105 Indices (i ': idxs) as = (Index i as) ': (Indices idxs as)
107-- | Generates unresolvable constraint if fists element is not
107-- | Generates unresolvable constraint if fists element is not
108-- contained inside of second
108-- contained inside of second
109type Elem a s = NothingToConstr (IndexOf a s)
109type Elem a s = NothingToConstr (IndexOf a s)