constraint 0.1.2.1 → 0.1.3.0

raw patch · 2 files changed

+5/−1 lines, 2 filesdep +unconstrainedPVP ok

version bump matches the API change (PVP)

Dependencies added: unconstrained

API changes (from Hackage documentation)

Files

• Data/Constraint/Lifting.hs +3/−0
• constraint.cabal +2/−1

@@ -9,6 +9,7 @@ import Data.Functor.Classes import Data.Functor.Compose import Data.Morphism.Iso+import Unconstrained  class Lifting c d f where     lift :: c a :- d (f a)@@ -16,6 +17,8 @@ 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 

@@ -1,5 +1,5 @@ name:                constraint-version:             0.1.2.1+version:             0.1.3.0 synopsis:            Reified constraints -- description:          license:             BSD3@@ -20,6 +20,7 @@   -- other-extensions:       build-depends:       base >=4.10 && <5                      , category >=0.1.2 && <0.3+                     , unconstrained >=0.1 && <0.2   -- hs-source-dirs:         default-language:    Haskell2010   default-extensions:  UnicodeSyntax