type-natural 0.2.1.0 → 0.2.1.1

raw patch · 2 files changed

+6/−4 lines, 2 filesdep ~singletons

Dependency ranges changed: singletons

Files

• Data/Type/Natural.hs +4/−2
• type-natural.cabal +2/−2

@@ -1,6 +1,6 @@ {-# LANGUAGE CPP, DataKinds, FlexibleContexts, FlexibleInstances, GADTs #-} {-# LANGUAGE KindSignatures, MultiParamTypeClasses, NoImplicitPrelude   #-}-{-# LANGUAGE PolyKinds, RankNTypes, TemplateHaskell, TypeFamilies       #-}+{-# LANGUAGE PolyKinds, RankNTypes, TemplateHaskell, TypeFamilies, ScopedTypeVariables       #-} {-# LANGUAGE TypeOperators, UndecidableInstances, StandaloneDeriving    #-} -- | Type level peano natural number, some arithmetic functions and their singletons. module Data.Type.Natural (-- * Re-exported modules.@@ -54,7 +54,9 @@                          ) where import           Data.Singletons #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708-import Data.Singletons.TH+import Data.Singletons.TH      (singletons)+import Data.Singletons.Prelude hiding ((:<=), SOrd(..), MaxSym1, MaxSym0, MaxSym2+                                      , MinSym1, MinSym0, MinSym2, Max, Min) #endif import           Data.Type.Monomorphic import           Prelude          (Int, Bool (..), Eq (..), Integral (..), Ord ((<)),

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                type-natural-version:             0.2.1.0+version:             0.2.1.1 synopsis:            Type-level natural and proofs of their properties. description:         Type-level natural numbers and proofs of their properties. homepage:            https://github.com/konn/type-natural@@ -30,4 +30,4 @@   if impl(ghc < 7.8)     build-depends:     singletons               == 0.8.*   else-    build-depends:     singletons               >= 0.10    && < 0.11+    build-depends:     singletons               >= 0.10    && < 1.1