modular-arithmetic 1.2.1.2 → 1.2.1.3
raw patch · 3 files changed
+11/−3 lines, 3 filesdep ~doctestPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: doctest
API changes (from Hackage documentation)
- Data.Modular: data Mod i (n :: Nat)
- Data.Modular: instance (GHC.Read.Read i, GHC.Real.Integral i, GHC.TypeLits.KnownNat n) => GHC.Read.Read (Data.Modular.Mod i n)
- Data.Modular: instance (GHC.Real.Integral i, GHC.TypeLits.KnownNat n) => GHC.Enum.Bounded (Data.Modular.Mod i n)
- Data.Modular: instance (GHC.Real.Integral i, GHC.TypeLits.KnownNat n) => GHC.Enum.Enum (Data.Modular.Mod i n)
- Data.Modular: instance (GHC.Real.Integral i, GHC.TypeLits.KnownNat n) => GHC.Num.Num (Data.Modular.Mod i n)
- Data.Modular: instance (GHC.Real.Integral i, GHC.TypeLits.KnownNat n) => GHC.Real.Integral (Data.Modular.Mod i n)
- Data.Modular: instance (GHC.Real.Integral i, GHC.TypeLits.KnownNat n) => GHC.Real.Real (Data.Modular.Mod i n)
- Data.Modular: type (/) = Mod
+ Data.Modular: data i `Mod` (n :: Nat)
+ Data.Modular: instance (GHC.Read.Read i, GHC.Real.Integral i, GHC.TypeNats.KnownNat n) => GHC.Read.Read (Data.Modular.Mod i n)
+ Data.Modular: instance (GHC.Real.Integral i, GHC.TypeNats.KnownNat n) => GHC.Enum.Bounded (Data.Modular.Mod i n)
+ Data.Modular: instance (GHC.Real.Integral i, GHC.TypeNats.KnownNat n) => GHC.Enum.Enum (Data.Modular.Mod i n)
+ Data.Modular: instance (GHC.Real.Integral i, GHC.TypeNats.KnownNat n) => GHC.Num.Num (Data.Modular.Mod i n)
+ Data.Modular: instance (GHC.Real.Integral i, GHC.TypeNats.KnownNat n) => GHC.Real.Integral (Data.Modular.Mod i n)
+ Data.Modular: instance (GHC.Real.Integral i, GHC.TypeNats.KnownNat n) => GHC.Real.Real (Data.Modular.Mod i n)
+ Data.Modular: type / = Mod
Files
- CHANGELOG.md +4/−0
- modular-arithmetic.cabal +2/−2
- src/Data/Modular.hs +5/−1
CHANGELOG.md view
@@ -1,3 +1,7 @@+1.2.1.3+---+* fixed a name clash with GHC.TypeLits for base >= 4.11.0+ 1.2.1.2 --- * exported the `/` type operator with `ExplicitNamespaces` enabled to
modular-arithmetic.cabal view
@@ -1,5 +1,5 @@ name: modular-arithmetic-version: 1.2.1.2+version: 1.2.1.3 synopsis: A type for integers modulo some constant. description: A convenient type for working with integers modulo some constant. It saves you from manually wrapping numeric operations all over the place and prevents a range of simple mistakes. @Integer `Mod` 7@ is the type of integers (mod 7) backed by @Integer@.@@ -34,4 +34,4 @@ type: exitcode-stdio-1.0 build-depends: base >= 4.7 && < 5 , Glob >= 0.7 && < 0.8- , doctest >= 0.9 && < 0.12+ , doctest >= 0.9 && < 0.15
src/Data/Modular.hs view
@@ -6,7 +6,7 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE ExplicitNamespaces #-}-+{-# LANGUAGE CPP#-} -- | -- Types for working with integers modulo some constant. module Data.Modular (@@ -27,7 +27,11 @@ import Data.Proxy (Proxy (..)) import Data.Ratio ((%)) +#if MIN_VERSION_base(4,11,0)+import GHC.TypeLits hiding (Mod)+#else import GHC.TypeLits+#endif -- $setup --