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

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

type Rep NumErrors

Defined in Numeric.CollectErrors.Type

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

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

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.4.1-3TYetJF1qk82oqi66tywkB" '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.4.1-3TYetJF1qk82oqi66tywkB" 'False) (C1 ('MetaCons "ErrorCertain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ErrorPotential" 'PrefixI 'False) (U1 :: Type -> Type))

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

clearPotentialErrors :: CN t -> CN t

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

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

type CanTakeCNErrors = CanTakeErrors NumErrors