Safe Haskell	None
Language	Haskell2010

Numeric.Limp.Rep.Arbitrary

Description

Arbitrary precision number representation

Synopsis

Documentation

data Arbitrary Source #

A representation that uses arbitrary-sized Integers and Rationals

Instances

Rep Arbitrary Source #
Associated Types data Z Arbitrary :: * Source # data R Arbitrary :: * Source # Methods fromZ :: Z Arbitrary -> R Arbitrary Source #
Enum (Z Arbitrary) Source #
Methods succ :: Z Arbitrary -> Z Arbitrary # pred :: Z Arbitrary -> Z Arbitrary # toEnum :: Int -> Z Arbitrary # fromEnum :: Z Arbitrary -> Int # enumFrom :: Z Arbitrary -> [Z Arbitrary] # enumFromThen :: Z Arbitrary -> Z Arbitrary -> [Z Arbitrary] # enumFromTo :: Z Arbitrary -> Z Arbitrary -> [Z Arbitrary] # enumFromThenTo :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary -> [Z Arbitrary] #
Enum (R Arbitrary) Source #
Methods succ :: R Arbitrary -> R Arbitrary # pred :: R Arbitrary -> R Arbitrary # toEnum :: Int -> R Arbitrary # fromEnum :: R Arbitrary -> Int # enumFrom :: R Arbitrary -> [R Arbitrary] # enumFromThen :: R Arbitrary -> R Arbitrary -> [R Arbitrary] # enumFromTo :: R Arbitrary -> R Arbitrary -> [R Arbitrary] # enumFromThenTo :: R Arbitrary -> R Arbitrary -> R Arbitrary -> [R Arbitrary] #
Eq (Z Arbitrary) Source #
Methods (==) :: Z Arbitrary -> Z Arbitrary -> Bool # (/=) :: Z Arbitrary -> Z Arbitrary -> Bool #
Eq (R Arbitrary) Source #
Methods (==) :: R Arbitrary -> R Arbitrary -> Bool # (/=) :: R Arbitrary -> R Arbitrary -> Bool #
Fractional (R Arbitrary) Source #
Methods (/) :: R Arbitrary -> R Arbitrary -> R Arbitrary # recip :: R Arbitrary -> R Arbitrary # fromRational :: Rational -> R Arbitrary #
Integral (Z Arbitrary) Source #
Methods quot :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # rem :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # div :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # mod :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # quotRem :: Z Arbitrary -> Z Arbitrary -> (Z Arbitrary, Z Arbitrary) # divMod :: Z Arbitrary -> Z Arbitrary -> (Z Arbitrary, Z Arbitrary) # toInteger :: Z Arbitrary -> Integer #
Num (Z Arbitrary) Source #
Methods (+) :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # (-) :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # (*) :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # negate :: Z Arbitrary -> Z Arbitrary # abs :: Z Arbitrary -> Z Arbitrary # signum :: Z Arbitrary -> Z Arbitrary # fromInteger :: Integer -> Z Arbitrary #
Num (R Arbitrary) Source #
Methods (+) :: R Arbitrary -> R Arbitrary -> R Arbitrary # (-) :: R Arbitrary -> R Arbitrary -> R Arbitrary # (*) :: R Arbitrary -> R Arbitrary -> R Arbitrary # negate :: R Arbitrary -> R Arbitrary # abs :: R Arbitrary -> R Arbitrary # signum :: R Arbitrary -> R Arbitrary # fromInteger :: Integer -> R Arbitrary #
Ord (Z Arbitrary) Source #
Methods compare :: Z Arbitrary -> Z Arbitrary -> Ordering # (<) :: Z Arbitrary -> Z Arbitrary -> Bool # (<=) :: Z Arbitrary -> Z Arbitrary -> Bool # (>) :: Z Arbitrary -> Z Arbitrary -> Bool # (>=) :: Z Arbitrary -> Z Arbitrary -> Bool # max :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary # min :: Z Arbitrary -> Z Arbitrary -> Z Arbitrary #
Ord (R Arbitrary) Source #
Methods compare :: R Arbitrary -> R Arbitrary -> Ordering # (<) :: R Arbitrary -> R Arbitrary -> Bool # (<=) :: R Arbitrary -> R Arbitrary -> Bool # (>) :: R Arbitrary -> R Arbitrary -> Bool # (>=) :: R Arbitrary -> R Arbitrary -> Bool # max :: R Arbitrary -> R Arbitrary -> R Arbitrary # min :: R Arbitrary -> R Arbitrary -> R Arbitrary #
Real (Z Arbitrary) Source #
Methods toRational :: Z Arbitrary -> Rational #
Real (R Arbitrary) Source #
Methods toRational :: R Arbitrary -> Rational #
RealFrac (R Arbitrary) Source #
Methods properFraction :: Integral b => R Arbitrary -> (b, R Arbitrary) # truncate :: Integral b => R Arbitrary -> b # round :: Integral b => R Arbitrary -> b # ceiling :: Integral b => R Arbitrary -> b # floor :: Integral b => R Arbitrary -> b #
Show (Z Arbitrary) Source #	Define show manually, so we can strip out the Z and R prefixes.
Methods showsPrec :: Int -> Z Arbitrary -> ShowS # show :: Z Arbitrary -> String # showList :: [Z Arbitrary] -> ShowS #
Show (R Arbitrary) Source #
Methods showsPrec :: Int -> R Arbitrary -> ShowS # show :: R Arbitrary -> String # showList :: [R Arbitrary] -> ShowS #
data Z Arbitrary Source #
data Z Arbitrary = Z Integer
data R Arbitrary Source #
data R Arbitrary = R Rational