type-equality-check 0.0.0.3 → 0.0.0.4

raw patch · 2 files changed

+43/−35 lines, 2 filesdep ~type-levelPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: type-level

API changes (from Hackage documentation)

Files

• LICENSE +27/−21
• type-equality-check.cabal +16/−14

@@ -1,29 +1,35 @@-Copyright © 2004      Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center)-Copyright © 2004      Ralf Lämmel (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam)-Copyright © 2004      Keean Schupke (Imperial College London)+Copyright © 2004      Oleg Kiselyov¹+Copyright © 2004      Ralf Lämmel²+Copyright © 2004      Keean Schupke³ Copyright © 2008 2009 Brandenburgische Technische Universität Cottbus Copyright © 2011–2012 Wolfgang Jeltsch All rights reserved. -Redistribution and use in source and binary forms, with or without modification, are permitted-provided that the following conditions are met:+  ¹ Fleet Numerical Meteorology and Oceanography Center+  ² Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam+  ³ Imperial College London -    * Redistributions of source code must retain the above copyright notice, this list of conditions-      and the following disclaimer.+Redistribution and use in source and binary forms, with or without modification,+are permitted provided that the following conditions are met: -    * Redistributions in binary form must reproduce the above copyright notice, this list of-      conditions and the following disclaimer in the documentation and/or other materials provided-      with the distribution.+    • Redistributions of source code must retain the above copyright notice,+      this list of conditions and the following disclaimer. -    * Neither the name of the copyright holders nor the names of the contributors may be used to-      endorse or promote products derived from this software without specific prior written-      permission.+    • Redistributions in binary form must reproduce the above copyright notice,+      this list of conditions and the following disclaimer in the documentation+      and/or other materials provided with the distribution. -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR-IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND-FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR-CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL-DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,-DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER-IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF-THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.+    • Neither the name of the copyright holders nor the names of the+      contributors may be used to endorse or promote products derived from this+      software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR+TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF+THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -1,13 +1,15 @@ Name:          type-equality-check-Version:       0.0.0.3-Cabal-Version: >= 1.6+Version:       0.0.0.4+Cabal-Version: >= 1.8 Build-Type:    Simple License:       BSD3 License-File:  LICENSE Copyright:     © 2004      Oleg Kiselyov-                           (Fleet Numerical Meteorology and Oceanography Center);+                           (Fleet Numerical Meteorology and Oceanography+                           Center);                © 2004      Ralf Lämmel-                           (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam);+                           (Centrum Wiskunde & Informatica, Vrije Universiteit+                           Amsterdam);                © 2004      Keean Schupke                            (Imperial College London);                © 2008–2009 Brandenburgische Technische Universität Cottbus;@@ -16,25 +18,25 @@ Maintainer:    wolfgang@cs.ioc.ee Stability:     provisional Homepage:      http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check-Package-URL:   http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.3/type-equality-check-0.0.0.3.tar.gz+Package-URL:   http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.4/type-equality-check-0.0.0.4.tar.gz Synopsis:      Type equality check-Description:   This packages provides a type equality check whose implementation is basically the-               one from the HList library.+Description:   This packages provides a type equality check whose implementation+               is basically the one from the HList library. Category:      Data-Tested-With:   GHC == 7.4.1+Tested-With:   GHC == 8.0.1  Source-Repository head-    type:     darcs-    location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main+    Type:     darcs+    Location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main  Source-Repository this-    type:     darcs-    location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main-    tag:      type-equality-check-0.0.0.3+    Type:     darcs+    Location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main+    Tag:      type-equality-check-0.0.0.4  Library     Build-Depends:   base       >= 3.0 && < 5,-                     type-level >= 0.1 && < 0.3+                     type-level >= 0.1 && < 0.4     Extensions:      FlexibleContexts                      FlexibleInstances                      FunctionalDependencies