Hat.Ratio

Documentation

data Ratio a

Instances

WrapVal (Ratio a)

Methods

wrapVal :: RefSrcPos -> Ratio a -> RefExp -> R (Ratio a)

Integral a => Show (Ratio a)

Methods

gshowsPrec :: RefSrcPos -> RefExp -> R (Fun Int (Fun (Ratio a) ShowS))

sshowsPrec :: R (Fun Int (Fun (Ratio a) ShowS))

gshow :: RefSrcPos -> RefExp -> R (Fun (Ratio a) String)

sshow :: R (Fun (Ratio a) String)

gshowList :: RefSrcPos -> RefExp -> R (Fun (List (Ratio a)) ShowS)

sshowList :: R (Fun (List (Ratio a)) ShowS)

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

Methods

greadsPrec :: RefSrcPos -> RefExp -> R (Fun Int (ReadS (Ratio a)))

sreadsPrec :: R (Fun Int (ReadS (Ratio a)))

greadList :: RefSrcPos -> RefExp -> R (ReadS (List (Ratio a)))

sreadList :: R (ReadS (List (Ratio a)))

Integral a => RealFrac (Ratio a)

Methods

gproperFraction :: Integral b => RefSrcPos -> RefExp -> R (Fun (Ratio a) (Tuple2 b (Ratio a)))

sproperFraction :: Integral b => R (Fun (Ratio a) (Tuple2 b (Ratio a)))

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

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

struncate :: Integral b => R (Fun (Ratio a) b)

sround :: Integral b => R (Fun (Ratio a) b)

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

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

sceiling :: Integral b => R (Fun (Ratio a) b)

sfloor :: Integral b => R (Fun (Ratio a) b)

Integral a => Fractional (Ratio a)

Methods

(!/) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

(|/) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

grecip :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a))

srecip :: R (Fun (Ratio a) (Ratio a))

gfromRational :: RefSrcPos -> RefExp -> R (Fun Rational (Ratio a))

sfromRational :: R (Fun Rational (Ratio a))

Integral a => Real (Ratio a)

Methods

gtoRational :: RefSrcPos -> RefExp -> R (Fun (Ratio a) Rational)

stoRational :: R (Fun (Ratio a) Rational)

Integral a => Num (Ratio a)

Methods

(!+) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

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

(!*) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

(|+) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

(|-) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

(|*) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

gnegate :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a))

snegate :: R (Fun (Ratio a) (Ratio a))

gabs :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a))

gsignum :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a))

sabs :: R (Fun (Ratio a) (Ratio a))

ssignum :: R (Fun (Ratio a) (Ratio a))

gfromInteger :: RefSrcPos -> RefExp -> R (Fun Integer (Ratio a))

sfromInteger :: R (Fun Integer (Ratio a))

Integral a => Enum (Ratio a)

Methods

gsucc :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a))

gpred :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a))

ssucc :: R (Fun (Ratio a) (Ratio a))

spred :: R (Fun (Ratio a) (Ratio a))

gtoEnum :: RefSrcPos -> RefExp -> R (Fun Int (Ratio a))

stoEnum :: R (Fun Int (Ratio a))

gfromEnum :: RefSrcPos -> RefExp -> R (Fun (Ratio a) Int)

sfromEnum :: R (Fun (Ratio a) Int)

genumFrom :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (List (Ratio a)))

senumFrom :: R (Fun (Ratio a) (List (Ratio a)))

genumFromThen :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a))))

senumFromThen :: R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a))))

genumFromTo :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a))))

senumFromTo :: R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a))))

genumFromThenTo :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a)))))

senumFromThenTo :: R (Fun (Ratio a) (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a)))))

Integral a => Ord (Ratio a)

Methods

gcompare :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Ordering))

scompare :: R (Fun (Ratio a) (Fun (Ratio a) Ordering))

(!<) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool))

(!<=) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool))

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

(!>) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool))

(|<) :: R (Fun (Ratio a) (Fun (Ratio a) Bool))

(|<=) :: R (Fun (Ratio a) (Fun (Ratio a) Bool))

(|>=) :: R (Fun (Ratio a) (Fun (Ratio a) Bool))

(|>) :: R (Fun (Ratio a) (Fun (Ratio a) Bool))

gmax :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

gmin :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

smax :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

smin :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a)))

Eq a => Eq (Ratio a)

Methods

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

(!/=) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool))

(|==) :: R (Fun (Ratio a) (Fun (Ratio a) Bool))

(|/=) :: R (Fun (Ratio a) (Fun (Ratio a) Bool))

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