constraints 0.3.2 → 0.3.3

raw patch · 3 files changed

+10/−2 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Constraint: class :=> b h | h -> b

+ Data.Constraint: class (:=>) b h | h -> b

Files

Data/Constraint.hs +8/−1
Data/Constraint/Unsafe.hs +1/−0
constraints.cabal +1/−1

Data/Constraint.hs view

@@ -11,6 +11,7 @@ {-# LANGUAGE Trustworthy #-} {-# LANGUAGE Rank2Types #-} {-# LANGUAGE GADTs #-}+{-# LANGUAGE CPP #-} ----------------------------------------------------------------------------- -- | -- Module      :  Data.Constraint@@ -41,8 +42,8 @@   , Class(..)   , (:=>)(..)   ) where- import Control.Monad+import Control.Category import Control.Applicative import Data.Monoid import Data.Complex@@ -59,6 +60,12 @@  infixr 9 :- newtype a :- b = Sub (a => Dict b)++#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707+instance Category (:-) where+  id  = refl+  (.) = trans+#endif  instance Eq (a :- b) where   _ == _ = True

Data/Constraint/Unsafe.hs view

@@ -7,6 +7,7 @@ {-# LANGUAGE TypeOperators #-} {-# LANGUAGE Rank2Types #-} {-# LANGUAGE GADTs #-}+{-# LANGUAGE Unsafe #-} ----------------------------------------------------------------------------- -- | -- Module      :  Data.Constraint.Unsafe

constraints.cabal view

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