Numeric.Limp.Rep.Arbitrary

Arbitrary precision number representation

Documentation

data Arbitrary

A representation that uses arbitrary-sized Integers and Rationals

Instances

Rep Arbitrary

Associated Types

data Z Arbitrary :: *

data R Arbitrary :: *

Methods

fromZ :: Z Arbitrary -> R Arbitrary

Enum (Z Arbitrary)

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)

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)

Methods

(==) :: Z Arbitrary -> Z Arbitrary -> Bool

(/=) :: Z Arbitrary -> Z Arbitrary -> Bool

Eq (R Arbitrary)

Methods

(==) :: R Arbitrary -> R Arbitrary -> Bool

(/=) :: R Arbitrary -> R Arbitrary -> Bool

Fractional (R Arbitrary)

Methods

(/) :: R Arbitrary -> R Arbitrary -> R Arbitrary

recip :: R Arbitrary -> R Arbitrary

fromRational :: Rational -> R Arbitrary

Integral (Z Arbitrary)

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)

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)

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)

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)

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)

Methods

toRational :: Z Arbitrary -> Rational

Real (R Arbitrary)

Methods

toRational :: R Arbitrary -> Rational

RealFrac (R Arbitrary)

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)

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)

Methods

showsPrec :: Int -> R Arbitrary -> ShowS

show :: R Arbitrary -> String

showList :: [R Arbitrary] -> ShowS

data Z Arbitrary

data Z Arbitrary = Z Integer

data R Arbitrary

data R Arbitrary = R Rational