MagicHaskeller-0.9.6.4.4: Automatic inductive functional programmer by systematic search

Safe Haskell	None
Language	Haskell98

MagicHaskeller.FastRatio

Documentation

data Ratio a Source

Constructors

!Integer :% !Integer

Instances

Integral a => Enum (Ratio a) Source
Eq (Ratio a) Source
Integral a => Fractional (Ratio a) Source
Integral a => Num (Ratio a) Source
Ord (Ratio a) Source
Integral a => Real (Ratio a) Source
Integral a => RealFrac (Ratio a) Source
(Show a, Integral a) => Show (Ratio a) Source
(NearEq i, Integral i) => NearEq (Ratio i) Source
(Integral i, Random i, Show i) => ShowArbitrary (Ratio i) Source

type Rational = Ratio Integer Source

(%) :: Integral a => a -> a -> Ratio a Source

numerator :: Integral a => Ratio a -> a Source

denominator :: Integral a => Ratio a -> a Source

notANumber :: Ratio a Source

reduce :: Integer -> Integer -> Ratio a Source

choose :: Ratio a -> Ratio a Source