trivial-constraint 0.1.0.0 → 0.2.0.0
raw patch · 2 files changed
+4/−4 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Data.Constraint.Trivial: class Trivial t
- Data.Constraint.Trivial: instance Trivial t
+ Data.Constraint.Trivial: class Unconstrained t
+ Data.Constraint.Trivial: instance Unconstrained t
Files
src/Data/Constraint/Trivial.hs view
@@ -11,7 +11,7 @@ -- | Intended to be used as an argument for some type constructor which expects kind -- @* -> Constraint@, when you do not actually wish to constrain anything with it. -- --- @'Trivial' t@ can always be added to the constraint list of any signature, without+-- @'Unconstrained' t@ can always be added to the constraint list of any signature, without -- changing anything.-class Trivial t-instance Trivial t+class Unconstrained t+instance Unconstrained t
trivial-constraint.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: trivial-constraint-version: 0.1.0.0+version: 0.2.0.0 synopsis: A class / constraint that any type fulfills description: Since GHC 7.4, constraints are first-class: we have the constraint kind, and thus type-classes have a kind such as @* -> Constraint@. .