constraints 0.3 → 0.3.0.1

raw patch · 2 files changed

+5/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

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

@@ -36,6 +36,7 @@ data M a type Forall1 (p :: (* -> *) -> Constraint) = (p F, p M) + -- | instantiate a quantified constraint on kind @*@ inst :: forall p a. Forall p :- p a inst = trans (unsafeCoerceConstraint :: p A :- p a) weaken1@@ -43,3 +44,5 @@ -- | 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)

@@ -1,6 +1,6 @@ name:          constraints category:      Constraints-version:       0.3+version:       0.3.0.1 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE@@ -8,6 +8,7 @@ maintainer:    Edward A. Kmett <ekmett@gmail.com> stability:     experimental homepage:      http://github.com/ekmett/constraints/+bug-reports:   http://github.com/ekmett/constraints/issues copyright:     Copyright (C) 2011 Edward A. Kmett synopsis:      Constraint manipulation description:   Constraint manipulation