MathObj.Wrapper.Haskell98

A wrapper that provides instances of Haskell 98 and NumericPrelude numeric type classes for types that have Haskell 98 instances.

Documentation

newtype T a

This makes a type usable in the NumericPrelude framework that was initially implemented for Haskell98 typeclasses. E.g. if a is in class Num, then T a is both in class Num and in C.

You can even lift container types. If Polynomial a is in Num for all types a that are in Num, then T (Polynomial (MathObj.Wrapper.NumericPrelude.T a)) is in C for all types a that are in C.

Constructors

Cons

Fields

• decons :: a

Instances

Functor T

Defined in MathObj.Wrapper.Haskell98

Methods

fmap :: (a -> b) -> T a -> T b

(<$) :: a -> T b -> T a

Bounded a => Bounded (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

minBound :: T a

maxBound :: T a

Enum a => Enum (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

succ :: T a -> T a

pred :: T a -> T a

toEnum :: Int -> T a

fromEnum :: T a -> Int

enumFrom :: T a -> [T a]

enumFromThen :: T a -> T a -> [T a]

enumFromTo :: T a -> T a -> [T a]

enumFromThenTo :: T a -> T a -> T a -> [T a]

Eq a => Eq (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

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

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

Floating a => Floating (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

pi :: T a

exp :: T a -> T a

log :: T a -> T a

sqrt :: T a -> T a

(**) :: T a -> T a -> T a

logBase :: T a -> T a -> T a

sin :: T a -> T a

cos :: T a -> T a

tan :: T a -> T a

asin :: T a -> T a

acos :: T a -> T a

atan :: T a -> T a

sinh :: T a -> T a

cosh :: T a -> T a

tanh :: T a -> T a

asinh :: T a -> T a

acosh :: T a -> T a

atanh :: T a -> T a

log1p :: T a -> T a

expm1 :: T a -> T a

log1pexp :: T a -> T a

log1mexp :: T a -> T a

Fractional a => Fractional (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

(/) :: T a -> T a -> T a

recip :: T a -> T a

fromRational :: Rational -> T a

Integral a => Integral (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

quot :: T a -> T a -> T a

rem :: T a -> T a -> T a

div :: T a -> T a -> T a

mod :: T a -> T a -> T a

quotRem :: T a -> T a -> (T a, T a)

divMod :: T a -> T a -> (T a, T a)

toInteger :: T a -> Integer

Num a => Num (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

(+) :: T a -> T a -> T a

(-) :: T a -> T a -> T a

(*) :: T a -> T a -> T a

negate :: T a -> T a

abs :: T a -> T a

signum :: T a -> T a

fromInteger :: Integer -> T a

Ord a => Ord (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

compare :: T a -> T a -> Ordering

(<) :: T a -> T a -> Bool

(<=) :: T a -> T a -> Bool

(>) :: T a -> T a -> Bool

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

max :: T a -> T a -> T a

min :: T a -> T a -> T a

Real a => Real (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

toRational :: T a -> Rational

RealFloat a => RealFloat (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

floatRadix :: T a -> Integer

floatDigits :: T a -> Int

floatRange :: T a -> (Int, Int)

decodeFloat :: T a -> (Integer, Int)

encodeFloat :: Integer -> Int -> T a

exponent :: T a -> Int

significand :: T a -> T a

scaleFloat :: Int -> T a -> T a

isNaN :: T a -> Bool

isInfinite :: T a -> Bool

isDenormalized :: T a -> Bool

isNegativeZero :: T a -> Bool

isIEEE :: T a -> Bool

atan2 :: T a -> T a -> T a

RealFrac a => RealFrac (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

properFraction :: Integral b => T a -> (b, T a)

truncate :: Integral b => T a -> b

round :: Integral b => T a -> b

ceiling :: Integral b => T a -> b

floor :: Integral b => T a -> b

Show a => Show (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

Ix a => Ix (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

range :: (T a, T a) -> [T a]

index :: (T a, T a) -> T a -> Int

unsafeIndex :: (T a, T a) -> T a -> Int

inRange :: (T a, T a) -> T a -> Bool

rangeSize :: (T a, T a) -> Int

unsafeRangeSize :: (T a, T a) -> Int

Num a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

zero :: T a

(+) :: T a -> T a -> T a

(-) :: T a -> T a -> T a

negate :: T a -> T a

(Eq a, Num a) => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

isZero :: T a -> Bool

Num a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

(*) :: T a -> T a -> T a

one :: T a

fromInteger :: Integer -> T a

(^) :: T a -> Integer -> T a

Integral a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

div :: T a -> T a -> T a

mod :: T a -> T a -> T a

divMod :: T a -> T a -> (T a, T a)

Integral a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

isUnit :: T a -> Bool

stdAssociate :: T a -> T a

stdUnit :: T a -> T a

stdUnitInv :: T a -> T a

Integral a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

extendedGCD :: T a -> T a -> (T a, (T a, T a))

gcd :: T a -> T a -> T a

lcm :: T a -> T a -> T a

Num a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

abs :: T a -> T a

signum :: T a -> T a

Fractional a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

(/) :: T a -> T a -> T a

recip :: T a -> T a

fromRational' :: Rational -> T a

(^-) :: T a -> Integer -> T a

Real a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

toRational :: T a -> Rational

Integral a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

quot :: T a -> T a -> T a

rem :: T a -> T a -> T a

quotRem :: T a -> T a -> (T a, T a)

Integral a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

toInteger :: T a -> Integer

Floating a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

sqrt :: T a -> T a

root :: Integer -> T a -> T a

(^/) :: T a -> Rational -> T a

Floating a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

pi :: T a

exp :: T a -> T a

log :: T a -> T a

logBase :: T a -> T a -> T a

(**) :: T a -> T a -> T a

sin :: T a -> T a

cos :: T a -> T a

tan :: T a -> T a

asin :: T a -> T a

acos :: T a -> T a

atan :: T a -> T a

sinh :: T a -> T a

cosh :: T a -> T a

tanh :: T a -> T a

asinh :: T a -> T a

acosh :: T a -> T a

atanh :: T a -> T a

RealFrac a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

splitFraction :: C b => T a -> (b, T a)

fraction :: T a -> T a

ceiling :: C b => T a -> b

floor :: C b => T a -> b

truncate :: C b => T a -> b

round :: C b => T a -> b

RealFrac a => C (T a)

Defined in MathObj.Wrapper.Haskell98

RealFloat a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

atan2 :: T a -> T a -> T a

RealFloat a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

radix :: T a -> Integer

digits :: T a -> Int

range :: T a -> (Int, Int)

decode :: T a -> (Integer, Int)

encode :: Integer -> Int -> T a

exponent :: T a -> Int

significand :: T a -> T a

scale :: Int -> T a -> T a

isNaN :: T a -> Bool

isInfinite :: T a -> Bool

isDenormalized :: T a -> Bool

isNegativeZero :: T a -> Bool

isIEEE :: T a -> Bool

lift1 :: (a -> b) -> T a -> T b

lift2 :: (a -> b -> c) -> T a -> T b -> T c

unliftF1 :: Functor f => (f (T a) -> f (T b)) -> f a -> f b

unliftF2 :: Functor f => (f (T a) -> f (T b) -> f (T c)) -> f a -> f b -> f c

unimplemented :: String -> a