Numeric.CollectErrors

Type of numeric errors

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

data NumErrors

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 CN = CollectErrors NumErrors

cn :: v -> CN v

unCN :: CN p -> p

(~!) :: Show es => CollectErrors es p -> p

Unsafe way to get a value out of the CollectErrors wrapper.

Utilities

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.

Applicable general collect-error utilities

noValue :: es -> CollectErrors es v

prependErrors :: Monoid es => es -> CollectErrors es v -> CollectErrors es v

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

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

class CanTestErrorsCertain es where

Methods

hasCertainError :: es -> Bool

Instances

CanTestErrorsCertain NumErrorLevel

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrorLevel -> Bool

CanTestErrorsCertain NumErrors

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrors -> Bool

CanTestErrorsCertain es => CanTestErrorsCertain [es]

Defined in Control.CollectErrors.Type

Methods

hasCertainError :: [es] -> Bool

CanTestErrorsCertain es => CanTestErrorsCertain (Set es)

Defined in Control.CollectErrors.Type

Methods

hasCertainError :: Set es -> Bool

CanTestErrorsCertain es => CanTestErrorsCertain (CollectErrors es v)

Defined in Control.CollectErrors.Type

Methods

hasCertainError :: CollectErrors es v -> Bool

class CanTestErrorsPresent es where

Methods

hasError :: es -> Bool

Instances

CanTestErrorsPresent NumErrors

Defined in Numeric.CollectErrors.Type

Methods

hasError :: NumErrors -> Bool

CanTestErrorsPresent [es]

Defined in Control.CollectErrors.Type

Methods

hasError :: [es] -> Bool

CanTestErrorsPresent (Set es)

Defined in Control.CollectErrors.Type

Methods

hasError :: Set es -> Bool

CanTestErrorsPresent es => CanTestErrorsPresent (CollectErrors es v)

Defined in Control.CollectErrors.Type

Methods

hasError :: CollectErrors es v -> Bool

toEither :: CanBeErrors es => CollectErrors es v -> Either es v

A safe way to get a value out of the CollectErrors wrapper.

withErrorOrValue :: CanBeErrors es => (es -> t) -> (v -> t) -> CollectErrors es v -> t

filterValuesWithoutError :: CanBeErrors es => [CollectErrors es v] -> [v]

lift :: Monoid es => (a -> b) -> CollectErrors es a -> CollectErrors es b

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

liftPair :: Monoid es => (a -> (c, d)) -> CollectErrors es a -> (CollectErrors es c, CollectErrors es d)

lift2 :: Monoid es => (a -> b -> c) -> CollectErrors es a -> CollectErrors es b -> CollectErrors es c

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

lift1T :: Monoid es => (a -> b -> c) -> CollectErrors es a -> b -> CollectErrors es c

liftT1 :: Monoid es => (a -> b -> c) -> a -> CollectErrors es b -> CollectErrors es c

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

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

lift2pair :: Monoid es => (a -> b -> (c, d)) -> CollectErrors es a -> CollectErrors es b -> (CollectErrors es c, CollectErrors es d)

lift1Tpair :: Monoid es => (a -> b -> (c, d)) -> CollectErrors es a -> b -> (CollectErrors es c, CollectErrors es d)

liftT1pair :: Monoid es => (a -> b -> (c, d)) -> a -> CollectErrors es b -> (CollectErrors es c, CollectErrors es d)