Safe Haskell	None
Language	Haskell98

Hat.Ratio

Documentation

data Ratio a Source #

Instances

WrapVal (Ratio a) Source #
Methods wrapVal :: RefSrcPos -> Ratio a -> RefExp -> R (Ratio a) Source #
Integral a => Show (Ratio a) Source #
Methods gshowsPrec :: RefSrcPos -> RefExp -> R (Fun Int (Fun (Ratio a) ShowS)) Source # sshowsPrec :: R (Fun Int (Fun (Ratio a) ShowS)) Source # gshow :: RefSrcPos -> RefExp -> R (Fun (Ratio a) String) Source # sshow :: R (Fun (Ratio a) String) Source # gshowList :: RefSrcPos -> RefExp -> R (Fun (List (Ratio a)) ShowS) Source # sshowList :: R (Fun (List (Ratio a)) ShowS) Source #
(Read a, Integral a) => Read (Ratio a) Source #
Methods greadsPrec :: RefSrcPos -> RefExp -> R (Fun Int (ReadS (Ratio a))) Source # sreadsPrec :: R (Fun Int (ReadS (Ratio a))) Source # greadList :: RefSrcPos -> RefExp -> R (ReadS (List (Ratio a))) Source # sreadList :: R (ReadS (List (Ratio a))) Source #
Integral a => RealFrac (Ratio a) Source #
Methods gproperFraction :: Integral b => RefSrcPos -> RefExp -> R (Fun (Ratio a) (Tuple2 b (Ratio a))) Source # sproperFraction :: Integral b => R (Fun (Ratio a) (Tuple2 b (Ratio a))) Source # gtruncate :: Integral b => RefSrcPos -> RefExp -> R (Fun (Ratio a) b) Source # ground :: Integral b => RefSrcPos -> RefExp -> R (Fun (Ratio a) b) Source # struncate :: Integral b => R (Fun (Ratio a) b) Source # sround :: Integral b => R (Fun (Ratio a) b) Source # gceiling :: Integral b => RefSrcPos -> RefExp -> R (Fun (Ratio a) b) Source # gfloor :: Integral b => RefSrcPos -> RefExp -> R (Fun (Ratio a) b) Source # sceiling :: Integral b => R (Fun (Ratio a) b) Source # sfloor :: Integral b => R (Fun (Ratio a) b) Source #
Integral a => Fractional (Ratio a) Source #
Methods (!/) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # (\|/) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # grecip :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a)) Source # srecip :: R (Fun (Ratio a) (Ratio a)) Source # gfromRational :: RefSrcPos -> RefExp -> R (Fun Rational (Ratio a)) Source # sfromRational :: R (Fun Rational (Ratio a)) Source #
Integral a => Real (Ratio a) Source #
Methods gtoRational :: RefSrcPos -> RefExp -> R (Fun (Ratio a) Rational) Source # stoRational :: R (Fun (Ratio a) Rational) Source #
Integral a => Num (Ratio a) Source #
Methods (!+) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # (!-) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # (!) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # (\|+) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # (\|-) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # (\|) :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # gnegate :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a)) Source # snegate :: R (Fun (Ratio a) (Ratio a)) Source # gabs :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a)) Source # gsignum :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a)) Source # sabs :: R (Fun (Ratio a) (Ratio a)) Source # ssignum :: R (Fun (Ratio a) (Ratio a)) Source # gfromInteger :: RefSrcPos -> RefExp -> R (Fun Integer (Ratio a)) Source # sfromInteger :: R (Fun Integer (Ratio a)) Source #
Integral a => Enum (Ratio a) Source #
Methods gsucc :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a)) Source # gpred :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Ratio a)) Source # ssucc :: R (Fun (Ratio a) (Ratio a)) Source # spred :: R (Fun (Ratio a) (Ratio a)) Source # gtoEnum :: RefSrcPos -> RefExp -> R (Fun Int (Ratio a)) Source # stoEnum :: R (Fun Int (Ratio a)) Source # gfromEnum :: RefSrcPos -> RefExp -> R (Fun (Ratio a) Int) Source # sfromEnum :: R (Fun (Ratio a) Int) Source # genumFrom :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (List (Ratio a))) Source # senumFrom :: R (Fun (Ratio a) (List (Ratio a))) Source # genumFromThen :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a)))) Source # senumFromThen :: R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a)))) Source # genumFromTo :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a)))) Source # senumFromTo :: R (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a)))) Source # genumFromThenTo :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a))))) Source # senumFromThenTo :: R (Fun (Ratio a) (Fun (Ratio a) (Fun (Ratio a) (List (Ratio a))))) Source #
Integral a => Ord (Ratio a) Source #
Methods gcompare :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Ordering)) Source # scompare :: R (Fun (Ratio a) (Fun (Ratio a) Ordering)) Source # (!<) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (!<=) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (!>=) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (!>) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (\|<) :: R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (\|<=) :: R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (\|>=) :: R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (\|>) :: R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # gmax :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # gmin :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # smax :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source # smin :: R (Fun (Ratio a) (Fun (Ratio a) (Ratio a))) Source #
Eq a => Eq (Ratio a) Source #
Methods (!==) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (!/=) :: RefSrcPos -> RefExp -> R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (\|==) :: R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source # (\|/=) :: R (Fun (Ratio a) (Fun (Ratio a) Bool)) Source #

type Rational = Ratio Integer Source #

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

(+%) :: RefAtom Source #

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

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

anumerator :: RefAtom Source #

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

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

adenominator :: RefAtom Source #

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

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

aapproxRational :: RefAtom Source #

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