constraint-classes 0.5 → 0.5.1

raw patch · 2 files changed

+3/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Control.ConstraintClasses: class DomCartesian f

+ Control.ConstraintClasses: class DomCartesian f => DomClosed f

+ Control.ConstraintClasses: domCartesian :: DomCartesian f => (Dom f a, Dom f b) :- Dom f (a, b)

+ Control.ConstraintClasses: domClosed :: DomClosed f => (Dom f a, Dom f b) :- Dom f (a -> b)

constraint-classes.cabal view

@@ -1,7 +1,7 @@ name:   constraint-classes version:-  0.5+  0.5.1 synopsis:   Various typeclasses using ConstraintKinds description:

src/Control/ConstraintClasses.hs view

@@ -13,6 +13,8 @@   (   -- * Constraint     Dom (..)+  , DomCartesian (..)+  , DomClosed (..)   -- * Base classes   , CFunctor (..)   , (<$>:)