type-level-numbers 0.1.1.1 → 0.1.1.2
raw patch · 3 files changed
+25/−19 lines, 3 filesdep ~base
Dependency ranges changed: base
Files
- ChangeLog +6/−1
- TypeLevel/Number/Classes.hs +4/−3
- type-level-numbers.cabal +15/−15
ChangeLog view
@@ -1,10 +1,15 @@+Changes in 0.1.1.2++ * GHC 9.2 compatibility++ Changes in 0.1.1.1 * Type level addition is fixed for GHC 7.6 * Test suite added to cabal file - + Changes in 0.1.1.0 * withNat, withInt, SomeNat and SomeInt added.
TypeLevel/Number/Classes.hs view
@@ -1,8 +1,9 @@ {-# LANGUAGE EmptyDataDecls #-}-{-# LANGUAGE TypeOperators #-}-{-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} -- | -- Module : TypeLevel.Number.Classes
type-level-numbers.cabal view
@@ -1,11 +1,11 @@ Name: type-level-numbers-Version: 0.1.1.1+Version: 0.1.1.2 Synopsis: Type level numbers implemented using type families. Description: This is type level numbers implemented using type families. Natural numbers use binary encoding. With default context stack numbers up- to 2^18-1 coudl be represented. Signed integer numbers use balanced ternary+ to 2^18-1 could be represented. Signed integer numbers use balanced ternary encoding. . Package is structured as folows:@@ -22,10 +22,10 @@ So far comparison of numbers, subtraction and multiplication of numbers are supported. -Cabal-Version: >= 1.8+Cabal-Version: >= 1.10 License: BSD3 License-File: LICENSE-Bug-reports: https://github.com/bos/statistics/issues+Bug-reports: https://github.com/Shimuuar/type-level-numbers/issues Author: Alexey Khudyakov <alexey.skladnoy@gmail.com> Maintainer: Alexey Khudyakov <alexey.skladnoy@gmail.com> Homepage: @@ -35,14 +35,12 @@ ChangeLog source-repository head- type: hg- location: http://bitbucket.org/Shimuuar/type-level-numbers-source-repository head type: git location: https://github.com/Shimuuar/type-level-numbers Library+ default-language: Haskell2010 ghc-options: -Wall Build-Depends: base >=3 && <5, template-haskell > 2.0@@ -58,20 +56,22 @@ TypeLevel.Util test-suite test-nat- type: exitcode-stdio-1.0- hs-source-dirs: test- main-is: nat.hs- other-modules: TestNat+ default-language: Haskell2010+ type: exitcode-stdio-1.0+ hs-source-dirs: test+ main-is: nat.hs+ other-modules: TestNat build-depends: base, template-haskell, type-level-numbers test-suite test-int- type: exitcode-stdio-1.0- hs-source-dirs: test- main-is: int.hs- other-modules: TestNat+ default-language: Haskell2010+ type: exitcode-stdio-1.0+ hs-source-dirs: test+ main-is: int.hs+ other-modules: TestNat build-depends: base, template-haskell,