applicative-numbers 0.0.3 → 0.0.4
raw patch · 2 files changed
+12/−12 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Numeric.Function: instance (Enum f9ksE) => Enum (a -> f9ksE)
- Data.Numeric.Function: instance (Floating f9ksE) => Floating (a -> f9ksE)
- Data.Numeric.Function: instance (Fractional f9ksE) => Fractional (a -> f9ksE)
- Data.Numeric.Function: instance (Functor []) => Eq (a -> f9ksE)
- Data.Numeric.Function: instance (Integral f9ksE) => Integral (a -> f9ksE)
- Data.Numeric.Function: instance (Num f9ksE) => Num (a -> f9ksE)
- Data.Numeric.Function: instance (Num f9ksE, Ord f9ksE) => Real (a -> f9ksE)
- Data.Numeric.Function: instance (Ord f9ksE) => Ord (a -> f9ksE)
- Data.Numeric.Function: instance (RealFloat f9ksE) => RealFloat (a -> f9ksE)
- Data.Numeric.Function: instance (RealFrac f9ksE) => RealFrac (a -> f9ksE)
+ Data.Numeric.Function: instance (Enum applicative_arg) => Enum (a -> applicative_arg)
+ Data.Numeric.Function: instance (Floating applicative_arg) => Floating (a -> applicative_arg)
+ Data.Numeric.Function: instance (Fractional applicative_arg) => Fractional (a -> applicative_arg)
+ Data.Numeric.Function: instance (Functor []) => Eq (a -> applicative_arg)
+ Data.Numeric.Function: instance (Integral applicative_arg) => Integral (a -> applicative_arg)
+ Data.Numeric.Function: instance (Num applicative_arg) => Num (a -> applicative_arg)
+ Data.Numeric.Function: instance (Num applicative_arg, Ord applicative_arg) => Real (a -> applicative_arg)
+ Data.Numeric.Function: instance (Ord applicative_arg) => Ord (a -> applicative_arg)
+ Data.Numeric.Function: instance (RealFloat applicative_arg) => RealFloat (a -> applicative_arg)
+ Data.Numeric.Function: instance (RealFrac applicative_arg) => RealFrac (a -> applicative_arg)
Files
- applicative-numbers.cabal +1/−1
- src/ApplicativeNumeric-inc.hs +11/−11
applicative-numbers.cabal view
@@ -1,5 +1,5 @@ name: applicative-numbers-version: 0.0.3+version: 0.0.4 cabal-version: >= 1.2 synopsis: Applicative-based numeric instances category: Data, Numerical
src/ApplicativeNumeric-inc.hs view
@@ -58,16 +58,16 @@ -- Hack: the Functor [] is a no-op that allows for a ","-terminated CONSTRAINTS -- Requires FlexibleContexts #ifdef INSTANCE_Eq-instance (CONSTRAINTS Functor []) => Eq (APPLICATIVE f9ksE) where (==) = noOv "(==)"+instance (CONSTRAINTS Functor []) => Eq (APPLICATIVE applicative_arg) where (==) = noOv "(==)" #endif #ifdef INSTANCE_Ord-instance (CONSTRAINTS Ord f9ksE) => Ord (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Ord applicative_arg) => Ord (APPLICATIVE applicative_arg) where { min = liftA2 min ; max = liftA2 max } #endif #ifdef INSTANCE_Show-instance Show (APPLICATIVE f9ksE) where+instance Show (APPLICATIVE applicative_arg) where { show = noOv "show" ; showsPrec = noOv "showsPrec" ; showList = noOv "showList"@@ -75,7 +75,7 @@ #endif #ifdef INSTANCE_Enum-instance (CONSTRAINTS Enum f9ksE) => Enum (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Enum applicative_arg) => Enum (APPLICATIVE applicative_arg) where { succ = fmap succ ; pred = fmap pred ; toEnum = pure . toEnum@@ -87,7 +87,7 @@ } #endif -instance (CONSTRAINTS Num f9ksE) => Num (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Num applicative_arg) => Num (APPLICATIVE applicative_arg) where negate = fmap negate (+) = liftA2 (+) (*) = liftA2 (*)@@ -95,10 +95,10 @@ abs = fmap abs signum = fmap signum -instance (CONSTRAINTS Num f9ksE, Ord f9ksE) => Real (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Num applicative_arg, Ord applicative_arg) => Real (APPLICATIVE applicative_arg) where toRational = noOv "toRational" -instance (CONSTRAINTS Integral f9ksE) => Integral (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Integral applicative_arg) => Integral (APPLICATIVE applicative_arg) where quot = liftA2 quot rem = liftA2 rem div = liftA2 div@@ -107,11 +107,11 @@ x `quotRem` y = (x `quot` y, x `rem` y) x `divMod` y = (x `div` y, x `mod` y) -instance (CONSTRAINTS Fractional f9ksE) => Fractional (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Fractional applicative_arg) => Fractional (APPLICATIVE applicative_arg) where recip = fmap recip fromRational = pure . fromRational -instance (CONSTRAINTS Floating f9ksE) => Floating (APPLICATIVE f9ksE) where+instance (CONSTRAINTS Floating applicative_arg) => Floating (APPLICATIVE applicative_arg) where pi = pure pi sqrt = fmap sqrt exp = fmap exp@@ -127,14 +127,14 @@ atanh = fmap atanh acosh = fmap acosh -instance (CONSTRAINTS RealFrac f9ksE) => RealFrac (APPLICATIVE f9ksE) where+instance (CONSTRAINTS RealFrac applicative_arg) => RealFrac (APPLICATIVE applicative_arg) where properFraction = noOv "properFraction" truncate = noOv "truncate" round = noOv "round" ceiling = noOv "ceiling" floor = noOv "floor" -instance (CONSTRAINTS RealFloat f9ksE) => RealFloat (APPLICATIVE f9ksE) where+instance (CONSTRAINTS RealFloat applicative_arg) => RealFloat (APPLICATIVE applicative_arg) where floatRadix = noOv "floatRadix" floatDigits = noOv "floatDigits" floatRange = noOv "floatRange"