MagicHaskeller.FastRatio

Documentation

data Ratio a

Constructors

!Integer :% !Integer

Instances

Integral a => Enum (Ratio a)

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)

Defined in MagicHaskeller.FastRatio

Methods

(==) :: Ratio a -> Ratio a -> Bool

(/=) :: Ratio a -> Ratio a -> Bool

Integral a => Fractional (Ratio a)

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)

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)

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)

Defined in MagicHaskeller.FastRatio

Methods

toRational :: Ratio a -> Rational

Integral a => RealFrac (Ratio a)

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)

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)

Defined in MagicHaskeller.MyCheck

Methods

coarbitrary :: Ratio i -> Gen b -> Gen b

(Integral i, Random i) => Arbitrary (Ratio i)

Defined in MagicHaskeller.MyCheck

Methods

arbitrary :: Gen (Ratio i)

(NearEq i, Integral i) => NearEq (Ratio i)

Defined in MagicHaskeller.NearEq

Methods

(~=) :: Ratio i -> Ratio i -> Bool

type Rational = Ratio Integer

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

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

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

notANumber :: Ratio a

reduce :: Integer -> Integer -> Ratio a

choose :: Ratio a -> Ratio a