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

Generic NumError

Defined in Numeric.CollectErrors.Type

Associated Types

type Rep NumError :: Type -> Type

Methods

from :: NumError -> Rep NumError x

to :: Rep NumError x -> NumError

NFData NumError

Defined in Numeric.CollectErrors.Type

Methods

rnf :: NumError -> ()

CanTestErrorsCertain NumErrorLevel

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrorLevel -> Bool

type Rep NumError

Defined in Numeric.CollectErrors.Type

type Rep NumError = D1 ('MetaData "NumError" "Numeric.CollectErrors.Type" "collect-errors-0.1.5.0-DAyNZ8BMV4w4yqJNdU6hiq" 'False) (C1 ('MetaCons "DivByZero" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutOfDomain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "NumError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

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

Generic ErrorCertaintyLevel

Defined in Numeric.CollectErrors.Type

Associated Types

type Rep ErrorCertaintyLevel :: Type -> Type

Methods

from :: ErrorCertaintyLevel -> Rep ErrorCertaintyLevel x

to :: Rep ErrorCertaintyLevel x -> ErrorCertaintyLevel

NFData ErrorCertaintyLevel

Defined in Numeric.CollectErrors.Type

Methods

rnf :: ErrorCertaintyLevel -> ()

CanTestErrorsCertain NumErrorLevel

Defined in Numeric.CollectErrors.Type

Methods

hasCertainError :: NumErrorLevel -> Bool

type Rep ErrorCertaintyLevel

Defined in Numeric.CollectErrors.Type

type Rep ErrorCertaintyLevel = D1 ('MetaData "ErrorCertaintyLevel" "Numeric.CollectErrors.Type" "collect-errors-0.1.5.0-DAyNZ8BMV4w4yqJNdU6hiq" 'False) (C1 ('MetaCons "ErrorCertain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrorPotential" 'PrefixI 'False) (U1 :: Type -> Type))

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

Generic NumErrors

Defined in Numeric.CollectErrors.Type

Associated Types

type Rep NumErrors :: Type -> Type

Methods

from :: NumErrors -> Rep NumErrors x

to :: Rep NumErrors x -> NumErrors

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

NFData NumErrors

Defined in Numeric.CollectErrors.Type

Methods

rnf :: 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

CanClearPotentialErrors (CN t)

Defined in Numeric.CollectErrors.Type

Methods

clearPotentialErrors :: CN t -> CN t

type Rep NumErrors

Defined in Numeric.CollectErrors.Type

type Rep NumErrors = D1 ('MetaData "NumErrors" "Numeric.CollectErrors.Type" "collect-errors-0.1.5.0-DAyNZ8BMV4w4yqJNdU6hiq" 'True) (C1 ('MetaCons "NumErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set NumErrorLevel))))

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.

removeValueErrorCertain :: CN t -> NumError -> CN t

removeValueErrorPotential :: CN t -> NumError -> CN t

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

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

class CanClearPotentialErrors cnt where

Methods

clearPotentialErrors :: cnt -> cnt

If there is a value, remove any potential errors that are associated with it.

Instances

CanClearPotentialErrors t => CanClearPotentialErrors [t]

Defined in Numeric.CollectErrors.Type

Methods

clearPotentialErrors :: [t] -> [t]

CanClearPotentialErrors (CN t)

Defined in Numeric.CollectErrors.Type

Methods

clearPotentialErrors :: CN t -> CN t

(CanClearPotentialErrors t1, CanClearPotentialErrors t2) => CanClearPotentialErrors (t1, t2)

Defined in Numeric.CollectErrors.Type

Methods

clearPotentialErrors :: (t1, t2) -> (t1, t2)

type CanTakeCNErrors = CanTakeErrors NumErrors

Applicable general collect-error utilities

noValue :: es -> CollectErrors es v

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

Take a CE-value, add new errors into it and remove the value, if any

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

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)

class CanTakeErrors es t where

Methods

takeErrors :: es -> t -> t

takeErrorsNoValue :: es -> t

Instances

(CanTakeErrors es t1, CanTakeErrors es t2) => CanTakeErrors es (t1, t2)

Defined in Control.CollectErrors.Type

Methods

takeErrors :: es -> (t1, t2) -> (t1, t2)

takeErrorsNoValue :: es -> (t1, t2)

Monoid es => CanTakeErrors es (CollectErrors es t)

Defined in Control.CollectErrors.Type

Methods

takeErrors :: es -> CollectErrors es t -> CollectErrors es t

takeErrorsNoValue :: es -> CollectErrors es t

liftTakeErrors :: CanTakeErrors es t2 => (t1 -> t2) -> CollectErrors es t1 -> t2