open-typerep 0.3.1 → 0.3.2

raw patch · 5 files changed

+7/−7 lines, 5 filesdep ~syntactic

Dependency ranges changed: syntactic

Files

open-typerep.cabal +2/−2
src/Data/TypeRep.hs +2/−2
src/Data/TypeRep/Internal.hs +1/−1
src/Data/TypeRep/Sub.hs +1/−1
src/Data/TypeRep/VarArg.hs +1/−1

open-typerep.cabal view

@@ -1,5 +1,5 @@ name:                open-typerep-version:             0.3.1+version:             0.3.2 synopsis:            Open type representations and dynamic types description:         This package uses Data Types à la Carte to provide open type representations                      and dynamic types/coercions for open type universes.@@ -62,7 +62,7 @@     base        >=4 && <5,     constraints >=0.3,     mtl         >=2.1,-    syntactic   >=2.0,+    syntactic   >=3,     tagged      >=0.4    default-language: Haskell2010

src/Data/TypeRep.hs view

@@ -4,7 +4,7 @@     ( -- * Helper types       module Data.Constraint     , module Data.Proxy-    , module Data.Syntactic+    , module Language.Syntactic       -- * Type representations     , Typeable     , TypeRep@@ -55,7 +55,7 @@ import Data.Constraint (Dict (..)) import Data.Proxy (Proxy (..)) -import Data.Syntactic ((:+:), Project (..), (:<:) (..), E (..))+import Language.Syntactic ((:+:), Project (..), (:<:) (..), E (..))  import Data.TypeRep.Internal import Data.TypeRep.Sub

src/Data/TypeRep/Internal.hs view

@@ -12,7 +12,7 @@ import Data.Constraint (Constraint, Dict (..)) import Data.Proxy (Proxy (..)) -import Data.Syntactic+import Language.Syntactic

src/Data/TypeRep/Sub.hs view

@@ -19,7 +19,7 @@   -import Data.Syntactic+import Language.Syntactic  import Data.TypeRep.Internal

src/Data/TypeRep/VarArg.hs view

@@ -6,7 +6,7 @@  import Control.Monad.Except -import Data.Syntactic+import Language.Syntactic import Data.TypeRep import Data.TypeRep.Internal