numbers 2009.8.6.1 → 2009.8.9

raw patch · 2 files changed

+7/−1 lines, 2 filesnew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Number.BigFloat: instance (Epsilon e) => Floating (BigFloat e)

- Data.Number.BigFloat: instance (Epsilon e) => Fractional (BigFloat e)

- Data.Number.BigFloat: instance (Epsilon e) => Num (BigFloat e)

- Data.Number.BigFloat: instance (Epsilon e) => Real (BigFloat e)

- Data.Number.BigFloat: instance (Epsilon e) => RealFloat (BigFloat e)

- Data.Number.BigFloat: instance (Epsilon e) => RealFrac (BigFloat e)

- Data.Number.BigFloat: instance (Epsilon e) => Show (BigFloat e)

- Data.Number.Dif: instance (Eq a) => Eq (Dif a)

- Data.Number.Dif: instance (Floating a) => Floating (Dif a)

- Data.Number.Dif: instance (Fractional a) => Fractional (Dif a)

- Data.Number.Dif: instance (Num a) => Num (Dif a)

- Data.Number.Dif: instance (Ord a) => Ord (Dif a)

- Data.Number.Dif: instance (Read a) => Read (Dif a)

- Data.Number.Dif: instance (Real a) => Real (Dif a)

- Data.Number.Dif: instance (RealFloat a) => RealFloat (Dif a)

- Data.Number.Dif: instance (RealFrac a) => RealFrac (Dif a)

- Data.Number.Dif: instance (Show a) => Show (Dif a)

- Data.Number.Fixed: instance (Epsilon e) => Epsilon (EpsDiv10 e)

- Data.Number.Fixed: instance (Epsilon e) => Epsilon (PrecPlus20 e)

- Data.Number.Fixed: instance (Epsilon e) => Floating (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => Fractional (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => Num (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => Read (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => Real (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => RealFloat (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => RealFrac (Fixed e)

- Data.Number.Fixed: instance (Epsilon e) => Show (Fixed e)

- Data.Number.Interval: instance (Ord a) => Eq (Interval a)

- Data.Number.Interval: instance (Ord a) => Ord (Interval a)

- Data.Number.Symbolic: instance (Enum a) => Enum (Sym a)

- Data.Number.Symbolic: instance (Eq a) => Eq (Sym a)

- Data.Number.Symbolic: instance (Floating a) => Floating (Sym a)

- Data.Number.Symbolic: instance (Fractional a) => Fractional (Sym a)

- Data.Number.Symbolic: instance (Integral a) => Integral (Sym a)

- Data.Number.Symbolic: instance (Num a) => Num (Sym a)

- Data.Number.Symbolic: instance (Ord a) => Ord (Sym a)

- Data.Number.Symbolic: instance (Real a) => Real (Sym a)

- Data.Number.Symbolic: instance (RealFloat a) => RealFloat (Sym a)

- Data.Number.Symbolic: instance (RealFrac a) => RealFrac (Sym a)

- Data.Number.Symbolic: instance (Show a) => Show (Sym a)

+ Data.Number.BigFloat: instance Epsilon e => Floating (BigFloat e)

+ Data.Number.BigFloat: instance Epsilon e => Fractional (BigFloat e)

+ Data.Number.BigFloat: instance Epsilon e => Num (BigFloat e)

+ Data.Number.BigFloat: instance Epsilon e => Real (BigFloat e)

+ Data.Number.BigFloat: instance Epsilon e => RealFloat (BigFloat e)

+ Data.Number.BigFloat: instance Epsilon e => RealFrac (BigFloat e)

+ Data.Number.BigFloat: instance Epsilon e => Show (BigFloat e)

+ Data.Number.Dif: instance Eq a => Eq (Dif a)

+ Data.Number.Dif: instance Floating a => Floating (Dif a)

+ Data.Number.Dif: instance Fractional a => Fractional (Dif a)

+ Data.Number.Dif: instance Num a => Num (Dif a)

+ Data.Number.Dif: instance Ord a => Ord (Dif a)

+ Data.Number.Dif: instance Read a => Read (Dif a)

+ Data.Number.Dif: instance Real a => Real (Dif a)

+ Data.Number.Dif: instance RealFloat a => RealFloat (Dif a)

+ Data.Number.Dif: instance RealFrac a => RealFrac (Dif a)

+ Data.Number.Dif: instance Show a => Show (Dif a)

+ Data.Number.Fixed: instance Epsilon e => Epsilon (EpsDiv10 e)

+ Data.Number.Fixed: instance Epsilon e => Epsilon (PrecPlus20 e)

+ Data.Number.Fixed: instance Epsilon e => Floating (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => Fractional (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => Num (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => Read (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => Real (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => RealFloat (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => RealFrac (Fixed e)

+ Data.Number.Fixed: instance Epsilon e => Show (Fixed e)

+ Data.Number.Interval: instance Ord a => Eq (Interval a)

+ Data.Number.Interval: instance Ord a => Ord (Interval a)

+ Data.Number.Symbolic: instance Enum a => Enum (Sym a)

+ Data.Number.Symbolic: instance Eq a => Eq (Sym a)

+ Data.Number.Symbolic: instance Floating a => Floating (Sym a)

+ Data.Number.Symbolic: instance Fractional a => Fractional (Sym a)

+ Data.Number.Symbolic: instance Integral a => Integral (Sym a)

+ Data.Number.Symbolic: instance Num a => Num (Sym a)

+ Data.Number.Symbolic: instance Ord a => Ord (Sym a)

+ Data.Number.Symbolic: instance Real a => Real (Sym a)

+ Data.Number.Symbolic: instance RealFloat a => RealFloat (Sym a)

+ Data.Number.Symbolic: instance RealFrac a => RealFrac (Sym a)

+ Data.Number.Symbolic: instance Show a => Show (Sym a)

- Data.Number.Dif: dCon :: (Num a) => a -> Dif a

+ Data.Number.Dif: dCon :: Num a => a -> Dif a

- Data.Number.Dif: dVar :: (Num a) => a -> Dif a

+ Data.Number.Dif: dVar :: Num a => a -> Dif a

- Data.Number.Dif: df :: (Num a) => Dif a -> Dif a

+ Data.Number.Dif: df :: Num a => Dif a -> Dif a

- Data.Number.Dif: unDif :: (Num a) => (Dif a -> Dif b) -> (a -> b)

+ Data.Number.Dif: unDif :: Num a => (Dif a -> Dif b) -> (a -> b)

- Data.Number.Fixed: dynamicEps :: Rational -> (forall e. (Epsilon e) => Fixed e -> a) -> Rational -> a

+ Data.Number.Fixed: dynamicEps :: Rational -> (forall e. Epsilon e => Fixed e -> a) -> Rational -> a

- Data.Number.Fixed: precision :: (Epsilon e) => Fixed e -> Rational

+ Data.Number.Fixed: precision :: Epsilon e => Fixed e -> Rational

- Data.Number.Interval: ival :: (Ord a) => a -> a -> Interval a

+ Data.Number.Interval: ival :: Ord a => a -> a -> Interval a

- Data.Number.Symbolic: subst :: (Num a) => String -> Sym a -> Sym a -> Sym a

+ Data.Number.Symbolic: subst :: Num a => String -> Sym a -> Sym a -> Sym a

- Data.Number.Symbolic: unSym :: (Show a) => Sym a -> a

+ Data.Number.Symbolic: unSym :: Show a => Sym a -> a

Files

Data/Number/Natural.hs +6/−0
numbers.cabal +1/−1

Data/Number/Natural.hs view

@@ -30,6 +30,12 @@      (<=) = flip (>=) +    S x `max` S y = S (x `max` y)+    x   `max` y   = x + y++    S x `min` S y = S (x `min` y)+    _   `min` _   = Z+ maybeSubtract :: Natural -> Natural -> Maybe Natural a   `maybeSubtract` Z   = Just a S a `maybeSubtract` S b = a `maybeSubtract` b

numbers.cabal view

@@ -1,5 +1,5 @@ Name:		numbers-Version:	2009.8.6.1+Version:	2009.8.9 License:	BSD3 Author:		Lennart Augustsson Maintainer:	Lennart Augustsson