Safe Haskell	None
Language	Haskell2010

MagicHaskeller.FastRatio

Documentation

data Ratio a Source #

Constructors

!Integer :% !Integer

Instances

Instances details

Integral a => Enum (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods succ :: Ratio a -> Ratio a # pred :: Ratio a -> Ratio a # toEnum :: Int -> Ratio a # fromEnum :: Ratio a -> Int # enumFrom :: Ratio a -> [Ratio a] # enumFromThen :: Ratio a -> Ratio a -> [Ratio a] # enumFromTo :: Ratio a -> Ratio a -> [Ratio a] # enumFromThenTo :: Ratio a -> Ratio a -> Ratio a -> [Ratio a] #
Eq (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods (==) :: Ratio a -> Ratio a -> Bool # (/=) :: Ratio a -> Ratio a -> Bool #
Integral a => Fractional (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods (/) :: Ratio a -> Ratio a -> Ratio a # recip :: Ratio a -> Ratio a # fromRational :: Rational -> Ratio a #
Integral a => Num (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods (+) :: Ratio a -> Ratio a -> Ratio a # (-) :: Ratio a -> Ratio a -> Ratio a # (*) :: Ratio a -> Ratio a -> Ratio a # negate :: Ratio a -> Ratio a # abs :: Ratio a -> Ratio a # signum :: Ratio a -> Ratio a # fromInteger :: Integer -> Ratio a #
Ord (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods compare :: Ratio a -> Ratio a -> Ordering # (<) :: Ratio a -> Ratio a -> Bool # (<=) :: Ratio a -> Ratio a -> Bool # (>) :: Ratio a -> Ratio a -> Bool # (>=) :: Ratio a -> Ratio a -> Bool # max :: Ratio a -> Ratio a -> Ratio a # min :: Ratio a -> Ratio a -> Ratio a #
Integral a => Real (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods toRational :: Ratio a -> Rational #
Integral a => RealFrac (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods properFraction :: Integral b => Ratio a -> (b, Ratio a) # truncate :: Integral b => Ratio a -> b # round :: Integral b => Ratio a -> b # ceiling :: Integral b => Ratio a -> b # floor :: Integral b => Ratio a -> b #
(Show a, Integral a) => Show (Ratio a) Source #
Instance details Defined in MagicHaskeller.FastRatio Methods showsPrec :: Int -> Ratio a -> ShowS # show :: Ratio a -> String # showList :: [Ratio a] -> ShowS #
(Integral i, Bits i) => Coarbitrary (Ratio i) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods coarbitrary :: Ratio i -> Gen b -> Gen b Source #
(Integral i, Random i) => Arbitrary (Ratio i) Source #
Instance details Defined in MagicHaskeller.MyCheck Methods arbitrary :: Gen (Ratio i) Source #
(NearEq i, Integral i) => NearEq (Ratio i) Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Ratio i -> Ratio i -> Bool 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 #