type-eq 0.4.2 → 0.5

raw patch · 3 files changed

+5/−18 lines, 3 filesdep ~base

Dependency ranges changed: base

Files

• Type/Eq/Higher.hs +1/−7
• Type/Eq/Poly.hs +1/−9
• type-eq.cabal +3/−2

@@ -9,16 +9,10 @@ -- |  Types and functions for storing and manipulating evidence of equality between types of higher kind. --  --    Available up to @* -> * -> *@. Yell if you need more.--- ---    In GHC 7.8, this module uses @Data.OldTypeable@. Future uncertain.  module Type.Eq.Higher (module Type.Eq, module Type.Eq.Higher) where -#if __GLASGOW_HASKELL__ >= 707-import Data.OldTypeable hiding (cast)-#else-import Data.Typeable hiding (cast)-#endif+import Data.Typeable (Typeable1, typeOf1, Typeable2, typeOf2) import Type.Eq import Type.Eq.Higher.Unsafe import Unsafe.Coerce

@@ -10,20 +10,12 @@ -- | Kind-polymorphic functions for manipulating type equality evidence. --  --   This module is available only if @PolyKinds@ are available (GHC 7.6+).--- ---   In GHC 7.8, this module uses @Data.OldTypeable@. Future uncertain.--- ---   For kind-polymorphic @Data.Typeable@, use 'dynamicEq' from the "Type.Eq" module.  module Type.Eq.Poly (module Type.Eq, module Type.Eq.Poly) where  import Control.Applicative ((<$>)) import Control.Category ((.)) -- for haddock-#if __GLASGOW_HASKELL__ >= 707-import Data.OldTypeable hiding (cast)-#else-import Data.Typeable hiding (cast)-#endif+import Data.Typeable (Typeable1, typeOf1, Typeable2, typeOf2, Typeable3, typeOf3, Typeable4, typeOf4, Typeable5, typeOf5, Typeable6, typeOf6, Typeable7, typeOf7) import Type.Eq import Type.Eq.Higher ((::~::)(..), (:::~:::)(..), OuterEq1(..), InnerEq1(..)) import Type.Eq.Unsafe

@@ -1,6 +1,6 @@ name:          type-eq category:      Type System-version:       0.4.2+version:       0.5 author:        Gábor Lehel maintainer:    Gábor Lehel <glaebhoerl@gmail.com> homepage:      http://github.com/glaebhoerl/type-eq@@ -60,7 +60,7 @@         FlexibleContexts      build-depends:-        base >= 3.0 && < 4.8+        base >= 3.0 && < 4.9      exposed-modules:         Type.Eq@@ -97,3 +97,4 @@      ghc-options:         -Wall+