constraint 0.1.0.1 → 0.1.1.0

raw patch · 3 files changed

+10/−5 lines, 3 filesdep ~category

Dependency ranges changed: category

Files

Data/Constraint.hs +1/−3
Data/Constraint/Product.hs +6/−0
constraint.cabal +3/−2

Data/Constraint.hs view

@@ -4,9 +4,7 @@  import Control.Categorical.Functor import Control.Category-import Data.Semigroup--import GHC.Exts (Constraint)+import Data.Kind (Constraint)  data Dict a where Dict :: a => Dict a

+ Data/Constraint/Product.hs view

@@ -0,0 +1,6 @@+{-# LANGUAGE UndecidableSuperClasses #-}++module Data.Constraint.Product where++class    (a, b) => Product a b+instance (a, b) => Product a b

constraint.cabal view

@@ -1,5 +1,5 @@ name:                constraint-version:             0.1.0.1+version:             0.1.1.0 synopsis:            Reified constraints -- description:          license:             BSD3@@ -14,10 +14,11 @@ library   exposed-modules:     Data.Constraint                      , Data.Constraint.Compose+                     , Data.Constraint.Product   -- other-modules:          -- other-extensions:       build-depends:       base >=4.10 && <5-                     , category >=0.1.2+                     , category >=0.1.2 && <0.3   -- hs-source-dirs:         default-language:    Haskell2010   default-extensions:  TypeOperators