trivial-constraint 0.3.0.0 → 0.4.0.0

raw patch · 2 files changed

+74/−6 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• src/Data/Constraint/Trivial.hs +73/−5
• trivial-constraint.cabal +1/−1

@@ -1,13 +1,24 @@ -- | -- Module      :  Data.Constraint.Trivial--- Copyright   :  (c) 2014 Justus Sagemüller+-- Copyright   :  (c) 2014-2016 Justus Sagemüller -- License     :  GPL v3 (see LICENSE)--- Maintainer  :  (@) sagemuej $ smail.uni-koeln.de+-- Maintainer  :  (@) jsagemue $ uni-koeln.de -- -{-# LANGUAGE FlexibleInstances #-}-{-# LANGUAGE ConstraintKinds   #-}+{-# LANGUAGE FlexibleInstances     #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE ConstraintKinds       #-} -module Data.Constraint.Trivial (Unconstrained, Impossible) where+module Data.Constraint.Trivial (+            Unconstrained, Impossible+          , Unconstrained2, Impossible2+          , Unconstrained3, Impossible3+          , Unconstrained4, Impossible4+          , Unconstrained5, Impossible5+          , Unconstrained6, Impossible6+          , Unconstrained7, Impossible7+          , Unconstrained8, Impossible8+          , Unconstrained9, Impossible9+          ) where  -- | 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.@@ -25,3 +36,60 @@  class HiddenEmptyClass t ++-- | Like 'Unconstrained', but with kind signature @* -> * -> Constraint@+--   (two unconstrained types).+class Unconstrained2 t s+instance Unconstrained2 t s++type Impossible2 t s = HiddenEmptyClass2 t s+class HiddenEmptyClass2 t s+++class Unconstrained3 t s r+instance Unconstrained3 t s r++type Impossible3 t s r = HiddenEmptyClass3 t s r+class HiddenEmptyClass3 t s r+++class Unconstrained4 t s r q+instance Unconstrained4 t s r q++type Impossible4 t s r q = HiddenEmptyClass4 t s r q+class HiddenEmptyClass4 t s r q+++class Unconstrained5 t s r q p+instance Unconstrained5 t s r q p++type Impossible5 t s r q p = HiddenEmptyClass5 t s r q p+class HiddenEmptyClass5 t s r q p+++class Unconstrained6 t s r q p o+instance Unconstrained6 t s r q p o++type Impossible6 t s r q p o = HiddenEmptyClass6 t s r q p o+class HiddenEmptyClass6 t s r q p o+++class Unconstrained7 t s r q p o n+instance Unconstrained7 t s r q p o n++type Impossible7 t s r q p o n = HiddenEmptyClass7 t s r q p o n+class HiddenEmptyClass7 t s r q p o n+++class Unconstrained8 t s r q p o n m+instance Unconstrained8 t s r q p o n m++type Impossible8 t s r q p o n m = HiddenEmptyClass8 t s r q p o n m+class HiddenEmptyClass8 t s r q p o n m+++class Unconstrained9 t s r q p o n m l+instance Unconstrained9 t s r q p o n m l++type Impossible9 t s r q p o n m l = HiddenEmptyClass9 t s r q p o n m l+class HiddenEmptyClass9 t s r q p o n m l

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                trivial-constraint-version:             0.3.0.0+version:             0.4.0.0 synopsis:            Constraints that any type, resp. no 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@.                      .