Hat.Ratio

Documentation

data Ratio a

Instances

WrapVal (Ratio a)

Integral a => Show (Ratio a)

(Read a, Integral a) => Read (Ratio a)

Integral a => RealFrac (Ratio a)

Integral a => Fractional (Ratio a)

Integral a => Real (Ratio a)

Integral a => Num (Ratio a)

Integral a => Enum (Ratio a)

Integral a => Ord (Ratio a)

Eq a => Eq (Ratio a)

type Rational = Ratio Integer

(!%) :: Integral a => RefSrcPos -> RefExp -> R (Fun a (Fun a (Ratio a)))

(+%) :: RefAtom

(*%) :: Integral a => R a -> R a -> RefExp -> R (Ratio a)

gnumerator :: Integral a => RefSrcPos -> RefExp -> R (Fun (Ratio a) a)

anumerator :: RefAtom

hnumerator :: Integral a => R (Ratio a) -> RefExp -> R a

gdenominator :: Integral a => RefSrcPos -> RefExp -> R (Fun (Ratio a) a)

adenominator :: RefAtom

hdenominator :: Integral a => R (Ratio a) -> RefExp -> R a

gapproxRational :: RealFrac a => RefSrcPos -> RefExp -> R (Fun a (Fun a Rational))

aapproxRational :: RefAtom

happroxRational :: RealFrac a => R a -> R a -> RefExp -> R Rational