Safe Haskell	None
Language	Haskell2010

Numeric.CollectErrors.Type

Synopsis

cn :: v -> CN v
unCN :: CN p -> p
type CN = CollectErrors NumErrors
newtype NumErrors = NumErrors (Set NumErrorLevel)
type NumErrorLevel = (NumError, ErrorCertaintyLevel)
data NumError
- = DivByZero
- | OutOfDomain String
- | NumError String
data ErrorCertaintyLevel
- = ErrorCertain
- | ErrorPotential
noValueNumErrorCertain :: NumError -> CN v
noValueNumErrorPotential :: NumError -> CN v
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
- clearPotentialErrors :: cnt -> cnt
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

Documentation

cn :: v -> CN v Source #

unCN :: CN p -> p Source #

type CN = CollectErrors NumErrors Source #

newtype NumErrors Source #

Constructors

NumErrors (Set NumErrorLevel)

Instances

Instances details

Eq NumErrors Source #
Instance details Defined in Numeric.CollectErrors.Type Methods (==) :: NumErrors -> NumErrors -> Bool # (/=) :: NumErrors -> NumErrors -> Bool #
Show NumErrors Source #
Instance details Defined in Numeric.CollectErrors.Type Methods showsPrec :: Int -> NumErrors -> ShowS # show :: NumErrors -> String # showList :: [NumErrors] -> ShowS #
Generic NumErrors Source #
Instance details 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 Source #
Instance details Defined in Numeric.CollectErrors.Type Methods (<>) :: NumErrors -> NumErrors -> NumErrors # sconcat :: NonEmpty NumErrors -> NumErrors # stimes :: Integral b => b -> NumErrors -> NumErrors #
Monoid NumErrors Source #
Instance details Defined in Numeric.CollectErrors.Type Methods mempty :: NumErrors # mappend :: NumErrors -> NumErrors -> NumErrors # mconcat :: [NumErrors] -> NumErrors #
NFData NumErrors Source #
Instance details Defined in Numeric.CollectErrors.Type Methods rnf :: NumErrors -> () #
CanTestErrorsPresent NumErrors Source #
Instance details Defined in Numeric.CollectErrors.Type Methods hasError :: NumErrors -> Bool Source #
CanTestErrorsCertain NumErrors Source #
Instance details Defined in Numeric.CollectErrors.Type Methods hasCertainError :: NumErrors -> Bool Source #
(Floating v, Ord v, Show v) => Floating (CN v) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Numeric.CollectErrors.Type Methods clearPotentialErrors :: CN t -> CN t Source #
type Rep NumErrors Source #
Instance details 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 NumErrorLevel = (NumError, ErrorCertaintyLevel) Source #

data NumError Source #

Constructors

DivByZero
OutOfDomain String
NumError String

Instances

Instances details

Eq NumError Source #
Instance details Defined in Numeric.CollectErrors.Type Methods (==) :: NumError -> NumError -> Bool # (/=) :: NumError -> NumError -> Bool #
Ord NumError Source #
Instance details 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 Source #
Instance details Defined in Numeric.CollectErrors.Type Methods showsPrec :: Int -> NumError -> ShowS # show :: NumError -> String # showList :: [NumError] -> ShowS #
Generic NumError Source #
Instance details 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 Source #
Instance details Defined in Numeric.CollectErrors.Type Methods rnf :: NumError -> () #
CanTestErrorsCertain NumErrorLevel Source #
Instance details Defined in Numeric.CollectErrors.Type Methods hasCertainError :: NumErrorLevel -> Bool Source #
type Rep NumError Source #
Instance details 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 Source #

Constructors

ErrorCertain
ErrorPotential

Instances

Instances details

Eq ErrorCertaintyLevel Source #
Instance details Defined in Numeric.CollectErrors.Type Methods (==) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool # (/=) :: ErrorCertaintyLevel -> ErrorCertaintyLevel -> Bool #
Ord ErrorCertaintyLevel Source #
Instance details 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 Source #
Instance details Defined in Numeric.CollectErrors.Type Methods showsPrec :: Int -> ErrorCertaintyLevel -> ShowS # show :: ErrorCertaintyLevel -> String # showList :: [ErrorCertaintyLevel] -> ShowS #
Generic ErrorCertaintyLevel Source #
Instance details 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 Source #
Instance details Defined in Numeric.CollectErrors.Type Methods rnf :: ErrorCertaintyLevel -> () #
CanTestErrorsCertain NumErrorLevel Source #
Instance details Defined in Numeric.CollectErrors.Type Methods hasCertainError :: NumErrorLevel -> Bool Source #
type Rep ErrorCertaintyLevel Source #
Instance details 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))

noValueNumErrorCertain :: NumError -> CN v Source #

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

noValueNumErrorPotential :: NumError -> CN v Source #

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

removeValueErrorCertain :: CN t -> NumError -> CN t Source #

removeValueErrorPotential :: CN t -> NumError -> CN t Source #

prependErrorCertain :: NumError -> CN t -> CN t Source #

prependErrorPotential :: NumError -> CN t -> CN t Source #

class CanClearPotentialErrors cnt where Source #

Methods

clearPotentialErrors :: cnt -> cnt Source #

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

Instances

Instances details

CanClearPotentialErrors t => CanClearPotentialErrors [t] Source #
Instance details Defined in Numeric.CollectErrors.Type Methods clearPotentialErrors :: [t] -> [t] Source #
CanClearPotentialErrors (CN t) Source #
Instance details Defined in Numeric.CollectErrors.Type Methods clearPotentialErrors :: CN t -> CN t Source #
(CanClearPotentialErrors t1, CanClearPotentialErrors t2) => CanClearPotentialErrors (t1, t2) Source #
Instance details Defined in Numeric.CollectErrors.Type Methods clearPotentialErrors :: (t1, t2) -> (t1, t2) Source #

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

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

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

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

type CanTakeCNErrors = CanTakeErrors NumErrors Source #