Control.CollectErrors

Monad for collecting errors in expressions

data CollectErrors es v

A wrapper around values which can accommodate a list of (potential) errors that have (maybe) occurred during the computation of a value. A value may be missing, leaving only the error(s).

Such error collection allows one to write expressions with partial functions (ie functions that fail for some inputs) instead of branching after each application of such function. Dealing with the errors can be moved outside the expression. If the error data contain enough information, their list can be used to trace the source of the errors.

Constructors

CollectErrors

Fields

• getMaybeValue :: Maybe v
• getErrors :: es

Instances

(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

Monoid es => Monad (CollectErrors es)

Defined in Control.CollectErrors.Type

Methods

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

(>>) :: CollectErrors es a -> CollectErrors es b -> CollectErrors es b

return :: a -> CollectErrors es a

Functor (CollectErrors es)

Defined in Control.CollectErrors.Type

Methods

fmap :: (a -> b) -> CollectErrors es a -> CollectErrors es b

(<$) :: a -> CollectErrors es b -> CollectErrors es a

Monoid es => Applicative (CollectErrors es)

Defined in Control.CollectErrors.Type

Methods

pure :: a -> CollectErrors es a

(<*>) :: CollectErrors es (a -> b) -> CollectErrors es a -> CollectErrors es b

liftA2 :: (a -> b -> c) -> CollectErrors es a -> CollectErrors es b -> CollectErrors es c

(*>) :: CollectErrors es a -> CollectErrors es b -> CollectErrors es b

(<*) :: CollectErrors es a -> CollectErrors es b -> CollectErrors es a

(CanBeErrors es, Bounded v) => Bounded (CollectErrors es v)

Defined in Control.CollectErrors.PreludeInstances

Methods

minBound :: CollectErrors es v

maxBound :: CollectErrors es v

(CanBeErrors es, Enum v) => Enum (CollectErrors es v)

Defined in Control.CollectErrors.PreludeInstances

Methods

succ :: CollectErrors es v -> CollectErrors es v

pred :: CollectErrors es v -> CollectErrors es v

toEnum :: Int -> CollectErrors es v

fromEnum :: CollectErrors es v -> Int

enumFrom :: CollectErrors es v -> [CollectErrors es v]

enumFromThen :: CollectErrors es v -> CollectErrors es v -> [CollectErrors es v]

enumFromTo :: CollectErrors es v -> CollectErrors es v -> [CollectErrors es v]

enumFromThenTo :: CollectErrors es v -> CollectErrors es v -> CollectErrors es v -> [CollectErrors es v]

(CanBeErrors es, Eq v) => Eq (CollectErrors es v)

Defined in Control.CollectErrors.PreludeInstances

Methods

(==) :: CollectErrors es v -> CollectErrors es v -> Bool

(/=) :: CollectErrors es v -> CollectErrors es v -> Bool

(CanBeErrors es, Num v) => Num (CollectErrors es v)

Defined in Control.CollectErrors.PreludeInstances

Methods

(+) :: CollectErrors es v -> CollectErrors es v -> CollectErrors es v

(-) :: CollectErrors es v -> CollectErrors es v -> CollectErrors es v

(*) :: CollectErrors es v -> CollectErrors es v -> CollectErrors es v

negate :: CollectErrors es v -> CollectErrors es v

abs :: CollectErrors es v -> CollectErrors es v

signum :: CollectErrors es v -> CollectErrors es v

fromInteger :: Integer -> CollectErrors es v

(CanBeErrors es, Ord v) => Ord (CollectErrors es v)

Defined in Control.CollectErrors.PreludeInstances

Methods

compare :: CollectErrors es v -> CollectErrors es v -> Ordering

(<) :: CollectErrors es v -> CollectErrors es v -> Bool

(<=) :: CollectErrors es v -> CollectErrors es v -> Bool

(>) :: CollectErrors es v -> CollectErrors es v -> Bool

(>=) :: CollectErrors es v -> CollectErrors es v -> Bool

max :: CollectErrors es v -> CollectErrors es v -> CollectErrors es v

min :: CollectErrors es v -> CollectErrors es v -> CollectErrors es v

(CanBeErrors es, Real v) => Real (CollectErrors es v)

Defined in Control.CollectErrors.PreludeInstances

Methods

toRational :: CollectErrors es v -> Rational

(Show v, CanBeErrors es) => Show (CollectErrors es v)

Defined in Control.CollectErrors.Type

Methods

showsPrec :: Int -> CollectErrors es v -> ShowS

show :: CollectErrors es v -> String

showList :: [CollectErrors es v] -> ShowS

(Arbitrary t, Monoid es) => Arbitrary (CollectErrors es t)

Defined in Control.CollectErrors.Type

Methods

arbitrary :: Gen (CollectErrors es t)

shrink :: CollectErrors es t -> [CollectErrors es t]

CanTestErrorsPresent es => CanTestErrorsPresent (CollectErrors es v)

Defined in Control.CollectErrors.Type

Methods

hasError :: CollectErrors es v -> Bool

CanTestErrorsCertain es => CanTestErrorsCertain (CollectErrors es v)

Defined in Control.CollectErrors.Type

Methods

hasCertainError :: CollectErrors es v -> Bool

type CanBeErrors es = (Monoid es, Eq es, Show es, CanTestErrorsCertain es, CanTestErrorsPresent es)

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

Utilities

noValue :: es -> CollectErrors es v

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

unCollectErrors :: Show es => CollectErrors es p -> p

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

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

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

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

liftCE :: Monoid es => (a -> CollectErrors es c) -> CollectErrors es a -> CollectErrors es 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

lift2CE :: Monoid es => (a -> b -> CollectErrors es c) -> CollectErrors es a -> CollectErrors es b -> CollectErrors es 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

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

liftT1CE :: Monoid es => (a -> b -> CollectErrors es c) -> a -> CollectErrors es b -> CollectErrors es 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)