packages feed

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@.                      .