haskus-utils-types 1.3 → 1.3.1

raw patch · 2 files changed

+2/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• haskus-utils-types.cabal +1/−1
• src/lib/Haskus/Utils/Types/List.hs +1/−1

@@ -1,5 +1,5 @@ name:                haskus-utils-types-version:             1.3+version:             1.3.1 synopsis:            Haskus utility modules license:             BSD3 license-file:        LICENSE

@@ -206,10 +206,10 @@  -- | Helper for CheckMembers type family CheckMembers' (i :: [k]) (e :: [k]) (l1 :: [k]) (l2 :: [k]) :: Constraint where-   CheckMembers' i e '[] l2  = ()    CheckMembers' i e '[] '[] = TypeError (   'ShowType e                                        ':$$: 'Text "is not a subset of"                                        ':$$: 'ShowType i)+   CheckMembers' i e '[] l2  = ()    CheckMembers' i e (l ': ls) '[]       = CheckMembers' i (l ': e) ls i    CheckMembers' i e (x ': xs) (x ': ys) = CheckMembers' i e xs i    CheckMembers' i e (x ': xs) (y ': ys) = CheckMembers' i e (x ': xs) ys