Number.NonNegative

A type for non-negative numbers. It performs a run-time check at construction time (i.e. at run-time) and is a member of the non-negative number type class C.

Documentation

data T a

Instances

(Ord a, Num a, Bounded a) => Bounded (T a)

Defined in Numeric.NonNegative.Wrapper

Methods

minBound :: T a

maxBound :: T a

(Ord a, Num a, Enum a) => Enum (T a)

Defined in Numeric.NonNegative.Wrapper

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 Numeric.NonNegative.Wrapper

Methods

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

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

(Ord a, Floating a) => Floating (T a)

Defined in Numeric.NonNegative.Wrapper

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

(Ord a, Fractional a) => Fractional (T a)

Defined in Numeric.NonNegative.Wrapper

Methods

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

recip :: T a -> T a

fromRational :: Rational -> T a

Integral a => Integral (T a)

Defined in Numeric.NonNegative.Wrapper

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

(Ord a, Num a) => Num (T a)

Defined in Numeric.NonNegative.Wrapper

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 Numeric.NonNegative.Wrapper

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 Numeric.NonNegative.Wrapper

Methods

toRational :: T a -> Rational

RealFrac a => RealFrac (T a)

Defined in Numeric.NonNegative.Wrapper

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 Numeric.NonNegative.Wrapper

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

Num a => Semigroup (T a)

Defined in Numeric.NonNegative.Wrapper

Methods

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

sconcat :: NonEmpty (T a) -> T a

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

Num a => Monoid (T a)

Defined in Numeric.NonNegative.Wrapper

Methods

mempty :: T a

mappend :: T a -> T a -> T a

mconcat :: [T a] -> T a

(Num a, Arbitrary a) => Arbitrary (T a)

Defined in Numeric.NonNegative.Wrapper

Methods

arbitrary :: Gen (T a)

shrink :: T a -> [T a]

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

Defined in Numeric.NonNegative.Wrapper

Methods

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

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

zero :: T a

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

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

negate :: T a -> T a

C a => C (T a)

Defined in Number.NonNegative

Methods

isZero :: T a -> Bool

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

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

one :: T a

fromInteger :: Integer -> T a

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

C a => C (T a)

Defined in Number.NonNegative

Methods

idt :: T a

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

cumulate :: [T a] -> T a

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

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

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

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

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

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

(C a, Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

abs :: T a -> T a

signum :: T a -> T a

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

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

recip :: T a -> T a

fromRational' :: Rational -> T a

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

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

toRational :: T a -> Rational

C a => C (T a)

Defined in Number.NonNegative

Methods

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

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

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

C a => C (T a)

Defined in Number.NonNegative

Methods

toInteger :: T a -> Integer

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

Methods

sqrt :: T a -> T a

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

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

(Ord a, C a) => C (T a)

Defined in Number.NonNegative

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

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

Defined in Number.NonNegative

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

fromNumber :: (Ord a, C a) => a -> T a

Convert a number to a non-negative number. If a negative number is given, an error is raised.

fromNumberMsg

Arguments

:: (Ord a, C a)

=> String

name of the calling function to be used in the error message

-> a

-> T a

fromNumberClip :: (Ord a, C a) => a -> T a

Convert a number to a non-negative number. A negative number will be replaced by zero. Use this function with care since it may hide bugs.

fromNumberUnsafe :: a -> T a

Wrap a number into a non-negative number without doing checks. This routine exists entirely for efficiency reasons and must be used only in cases where you are absolutely sure, that the input number is non-negative.

toNumber :: T a -> a

type Int = T Int

type Integer = T Integer

type Float = T Float

type Double = T Double

type Ratio a = T (T a)

type Rational = T Rational

Orphan instances

(Ord a, C a) => C (T a)

Methods

zero :: T a

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

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

negate :: T a -> T a

C a => C (T a)

Methods

isZero :: T a -> Bool

(Ord a, C a) => C (T a)

Methods

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

one :: T a

fromInteger :: Integer -> T a

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

C a => C (T a)

Methods

idt :: T a

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

cumulate :: [T a] -> T a

(Ord a, C a) => C (T a)

Methods

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

(Ord a, C a) => C (T a)

Methods

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

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

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

(C a, Ord a, C a) => C (T a)

Methods

abs :: T a -> T a

signum :: T a -> T a

(Ord a, C a) => C (T a)

Methods

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

recip :: T a -> T a

fromRational' :: Rational -> T a

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

(Ord a, C a) => C (T a)

Methods

toRational :: T a -> Rational

C a => C (T a)

Methods

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

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

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

C a => C (T a)

Methods

toInteger :: T a -> Integer

(Ord a, C a) => C (T a)

Methods

sqrt :: T a -> T a

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

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

(Ord a, C a) => C (T a)

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

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

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