topaz 0.6.0 → 0.7.0

raw patch · 3 files changed

+9/−7 lines, 3 filesdep ~aesondep ~hashabledep ~quantification

Dependency ranges changed: aeson, hashable, quantification, vector

Files

• src/Topaz/Rec.hs +4/−2
• src/Topaz/Types.hs +1/−1
• topaz.cabal +4/−4

@@ -36,14 +36,16 @@   , fromList   ) where +import Data.Exists+import Data.Kind (Type) import Prelude hiding (map,zipWith,foldMap,traverse) import Topaz.Types (Elem(..),type (++),Rec(..))-import Data.Exists+ import qualified Data.Semigroup as SG  -- | infix RecCons with proper fixity infixr 7 <:-(<:) :: forall a (f :: a -> *) (r :: a) (rs :: [a]).  f r -> Rec f rs -> Rec f (r : rs)+(<:) :: forall a (f :: a -> Type) (r :: a) (rs :: [a]).  f r -> Rec f rs -> Rec f (r : rs) (<:) = RecCons  map :: (forall x. f x -> g x) -> Rec f as -> Rec g as

@@ -129,7 +129,7 @@       RecNil -> s       RecCons b bs -> go (hashWithSaltForall s b) bs -instance HashableForall f => Hashable (Rec f as) where+instance (EqForall f, HashableForall f) => Hashable (Rec f as) where   hashWithSalt = hashWithSaltForall  instance ShowForall f => ShowForall (Rec f) where

@@ -1,6 +1,6 @@ cabal-version: 2.4 name: topaz-version: 0.6.0+version: 0.7.0 synopsis: Extensible records library description: Provides extensible records types built on top of the quantification library homepage: https://github.com/andrewthad/quantification#readme@@ -20,10 +20,10 @@   build-depends:     , base >= 4.11.1 && < 5     , binary >= 0.8 && < 0.11-    , hashable >= 1.2 && < 1.4-    , aeson >= 1.0 && < 1.6+    , hashable >= 1.4 && < 1.5+    , aeson >= 2.1 && < 2.3     , vector >= 0.11 && < 0.13-    , quantification >= 0.6.0+    , quantification >= 0.7.0   default-language: Haskell2010   ghc-options: -O2 -Wall