packages feed

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 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 --