quantification 0.5.1 → 0.5.2

raw patch · 2 files changed

+4/−4 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

• quantification.cabal +2/−2
• src/Data/Exists.hs +2/−2

@@ -1,6 +1,6 @@ cabal-version: 2.0 name: quantification-version: 0.5.1+version: 0.5.2 synopsis: Rage against the quantification description: Data types and typeclasses to deal with universally and existentially quantified types homepage: https://github.com/andrewthad/quantification#readme@@ -23,7 +23,7 @@   build-depends:       base >= 4.11.1 && < 5     , binary >= 0.8 && < 0.10-    , ghc-prim >= 0.5 && < 0.6+    , ghc-prim >= 0.5 && < 0.7     , hashable >= 1.2 && < 1.4     , aeson >= 1.0 && < 1.5     , text >= 1.0 && < 2.0

@@ -739,7 +739,7 @@ instance EqSing a => EqSing [a] where   eqSing = eqSingList -eqSingList :: forall (a :: [k]) (b :: [k]). EqSing k => SingList a -> SingList b -> Maybe (a :~: b)+eqSingList :: forall (k :: Type) (a :: [k]) (b :: [k]). EqSing k => SingList a -> SingList b -> Maybe (a :~: b) eqSingList SingListNil SingListNil = Just Refl eqSingList SingListNil (SingListCons _ _) = Nothing eqSingList (SingListCons _ _) SingListNil = Nothing@@ -793,7 +793,7 @@   SingMaybeJust :: Sing a -> SingMaybe ('Just a)   SingMaybeNothing :: SingMaybe 'Nothing -unreifyList :: forall (as :: [k]) b. Unreify k+unreifyList :: forall (k :: Type) (as :: [k]) (b :: Type) . Unreify k   => SingList as   -> (Reify as => b)   -> b