NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes Contents Index

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 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) Instances RealIntegral Int RealIntegral Integer

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 Instances RealFrac Double RealFrac Float RealFrac T RealFrac T (ToInteger a, C a) => RealFrac (T a)

class Real a => ToRational a where

Methods toRational :: a -> Rational Instances ToRational Double ToRational Float ToRational Int ToRational Integer (ToInteger a, C a) => ToRational (T a)

class (ToRational a, RealIntegral a) => ToInteger a where

Methods toInteger :: a -> Integer Instances ToInteger Int ToInteger Integer

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