constraint 0.1.2.0 → 0.1.2.1
raw patch · 2 files changed
+2/−1 lines, 2 filesPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
API changes (from Hackage documentation)
+ Data.Constraint: instance GHC.Base.Semigroup (a Data.Constraint.:- b)
Files
- Data/Constraint.hs +1/−0
- constraint.cabal +1/−1
Data/Constraint.hs view
@@ -32,6 +32,7 @@ instance Eq (a :- b) where Sub _ == Sub _ = True instance Ord (a :- b) where Sub _ `compare` Sub _ = EQ instance Show (a :- b) where showsPrec p (Sub _) = showParen (p > 10) $ showString "Sub Dict"+instance Semigroup (a :- b) where (<>) = pure instance Category (:-) where id = Sub Dict
constraint.cabal view
@@ -1,5 +1,5 @@ name: constraint-version: 0.1.2.0+version: 0.1.2.1 synopsis: Reified constraints -- description: license: BSD3