numeric-prelude-0.4.2: An experimental alternative hierarchy of numeric type classes

Copyright(c) Henning Thielemann 2011-2012 (c) Dylan Thurston 2006
Maintainernumericprelude@henning-thielemann.de
Stabilityprovisional
Portabilityportable (?)
Safe HaskellSafe-Inferred
LanguageHaskell98

Number.Ratio

Description

Ratios of mathematical objects.

Synopsis

Documentation

data T a Source

Constructors

(:%) 

Fields

numerator :: !a
 
denominator :: !a
 

Instances

C a => C Integer (T a) 
Eq a => Eq (T a) 
Integral a => Fractional (T a) 
Integral a => Num (T a) 
(Ord a, C a) => Ord (T a) 
(Read a, C a) => Read (T a) 
(Show a, C a) => Show (T a) 
(Arbitrary a, C a, C a) => Arbitrary (T a) 
(Storable a, C a) => Storable (T a) 
(Random a, C a, C a) => Random (T a) 
(Ord a, C a) => C (T a) 
C a => C (T a) 
(C a, C a) => C (T a) 
C a => C (T a) 
(C a, C a) => C (T a) 
C a => C (T a) 
(C a, C a) => C (T a) 
(C a, C a) => C (T a) 
(C a, C a) => C (T a) 
(Ord a, C a) => C (T a) 
C a => C (T a) (T a) 
C a => C (T a) (T a) 
C a => C (T a) (T a) 
(C a, C a) => Sqr (T a) (T a) 
(C a, C a, C a) => C (T a) (T a) 
(C a, C a) => C (T a) (T a) 

(%) :: C a => a -> a -> T a infixl 7 Source

fromValue :: C a => a -> T a Source

recip :: (C a, C a) => T a -> T a Source

scale :: C a => a -> T a -> T a Source

split :: C a => T a -> (a, T a) Source

similar to splitFraction

showsPrecAuto :: (Eq a, C a, Show a) => Int -> T a -> String -> String Source

This is an alternative show method that is more user-friendly but also potentially more ambigious.

toRational98 :: Integral a => T a -> Ratio a Source

Necessary when mixing NumericPrelude.Numeric Rationals with Prelude98 Rationals