constraints 0.3.1 → 0.3.2

raw patch · 2 files changed

+7/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Constraint/Forall.hs +6/−0
• constraints.cabal +1/−1

@@ -22,6 +22,7 @@   ( Forall, inst   , ForallF, instF   , Forall1, inst1+  , ForallT, instT   ) where  import Data.Constraint@@ -39,7 +40,9 @@ data M a type Forall1 (p :: (* -> *) -> Constraint) = (p F, p M) +type ForallT (p :: * -> Constraint) (t :: (* -> *) -> * -> *) = (p (t F A), p (t M B)) + -- | instantiate a quantified constraint on kind @*@ inst :: forall p a. Forall p :- p a inst = trans (unsafeCoerceConstraint :: p A :- p a) weaken1@@ -50,4 +53,7 @@ -- | instantiate a quantified constraint on kind @* -> *@ inst1 :: forall (p :: (* -> *) -> Constraint) (f :: * -> *). Forall1 p :- p f inst1 = trans (unsafeCoerceConstraint :: p F :- p f) weaken1++instT :: forall (p :: * -> Constraint) (t :: (* -> *) -> * -> *) (f :: * -> *) a. ForallT p t :- p (t f a)+instT = trans (unsafeCoerceConstraint :: p (t F A) :- p (t f a)) weaken1 

@@ -1,6 +1,6 @@ name:          constraints category:      Constraints-version:       0.3.1+version:       0.3.2 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE