beautify
commit87d7e9662792c321d34b526b08ec0aabb7f5fdd8
authorAleksey Uimanov <s9gf4ult@gmail.com>
dateSun 25 Oct 2015, 21:48 (11 years ago)
parent7c20294
src/TypeFun/Data/List.hs+1−1
@@ -24,6 +24,7 @@ module TypeFun.Data.List
2424 , IsPrefixOf
2525 , IsNotPrefixOf
2626 , IsPrefixOfBool
27+ -- * Set operations
2728 , Union
2829 , AppendUniq
2930 , Intersect
@@ -103,7 +104,6 @@ type family Indices (idxs :: [N]) (a :: [k]) :: [Maybe k] where
103104 Indices '[] as = '[]
104105 Indices (i ': idxs) as = (Index i as) ': (Indices idxs as)
105106
106−
107107-- | Generates unresolvable constraint if fists element is not
108108-- contained inside of second
109109type Elem a s = NothingToConstr (IndexOf a s)