constraints 0.3.0.1 → 0.3.1

raw patch · 3 files changed

+22/−3 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Constraint/Forall.hs +6/−1
• README.markdown +13/−0
• constraints.cabal +3/−2

@@ -20,6 +20,7 @@  module Data.Constraint.Forall   ( Forall, inst+  , ForallF, instF   , Forall1, inst1   ) where @@ -32,6 +33,8 @@ -- | A quantified constraint type Forall (p :: * -> Constraint) = (p A, p B) +type ForallF (p :: * -> Constraint) (f :: * -> *) = (p (f A), p (f B))+ data F a data M a type Forall1 (p :: (* -> *) -> Constraint) = (p F, p M)@@ -41,8 +44,10 @@ inst :: forall p a. Forall p :- p a inst = trans (unsafeCoerceConstraint :: p A :- p a) weaken1 +instF :: forall p f a. ForallF p f :- p (f a)+instF = trans (unsafeCoerceConstraint :: p (f A) :- p (f a)) weaken1+ -- | instantiate a quantified constraint on kind @* -> *@ inst1 :: forall (p :: (* -> *) -> Constraint) (f :: * -> *). Forall1 p :- p f inst1 = trans (unsafeCoerceConstraint :: p F :- p f) weaken1 --- class Forall p where instantiate :: Dict (p a)

@@ -0,0 +1,13 @@+constraints+===========++This package provides data types and classes for manipulating the 'ConstraintKinds' exposed by GHC in 7.4.++Contact Information+-------------------++Contributions and bug reports are welcome!++Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.++-Edward Kmett

@@ -1,6 +1,6 @@ name:          constraints category:      Constraints-version:       0.3.0.1+version:       0.3.1 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE@@ -13,6 +13,7 @@ synopsis:      Constraint manipulation description:   Constraint manipulation build-type:    Simple+extra-source-files: README.markdown  source-repository head   type: git@@ -32,7 +33,7 @@     Rank2Types,     GADTs -  build-depends: +  build-depends:     base >= 4.4 && < 5,     newtype >= 0.2 && < 0.3,     ghc-prim