constraint 0.1.3.0 → 0.1.4.0
raw patch · 3 files changed
+10/−13 lines, 3 filessetup-changedPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Constraint.Lifting: instance Data.Constraint.Lifting.Lifting GHC.Base.Monoid GHC.Base.Monoid ((->) a)
- Data.Constraint.Lifting: instance Data.Constraint.Lifting.Lifting GHC.Base.Semigroup GHC.Base.Monoid GHC.Maybe.Maybe
- Data.Constraint.Lifting: instance Data.Constraint.Lifting.Lifting GHC.Base.Semigroup GHC.Base.Semigroup ((->) a)
- Data.Constraint.Lifting: instance GHC.Base.Monoid a => Data.Constraint.Lifting.Lifting GHC.Base.Monoid GHC.Base.Monoid ((,) a)
- Data.Constraint.Lifting: instance GHC.Base.Semigroup a => Data.Constraint.Lifting.Lifting GHC.Base.Semigroup GHC.Base.Semigroup ((,) a)
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Base.Monoid a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Base.Monoid c f
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Base.Semigroup a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Base.Semigroup c f
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Classes.Eq a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Classes.Eq c f
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Classes.Ord a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Classes.Ord c f
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Enum.Bounded a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Enum.Bounded c f
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Read.Read a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Read.Read c f
+ Data.Constraint.Lifting: instance forall k (c :: k -> GHC.Types.Constraint) (f :: * -> k). (forall a. GHC.Show.Show a => c (f a)) => Data.Constraint.Lifting.Lifting GHC.Show.Show c f
Files
- Data/Constraint/Lifting.hs +9/−10
- Setup.hs +0/−2
- constraint.cabal +1/−1
Data/Constraint/Lifting.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE QuantifiedConstraints #-} module Data.Constraint.Lifting where import Prelude hiding (Functor, (.), id)@@ -16,18 +17,16 @@ type Endolifting c = Lifting c c ---instance (∀ a . c a => d (f a)) => Lifting c d f where lift = Sub Dict- instance Lifting c Unconstrained1 f where lift = Sub Dict -instance Lifting Semigroup Monoid Maybe where lift = Sub Dict--instance Lifting Semigroup Semigroup ((->) a) where lift = Sub Dict-instance Lifting Monoid Monoid ((->) a) where lift = Sub Dict--instance Semigroup a => Lifting Semigroup Semigroup ((,) a) where lift = Sub Dict-instance Monoid a => Lifting Monoid Monoid ((,) a) where lift = Sub Dict- instance Lifting (Functor s (->)) (Functor (NT s) (NT (->))) Compose where lift = Sub Dict instance Lifting Category Groupoid Iso where lift = Sub Dict++instance (∀ a . Eq a => c (f a)) => Lifting Eq c f where lift = Sub Dict+instance (∀ a . Ord a => c (f a)) => Lifting Ord c f where lift = Sub Dict+instance (∀ a . Bounded a => c (f a)) => Lifting Bounded c f where lift = Sub Dict+instance (∀ a . Semigroup a => c (f a)) => Lifting Semigroup c f where lift = Sub Dict+instance (∀ a . Monoid a => c (f a)) => Lifting Monoid c f where lift = Sub Dict+instance (∀ a . Read a => c (f a)) => Lifting Read c f where lift = Sub Dict+instance (∀ a . Show a => c (f a)) => Lifting Show c f where lift = Sub Dict
− Setup.hs
@@ -1,2 +0,0 @@-import Distribution.Simple-main = defaultMain
constraint.cabal view
@@ -1,5 +1,5 @@ name: constraint-version: 0.1.3.0+version: 0.1.4.0 synopsis: Reified constraints -- description: license: BSD3