NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Algebra.Core
Documentation
ringPower :: (C a, ToInteger b) => b -> a -> a
fieldPower :: (C a, ToInteger b) => b -> a -> a
class (C a, C a, Ord a) => Real a where
Methods
abs :: a -> a
signum :: a -> a
show/hide Instances
Real Double
Real Float
Real Int
Real Integer
Real T
Real T
(Real a, C a) => Real (T a)
Real v => Real (T a v)
Real v => Real (T a v)
(Ord i, Real a) => Real (T i a)
class (Real a, C a) => RealIntegral a where
Methods
quot :: a -> a -> a
rem :: a -> a -> a
quotRem :: a -> a -> (a, a)
show/hide Instances
class (Real a, C a) => RealFrac a where
Methods
splitFraction :: ToInteger b => a -> (b, a)
fraction :: a -> a
ceiling :: ToInteger b => a -> b
floor :: ToInteger b => a -> b
truncate :: ToInteger b => a -> b
round :: ToInteger b => a -> b
show/hide Instances
class Real a => ToRational a where
Methods
toRational :: a -> Rational
show/hide Instances
class (ToRational a, RealIntegral a) => ToInteger a where
Methods
toInteger :: a -> Integer
show/hide Instances
fromIntegral :: (ToInteger a, C b) => a -> b
approxRational :: (ToRational a, RealFrac a) => a -> a -> Rational
fromRational :: C a => Rational -> a
toPRational :: (Integral a, C a) => T a -> Ratio a
preludeSplitFraction :: (RealFrac a, C a, ToInteger b) => a -> (b, a)
legacyInstance :: a
Produced by Haddock version 0.7