Numeric.CollectErrors.Type

Documentation

cn :: v -> CN v

unCN :: CN p -> p

type CN = CollectErrors NumErrors

newtype NumErrors

Constructors

NumErrors (Set NumErrorLevel)

Instances

Eq NumErrors

Defined in Numeric.CollectErrors.Type

Methods

(==) :: NumErrors -> NumErrors -> Bool

(/=) :: NumErrors -> NumErrors -> Bool

Show NumErrors

Defined in Numeric.CollectErrors.Type

Methods

showsPrec :: Int -> NumErrors -> ShowS

show :: NumErrors -> String

showList :: [NumErrors] -> ShowS

Semigroup NumErrors

Defined in Numeric.CollectErrors.Type

Methods

(<>) :: NumErrors -> NumErrors -> NumErrors

sconcat :: NonEmpty NumErrors -> NumErrors

stimes :: Integral b => b -> NumErrors -> NumErrors

Monoid NumErrors

Defined in Numeric.CollectErrors.Type

Methods

mempty :: NumErrors

mappend :: NumErrors -> NumErrors -> NumErrors

mconcat :: [NumErrors] -> NumErrors

CanTestErrorsPresent NumErrors

Defined in Numeric.CollectErrors.Type

Methods

hasError :: NumErrors -> Bool

CanTestErrorsCertain NumErrors

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrors -> Bool

(Floating v, Ord v, Show v) => Floating (CN v)

Defined in Numeric.CollectErrors.PreludeInstances

Methods

pi :: CN v

exp :: CN v -> CN v

log :: CN v -> CN v

sqrt :: CN v -> CN v

(**) :: CN v -> CN v -> CN v

logBase :: CN v -> CN v -> CN v

sin :: CN v -> CN v

cos :: CN v -> CN v

tan :: CN v -> CN v

asin :: CN v -> CN v

acos :: CN v -> CN v

atan :: CN v -> CN v

sinh :: CN v -> CN v

cosh :: CN v -> CN v

tanh :: CN v -> CN v

asinh :: CN v -> CN v

acosh :: CN v -> CN v

atanh :: CN v -> CN v

log1p :: CN v -> CN v

expm1 :: CN v -> CN v

log1pexp :: CN v -> CN v

log1mexp :: CN v -> CN v

(Fractional v, Eq v) => Fractional (CN v)

Defined in Numeric.CollectErrors.PreludeInstances

Methods

(/) :: CN v -> CN v -> CN v

recip :: CN v -> CN v

fromRational :: Rational -> CN v

(Integral v, Ord v, Show v) => Integral (CN v)

Defined in Numeric.CollectErrors.PreludeInstances

Methods

quot :: CN v -> CN v -> CN v

rem :: CN v -> CN v -> CN v

div :: CN v -> CN v -> CN v

mod :: CN v -> CN v -> CN v

quotRem :: CN v -> CN v -> (CN v, CN v)

divMod :: CN v -> CN v -> (CN v, CN v)

toInteger :: CN v -> Integer

type NumErrorLevel = (NumError, ErrorCertaintyLevel)

data NumError

Constructors

DivByZero

OutOfDomain String

NumError String

Instances

Eq NumError

Defined in Numeric.CollectErrors.Type

Methods

(==) :: NumError -> NumError -> Bool

(/=) :: NumError -> NumError -> Bool

Ord NumError

Defined in Numeric.CollectErrors.Type

Methods

compare :: NumError -> NumError -> Ordering

(<) :: NumError -> NumError -> Bool

(<=) :: NumError -> NumError -> Bool

(>) :: NumError -> NumError -> Bool

(>=) :: NumError -> NumError -> Bool

max :: NumError -> NumError -> NumError

min :: NumError -> NumError -> NumError

Show NumError

Defined in Numeric.CollectErrors.Type

Methods

showsPrec :: Int -> NumError -> ShowS

show :: NumError -> String

showList :: [NumError] -> ShowS

CanTestErrorsCertain NumErrorLevel

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrorLevel -> Bool

data ErrorCertaintyLevel

Constructors

ErrorCertain

ErrorPotential

Instances

Eq ErrorCertaintyLevel

Defined in Numeric.CollectErrors.Type

Methods

(==) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool

(/=) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool

Ord ErrorCertaintyLevel

Defined in Numeric.CollectErrors.Type

Methods

compare :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Ordering

(<) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool

(<=) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool

(>) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool

(>=) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool

max :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> ErrorCertaintyLevel

min :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> ErrorCertaintyLevel

Show ErrorCertaintyLevel

Defined in Numeric.CollectErrors.Type

Methods

showsPrec :: Int -> ErrorCertaintyLevel -> ShowS

show :: ErrorCertaintyLevel -> String

showList :: [ErrorCertaintyLevel] -> ShowS

CanTestErrorsCertain NumErrorLevel

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrorLevel -> Bool

noValueNumErrorCertain :: NumError -> CN v

Construct an empty wrapper indicating that given error has certainly occurred.

noValueNumErrorPotential :: NumError -> CN v

Construct an empty wrapper indicating that given error may have occurred.

prependErrorCertain :: NumError -> CN t -> CN t

prependErrorPotential :: NumError -> CN t -> CN t

liftCN :: (a -> CN c) -> CN a -> CN c

lift2CN :: (a -> b -> CN c) -> CN a -> CN b -> CN c

lift1TCN :: (a -> b -> CN c) -> CN a -> b -> CN c

liftT1CN :: (a -> b -> CN c) -> a -> CN b -> CN c