constraints 0.3.4 → 0.3.4.1

raw patch · 2 files changed

+5/−2 lines, 2 filesdep ~basedep ~ghc-prim

Dependency ranges changed: base, ghc-prim

Files

Data/Constraint.hs +4/−1
constraints.cabal +1/−1

Data/Constraint.hs view

@@ -8,6 +8,7 @@ {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TypeOperators #-}+{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE Trustworthy #-} {-# LANGUAGE Rank2Types #-} {-# LANGUAGE GADTs #-}@@ -43,7 +44,9 @@   , (:=>)(..)   ) where import Control.Monad+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707 import Control.Category+#endif import Control.Applicative import Data.Monoid import Data.Complex@@ -144,7 +147,7 @@ -- -- This demonstrates the law of classical logical <http://en.wikipedia.org/wiki/Principle_of_explosion ex falso quodlibet> bottom :: (() ~ Bool) :- c-bottom = thing+bottom = falso  -- | Reify the relationship between a class and its superclass constraints as a class class Class b h | h -> b where

constraints.cabal view

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