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

• getMaybeValueCE :: Maybe v
• getErrorsCE :: es

Instances

(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (CollectErrors es a)

Defined in Control.CollectErrors

Associated Types

type EnsureCE es (CollectErrors es a) :: Type

type EnsureNoCE es (CollectErrors es a) :: Type

Methods

ensureCE :: Maybe es -> CollectErrors es a -> EnsureCE es (CollectErrors es a)

deEnsureCE :: Maybe es -> EnsureCE es (CollectErrors es a) -> Either es (CollectErrors es a)

ensureNoCE :: Maybe es -> CollectErrors es a -> (Maybe (EnsureNoCE es (CollectErrors es a)), es)

noValueECE :: Maybe (CollectErrors es a) -> es -> EnsureCE es (CollectErrors es a)

prependErrorsECE :: Maybe (CollectErrors es a) -> es -> EnsureCE es (CollectErrors es a) -> EnsureCE es (CollectErrors es a)

(ConvertibleExactly Bool t, Monoid es) => ConvertibleExactly Bool (CollectErrors es t)

Defined in Numeric.MixedTypes.Literals

Methods

safeConvertExactly :: Bool -> ConvertResult (CollectErrors es t)

(ConvertibleExactly Double t, Monoid es) => ConvertibleExactly Double (CollectErrors es t)

Defined in Numeric.MixedTypes.Literals

Methods

safeConvertExactly :: Double -> ConvertResult (CollectErrors es t)

(ConvertibleExactly Int t, Monoid es) => ConvertibleExactly Int (CollectErrors es t)

Defined in Numeric.MixedTypes.Literals

Methods

safeConvertExactly :: Int -> ConvertResult (CollectErrors es t)

(ConvertibleExactly Integer t, Monoid es) => ConvertibleExactly Integer (CollectErrors es t)

Defined in Numeric.MixedTypes.Literals

Methods

safeConvertExactly :: Integer -> ConvertResult (CollectErrors es t)

(ConvertibleExactly Rational t, Monoid es) => ConvertibleExactly Rational (CollectErrors es t)

Defined in Numeric.MixedTypes.Literals

Methods

safeConvertExactly :: Rational -> ConvertResult (CollectErrors es t)

(CanAndOrAsymmetric Bool t2, SuitableForCE es, CanEnsureCE es t2, CanEnsureCE es (AndOrType Bool t2)) => CanAndOrAsymmetric Bool (CollectErrors es t2)

Defined in Numeric.MixedTypes.Bool

Associated Types

type AndOrType Bool (CollectErrors es t2) :: Type

Methods

and2 :: Bool -> CollectErrors es t2 -> AndOrType Bool (CollectErrors es t2)

or2 :: Bool -> CollectErrors es t2 -> AndOrType Bool (CollectErrors es t2)

(HasOrderAsymmetric Double b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType Double b), IsBool (EnsureCE es (OrderCompareType Double b)), SuitableForCE es) => HasOrderAsymmetric Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType Double (CollectErrors es b) :: Type

Methods

lessThan :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b)

greaterThan :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b)

leq :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b)

geq :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b)

(HasOrderAsymmetric Int b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType Int b), IsBool (EnsureCE es (OrderCompareType Int b)), SuitableForCE es) => HasOrderAsymmetric Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType Int (CollectErrors es b) :: Type

Methods

lessThan :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b)

greaterThan :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b)

leq :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b)

geq :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b)

(HasOrderAsymmetric Integer b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType Integer b), IsBool (EnsureCE es (OrderCompareType Integer b)), SuitableForCE es) => HasOrderAsymmetric Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType Integer (CollectErrors es b) :: Type

Methods

lessThan :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b)

greaterThan :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b)

leq :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b)

geq :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b)

(HasOrderAsymmetric Rational b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType Rational b), IsBool (EnsureCE es (OrderCompareType Rational b)), SuitableForCE es) => HasOrderAsymmetric Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType Rational (CollectErrors es b) :: Type

Methods

lessThan :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b)

greaterThan :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b)

leq :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b)

geq :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b)

(HasEqAsymmetric Bool b, CanEnsureCE es b, CanEnsureCE es (EqCompareType Bool b), IsBool (EnsureCE es (EqCompareType Bool b)), SuitableForCE es) => HasEqAsymmetric Bool (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType Bool (CollectErrors es b) :: Type

Methods

equalTo :: Bool -> CollectErrors es b -> EqCompareType Bool (CollectErrors es b)

notEqualTo :: Bool -> CollectErrors es b -> EqCompareType Bool (CollectErrors es b)

(HasEqAsymmetric Double b, CanEnsureCE es b, CanEnsureCE es (EqCompareType Double b), IsBool (EnsureCE es (EqCompareType Double b)), SuitableForCE es) => HasEqAsymmetric Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType Double (CollectErrors es b) :: Type

Methods

equalTo :: Double -> CollectErrors es b -> EqCompareType Double (CollectErrors es b)

notEqualTo :: Double -> CollectErrors es b -> EqCompareType Double (CollectErrors es b)

(HasEqAsymmetric Int b, CanEnsureCE es b, CanEnsureCE es (EqCompareType Int b), IsBool (EnsureCE es (EqCompareType Int b)), SuitableForCE es) => HasEqAsymmetric Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType Int (CollectErrors es b) :: Type

Methods

equalTo :: Int -> CollectErrors es b -> EqCompareType Int (CollectErrors es b)

notEqualTo :: Int -> CollectErrors es b -> EqCompareType Int (CollectErrors es b)

(HasEqAsymmetric Integer b, CanEnsureCE es b, CanEnsureCE es (EqCompareType Integer b), IsBool (EnsureCE es (EqCompareType Integer b)), SuitableForCE es) => HasEqAsymmetric Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType Integer (CollectErrors es b) :: Type

Methods

equalTo :: Integer -> CollectErrors es b -> EqCompareType Integer (CollectErrors es b)

notEqualTo :: Integer -> CollectErrors es b -> EqCompareType Integer (CollectErrors es b)

(HasEqAsymmetric Rational b, CanEnsureCE es b, CanEnsureCE es (EqCompareType Rational b), IsBool (EnsureCE es (EqCompareType Rational b)), SuitableForCE es) => HasEqAsymmetric Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType Rational (CollectErrors es b) :: Type

Methods

equalTo :: Rational -> CollectErrors es b -> EqCompareType Rational (CollectErrors es b)

notEqualTo :: Rational -> CollectErrors es b -> EqCompareType Rational (CollectErrors es b)

(CanMinMaxAsymmetric Double b, CanEnsureCE es b, CanEnsureCE es (MinMaxType Double b), SuitableForCE es) => CanMinMaxAsymmetric Double (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Double (CollectErrors es b) :: Type

Methods

min :: Double -> CollectErrors es b -> MinMaxType Double (CollectErrors es b)

max :: Double -> CollectErrors es b -> MinMaxType Double (CollectErrors es b)

(CanMinMaxAsymmetric Int b, CanEnsureCE es b, CanEnsureCE es (MinMaxType Int b), SuitableForCE es) => CanMinMaxAsymmetric Int (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Int (CollectErrors es b) :: Type

Methods

min :: Int -> CollectErrors es b -> MinMaxType Int (CollectErrors es b)

max :: Int -> CollectErrors es b -> MinMaxType Int (CollectErrors es b)

(CanMinMaxAsymmetric Integer b, CanEnsureCE es b, CanEnsureCE es (MinMaxType Integer b), SuitableForCE es) => CanMinMaxAsymmetric Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Integer (CollectErrors es b) :: Type

Methods

min :: Integer -> CollectErrors es b -> MinMaxType Integer (CollectErrors es b)

max :: Integer -> CollectErrors es b -> MinMaxType Integer (CollectErrors es b)

(CanMinMaxAsymmetric Rational b, CanEnsureCE es b, CanEnsureCE es (MinMaxType Rational b), SuitableForCE es) => CanMinMaxAsymmetric Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Rational (CollectErrors es b) :: Type

Methods

min :: Rational -> CollectErrors es b -> MinMaxType Rational (CollectErrors es b)

max :: Rational -> CollectErrors es b -> MinMaxType Rational (CollectErrors es b)

(CanSub Double b, CanEnsureCE es b, CanEnsureCE es (SubType Double b), SuitableForCE es) => CanSub Double (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Double (CollectErrors es b) :: Type

Methods

sub :: Double -> CollectErrors es b -> SubType Double (CollectErrors es b)

(CanSub Int b, CanEnsureCE es b, CanEnsureCE es (SubType Int b), SuitableForCE es) => CanSub Int (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Int (CollectErrors es b) :: Type

Methods

sub :: Int -> CollectErrors es b -> SubType Int (CollectErrors es b)

(CanSub Integer b, CanEnsureCE es b, CanEnsureCE es (SubType Integer b), SuitableForCE es) => CanSub Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Integer (CollectErrors es b) :: Type

Methods

sub :: Integer -> CollectErrors es b -> SubType Integer (CollectErrors es b)

(CanSub Rational b, CanEnsureCE es b, CanEnsureCE es (SubType Rational b), SuitableForCE es) => CanSub Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Rational (CollectErrors es b) :: Type

Methods

sub :: Rational -> CollectErrors es b -> SubType Rational (CollectErrors es b)

(CanAddAsymmetric Double b, CanEnsureCE es b, CanEnsureCE es (AddType Double b), SuitableForCE es) => CanAddAsymmetric Double (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Double (CollectErrors es b) :: Type

Methods

add :: Double -> CollectErrors es b -> AddType Double (CollectErrors es b)

(CanAddAsymmetric Int b, CanEnsureCE es b, CanEnsureCE es (AddType Int b), SuitableForCE es) => CanAddAsymmetric Int (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Int (CollectErrors es b) :: Type

Methods

add :: Int -> CollectErrors es b -> AddType Int (CollectErrors es b)

(CanAddAsymmetric Integer b, CanEnsureCE es b, CanEnsureCE es (AddType Integer b), SuitableForCE es) => CanAddAsymmetric Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Integer (CollectErrors es b) :: Type

Methods

add :: Integer -> CollectErrors es b -> AddType Integer (CollectErrors es b)

(CanAddAsymmetric Rational b, CanEnsureCE es b, CanEnsureCE es (AddType Rational b), SuitableForCE es) => CanAddAsymmetric Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Rational (CollectErrors es b) :: Type

Methods

add :: Rational -> CollectErrors es b -> AddType Rational (CollectErrors es b)

(CanPow Double b, CanEnsureCE es b, CanEnsureCE es (PowType Double b), CanEnsureCE es (PowTypeNoCN Double b), SuitableForCE es) => CanPow Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN Double (CollectErrors es b) :: Type

type PowType Double (CollectErrors es b) :: Type

Methods

powNoCN :: Double -> CollectErrors es b -> PowTypeNoCN Double (CollectErrors es b)

pow :: Double -> CollectErrors es b -> PowType Double (CollectErrors es b)

(CanPow Int b, CanEnsureCE es b, CanEnsureCE es (PowType Int b), CanEnsureCE es (PowTypeNoCN Int b), SuitableForCE es) => CanPow Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN Int (CollectErrors es b) :: Type

type PowType Int (CollectErrors es b) :: Type

Methods

powNoCN :: Int -> CollectErrors es b -> PowTypeNoCN Int (CollectErrors es b)

pow :: Int -> CollectErrors es b -> PowType Int (CollectErrors es b)

(CanPow Integer b, CanEnsureCE es b, CanEnsureCE es (PowType Integer b), CanEnsureCE es (PowTypeNoCN Integer b), SuitableForCE es) => CanPow Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN Integer (CollectErrors es b) :: Type

type PowType Integer (CollectErrors es b) :: Type

Methods

powNoCN :: Integer -> CollectErrors es b -> PowTypeNoCN Integer (CollectErrors es b)

pow :: Integer -> CollectErrors es b -> PowType Integer (CollectErrors es b)

(CanPow Rational b, CanEnsureCE es b, CanEnsureCE es (PowType Rational b), CanEnsureCE es (PowTypeNoCN Rational b), SuitableForCE es) => CanPow Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN Rational (CollectErrors es b) :: Type

type PowType Rational (CollectErrors es b) :: Type

Methods

powNoCN :: Rational -> CollectErrors es b -> PowTypeNoCN Rational (CollectErrors es b)

pow :: Rational -> CollectErrors es b -> PowType Rational (CollectErrors es b)

(CanMulAsymmetric Double b, CanEnsureCE es b, CanEnsureCE es (MulType Double b), SuitableForCE es) => CanMulAsymmetric Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType Double (CollectErrors es b) :: Type

Methods

mul :: Double -> CollectErrors es b -> MulType Double (CollectErrors es b)

(CanMulAsymmetric Int b, CanEnsureCE es b, CanEnsureCE es (MulType Int b), SuitableForCE es) => CanMulAsymmetric Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType Int (CollectErrors es b) :: Type

Methods

mul :: Int -> CollectErrors es b -> MulType Int (CollectErrors es b)

(CanMulAsymmetric Integer b, CanEnsureCE es b, CanEnsureCE es (MulType Integer b), SuitableForCE es) => CanMulAsymmetric Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType Integer (CollectErrors es b) :: Type

Methods

mul :: Integer -> CollectErrors es b -> MulType Integer (CollectErrors es b)

(CanMulAsymmetric Rational b, CanEnsureCE es b, CanEnsureCE es (MulType Rational b), SuitableForCE es) => CanMulAsymmetric Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType Rational (CollectErrors es b) :: Type

Methods

mul :: Rational -> CollectErrors es b -> MulType Rational (CollectErrors es b)

(CanDiv Double b, CanEnsureCE es b, CanEnsureCE es (DivType Double b), CanEnsureCE es (DivTypeNoCN Double b), SuitableForCE es) => CanDiv Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN Double (CollectErrors es b) :: Type

type DivType Double (CollectErrors es b) :: Type

Methods

divideNoCN :: Double -> CollectErrors es b -> DivTypeNoCN Double (CollectErrors es b)

divide :: Double -> CollectErrors es b -> DivType Double (CollectErrors es b)

(CanDiv Int b, CanEnsureCE es b, CanEnsureCE es (DivType Int b), CanEnsureCE es (DivTypeNoCN Int b), SuitableForCE es) => CanDiv Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN Int (CollectErrors es b) :: Type

type DivType Int (CollectErrors es b) :: Type

Methods

divideNoCN :: Int -> CollectErrors es b -> DivTypeNoCN Int (CollectErrors es b)

divide :: Int -> CollectErrors es b -> DivType Int (CollectErrors es b)

(CanDiv Integer b, CanEnsureCE es b, CanEnsureCE es (DivType Integer b), CanEnsureCE es (DivTypeNoCN Integer b), SuitableForCE es) => CanDiv Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN Integer (CollectErrors es b) :: Type

type DivType Integer (CollectErrors es b) :: Type

Methods

divideNoCN :: Integer -> CollectErrors es b -> DivTypeNoCN Integer (CollectErrors es b)

divide :: Integer -> CollectErrors es b -> DivType Integer (CollectErrors es b)

(CanDiv Rational b, CanEnsureCE es b, CanEnsureCE es (DivType Rational b), CanEnsureCE es (DivTypeNoCN Rational b), SuitableForCE es) => CanDiv Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN Rational (CollectErrors es b) :: Type

type DivType Rational (CollectErrors es b) :: Type

Methods

divideNoCN :: Rational -> CollectErrors es b -> DivTypeNoCN Rational (CollectErrors es b)

divide :: Rational -> CollectErrors es b -> DivType Rational (CollectErrors es b)

Monoid es => Monad (CollectErrors es)

Defined in Control.CollectErrors

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

fail :: String -> CollectErrors es a

Functor (CollectErrors es)

Defined in Control.CollectErrors

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

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

OrderedCertainlyRing (CN Integer)

Defined in Numeric.MixedTypes.Ring

OrderedCertainlyRing (CN Rational)

Defined in Numeric.MixedTypes.Ring

OrderedRing (CN Integer)

Defined in Numeric.MixedTypes.Ring

OrderedRing (CN Rational)

Defined in Numeric.MixedTypes.Ring

Ring (CN Integer)

Defined in Numeric.MixedTypes.Ring

Ring (CN Rational)

Defined in Numeric.MixedTypes.Ring

OrderedCertainlyField (CN Rational)

Defined in Numeric.MixedTypes.Field

OrderedField (CN Rational)

Defined in Numeric.MixedTypes.Field

Field (CN Rational)

Defined in Numeric.MixedTypes.Field

(HasEqAsymmetric (Maybe Bool) b, CanEnsureCE es b, CanEnsureCE es (EqCompareType (Maybe Bool) b), IsBool (EnsureCE es (EqCompareType (Maybe Bool) b)), SuitableForCE es) => HasEqAsymmetric (Maybe Bool) (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (Maybe Bool) (CollectErrors es b) :: Type

Methods

equalTo :: Maybe Bool -> CollectErrors es b -> EqCompareType (Maybe Bool) (CollectErrors es b)

notEqualTo :: Maybe Bool -> CollectErrors es b -> EqCompareType (Maybe Bool) (CollectErrors es b)

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

Defined in Control.CollectErrors

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

Methods

arbitrary :: Gen (CollectErrors es t)

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

(CanNeg t, SuitableForCE es, CanEnsureCE es t, CanEnsureCE es (NegType t)) => CanNeg (CollectErrors es t)

Defined in Numeric.MixedTypes.Bool

Associated Types

type NegType (CollectErrors es t) :: Type

Methods

negate :: CollectErrors es t -> NegType (CollectErrors es t)

(CanTestCertainly t, SuitableForCE es) => CanTestCertainly (CollectErrors es t)

Defined in Numeric.MixedTypes.Bool

Methods

isCertainlyTrue :: CollectErrors es t -> Bool

isCertainlyFalse :: CollectErrors es t -> Bool

(CanTestPosNeg t, SuitableForCE es) => CanTestPosNeg (CollectErrors es t)

Defined in Numeric.MixedTypes.Ord

Methods

isCertainlyPositive :: CollectErrors es t -> Bool

isCertainlyNonNegative :: CollectErrors es t -> Bool

isCertainlyNegative :: CollectErrors es t -> Bool

isCertainlyNonPositive :: CollectErrors es t -> Bool

(CanPickNonZero a, SuitableForCE es) => CanPickNonZero (CollectErrors es a)

Defined in Numeric.MixedTypes.Eq

Methods

pickNonZero :: [(CollectErrors es a, s)] -> Maybe (CollectErrors es a, s)

(CanTestZero t, SuitableForCE es) => CanTestZero (CollectErrors es t)

Defined in Numeric.MixedTypes.Eq

Methods

isCertainlyZero :: CollectErrors es t -> Bool

isCertainlyNonZero :: CollectErrors es t -> Bool

(CanTestInteger t, SuitableForCE es) => CanTestInteger (CollectErrors es t)

Defined in Numeric.MixedTypes.Eq

Methods

certainlyNotInteger :: CollectErrors es t -> Bool

certainlyInteger :: CollectErrors es t -> Bool

certainlyIntegerGetIt :: CollectErrors es t -> Maybe Integer

(CanTestFinite t, SuitableForCE es) => CanTestFinite (CollectErrors es t)

Defined in Numeric.MixedTypes.Eq

Methods

isInfinite :: CollectErrors es t -> Bool

isFinite :: CollectErrors es t -> Bool

(CanTestNaN t, SuitableForCE es) => CanTestNaN (CollectErrors es t)

Defined in Numeric.MixedTypes.Eq

Methods

isNaN :: CollectErrors es t -> Bool

(CanAbs a, CanEnsureCE es a, CanEnsureCE es (AbsType a), SuitableForCE es) => CanAbs (CollectErrors es a)

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type AbsType (CollectErrors es a) :: Type

Methods

abs :: CollectErrors es a -> AbsType (CollectErrors es a)

(CanSinCos a, CanEnsureCE es a, CanEnsureCE es (SinCosType a), SuitableForCE es) => CanSinCos (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

Associated Types

type SinCosType (CollectErrors es a) :: Type

Methods

cos :: CollectErrors es a -> SinCosType (CollectErrors es a)

sin :: CollectErrors es a -> SinCosType (CollectErrors es a)

(CanLog a, CanEnsureCE es a, CanEnsureCE es (LogType a), SuitableForCE es) => CanLog (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

Associated Types

type LogType (CollectErrors es a) :: Type

Methods

log :: CollectErrors es a -> LogType (CollectErrors es a)

(CanExp a, CanEnsureCE es a, CanEnsureCE es (ExpType a), SuitableForCE es) => CanExp (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

Associated Types

type ExpType (CollectErrors es a) :: Type

Methods

exp :: CollectErrors es a -> ExpType (CollectErrors es a)

(CanSqrt a, CanEnsureCE es a, CanEnsureCE es (SqrtType a), SuitableForCE es) => CanSqrt (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

Associated Types

type SqrtType (CollectErrors es a) :: Type

Methods

sqrt :: CollectErrors es a -> SqrtType (CollectErrors es a)

(CanAndOrAsymmetric t1 Bool, SuitableForCE es, CanEnsureCE es t1, CanEnsureCE es (AndOrType t1 Bool)) => CanAndOrAsymmetric (CollectErrors es t1) Bool

Defined in Numeric.MixedTypes.Bool

Associated Types

type AndOrType (CollectErrors es t1) Bool :: Type

Methods

and2 :: CollectErrors es t1 -> Bool -> AndOrType (CollectErrors es t1) Bool

or2 :: CollectErrors es t1 -> Bool -> AndOrType (CollectErrors es t1) Bool

(HasOrderAsymmetric a Integer, CanEnsureCE es a, CanEnsureCE es (OrderCompareType a Integer), IsBool (EnsureCE es (OrderCompareType a Integer)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType (CollectErrors es a) Integer :: Type

Methods

lessThan :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer

greaterThan :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer

leq :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer

geq :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer

(HasOrderAsymmetric a Int, CanEnsureCE es a, CanEnsureCE es (OrderCompareType a Int), IsBool (EnsureCE es (OrderCompareType a Int)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType (CollectErrors es a) Int :: Type

Methods

lessThan :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int

greaterThan :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int

leq :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int

geq :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int

(HasOrderAsymmetric a Rational, CanEnsureCE es a, CanEnsureCE es (OrderCompareType a Rational), IsBool (EnsureCE es (OrderCompareType a Rational)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType (CollectErrors es a) Rational :: Type

Methods

lessThan :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational

greaterThan :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational

leq :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational

geq :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational

(HasOrderAsymmetric a Double, CanEnsureCE es a, CanEnsureCE es (OrderCompareType a Double), IsBool (EnsureCE es (OrderCompareType a Double)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType (CollectErrors es a) Double :: Type

Methods

lessThan :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double

greaterThan :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double

leq :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double

geq :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double

(HasEqAsymmetric a Bool, CanEnsureCE es a, CanEnsureCE es (EqCompareType a Bool), IsBool (EnsureCE es (EqCompareType a Bool)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) Bool

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) Bool :: Type

Methods

equalTo :: CollectErrors es a -> Bool -> EqCompareType (CollectErrors es a) Bool

notEqualTo :: CollectErrors es a -> Bool -> EqCompareType (CollectErrors es a) Bool

(HasEqAsymmetric a Integer, CanEnsureCE es a, CanEnsureCE es (EqCompareType a Integer), IsBool (EnsureCE es (EqCompareType a Integer)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) Integer :: Type

Methods

equalTo :: CollectErrors es a -> Integer -> EqCompareType (CollectErrors es a) Integer

notEqualTo :: CollectErrors es a -> Integer -> EqCompareType (CollectErrors es a) Integer

(HasEqAsymmetric a Int, CanEnsureCE es a, CanEnsureCE es (EqCompareType a Int), IsBool (EnsureCE es (EqCompareType a Int)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) Int :: Type

Methods

equalTo :: CollectErrors es a -> Int -> EqCompareType (CollectErrors es a) Int

notEqualTo :: CollectErrors es a -> Int -> EqCompareType (CollectErrors es a) Int

(HasEqAsymmetric a Rational, CanEnsureCE es a, CanEnsureCE es (EqCompareType a Rational), IsBool (EnsureCE es (EqCompareType a Rational)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) Rational :: Type

Methods

equalTo :: CollectErrors es a -> Rational -> EqCompareType (CollectErrors es a) Rational

notEqualTo :: CollectErrors es a -> Rational -> EqCompareType (CollectErrors es a) Rational

(HasEqAsymmetric a Double, CanEnsureCE es a, CanEnsureCE es (EqCompareType a Double), IsBool (EnsureCE es (EqCompareType a Double)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) Double :: Type

Methods

equalTo :: CollectErrors es a -> Double -> EqCompareType (CollectErrors es a) Double

notEqualTo :: CollectErrors es a -> Double -> EqCompareType (CollectErrors es a) Double

(CanMinMaxAsymmetric a Integer, CanEnsureCE es a, CanEnsureCE es (MinMaxType a Integer), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Integer :: Type

Methods

min :: CollectErrors es a -> Integer -> MinMaxType (CollectErrors es a) Integer

max :: CollectErrors es a -> Integer -> MinMaxType (CollectErrors es a) Integer

(CanMinMaxAsymmetric a Int, CanEnsureCE es a, CanEnsureCE es (MinMaxType a Int), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) Int

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Int :: Type

Methods

min :: CollectErrors es a -> Int -> MinMaxType (CollectErrors es a) Int

max :: CollectErrors es a -> Int -> MinMaxType (CollectErrors es a) Int

(CanMinMaxAsymmetric a Rational, CanEnsureCE es a, CanEnsureCE es (MinMaxType a Rational), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Rational :: Type

Methods

min :: CollectErrors es a -> Rational -> MinMaxType (CollectErrors es a) Rational

max :: CollectErrors es a -> Rational -> MinMaxType (CollectErrors es a) Rational

(CanMinMaxAsymmetric a Double, CanEnsureCE es a, CanEnsureCE es (MinMaxType a Double), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) Double

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Double :: Type

Methods

min :: CollectErrors es a -> Double -> MinMaxType (CollectErrors es a) Double

max :: CollectErrors es a -> Double -> MinMaxType (CollectErrors es a) Double

(CanSub a Integer, CanEnsureCE es a, CanEnsureCE es (SubType a Integer), SuitableForCE es) => CanSub (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Integer :: Type

Methods

sub :: CollectErrors es a -> Integer -> SubType (CollectErrors es a) Integer

(CanSub a Int, CanEnsureCE es a, CanEnsureCE es (SubType a Int), SuitableForCE es) => CanSub (CollectErrors es a) Int

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Int :: Type

Methods

sub :: CollectErrors es a -> Int -> SubType (CollectErrors es a) Int

(CanSub a Rational, CanEnsureCE es a, CanEnsureCE es (SubType a Rational), SuitableForCE es) => CanSub (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Rational :: Type

Methods

sub :: CollectErrors es a -> Rational -> SubType (CollectErrors es a) Rational

(CanSub a Double, CanEnsureCE es a, CanEnsureCE es (SubType a Double), SuitableForCE es) => CanSub (CollectErrors es a) Double

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Double :: Type

Methods

sub :: CollectErrors es a -> Double -> SubType (CollectErrors es a) Double

(CanAddAsymmetric a Integer, CanEnsureCE es a, CanEnsureCE es (AddType a Integer), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Integer :: Type

Methods

add :: CollectErrors es a -> Integer -> AddType (CollectErrors es a) Integer

(CanAddAsymmetric a Int, CanEnsureCE es a, CanEnsureCE es (AddType a Int), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) Int

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Int :: Type

Methods

add :: CollectErrors es a -> Int -> AddType (CollectErrors es a) Int

(CanAddAsymmetric a Rational, CanEnsureCE es a, CanEnsureCE es (AddType a Rational), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Rational :: Type

Methods

add :: CollectErrors es a -> Rational -> AddType (CollectErrors es a) Rational

(CanAddAsymmetric a Double, CanEnsureCE es a, CanEnsureCE es (AddType a Double), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) Double

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Double :: Type

Methods

add :: CollectErrors es a -> Double -> AddType (CollectErrors es a) Double

(CanPow a Integer, CanEnsureCE es a, CanEnsureCE es (PowType a Integer), CanEnsureCE es (PowTypeNoCN a Integer), SuitableForCE es) => CanPow (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN (CollectErrors es a) Integer :: Type

type PowType (CollectErrors es a) Integer :: Type

Methods

powNoCN :: CollectErrors es a -> Integer -> PowTypeNoCN (CollectErrors es a) Integer

pow :: CollectErrors es a -> Integer -> PowType (CollectErrors es a) Integer

(CanPow a Int, CanEnsureCE es a, CanEnsureCE es (PowType a Int), CanEnsureCE es (PowTypeNoCN a Int), SuitableForCE es) => CanPow (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN (CollectErrors es a) Int :: Type

type PowType (CollectErrors es a) Int :: Type

Methods

powNoCN :: CollectErrors es a -> Int -> PowTypeNoCN (CollectErrors es a) Int

pow :: CollectErrors es a -> Int -> PowType (CollectErrors es a) Int

(CanPow a Rational, CanEnsureCE es a, CanEnsureCE es (PowType a Rational), CanEnsureCE es (PowTypeNoCN a Rational), SuitableForCE es) => CanPow (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN (CollectErrors es a) Rational :: Type

type PowType (CollectErrors es a) Rational :: Type

Methods

powNoCN :: CollectErrors es a -> Rational -> PowTypeNoCN (CollectErrors es a) Rational

pow :: CollectErrors es a -> Rational -> PowType (CollectErrors es a) Rational

(CanPow a Double, CanEnsureCE es a, CanEnsureCE es (PowType a Double), CanEnsureCE es (PowTypeNoCN a Double), SuitableForCE es) => CanPow (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN (CollectErrors es a) Double :: Type

type PowType (CollectErrors es a) Double :: Type

Methods

powNoCN :: CollectErrors es a -> Double -> PowTypeNoCN (CollectErrors es a) Double

pow :: CollectErrors es a -> Double -> PowType (CollectErrors es a) Double

(CanMulAsymmetric a Integer, CanEnsureCE es a, CanEnsureCE es (MulType a Integer), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType (CollectErrors es a) Integer :: Type

Methods

mul :: CollectErrors es a -> Integer -> MulType (CollectErrors es a) Integer

(CanMulAsymmetric a Int, CanEnsureCE es a, CanEnsureCE es (MulType a Int), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType (CollectErrors es a) Int :: Type

Methods

mul :: CollectErrors es a -> Int -> MulType (CollectErrors es a) Int

(CanMulAsymmetric a Rational, CanEnsureCE es a, CanEnsureCE es (MulType a Rational), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType (CollectErrors es a) Rational :: Type

Methods

mul :: CollectErrors es a -> Rational -> MulType (CollectErrors es a) Rational

(CanMulAsymmetric a Double, CanEnsureCE es a, CanEnsureCE es (MulType a Double), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType (CollectErrors es a) Double :: Type

Methods

mul :: CollectErrors es a -> Double -> MulType (CollectErrors es a) Double

(CanDiv a Integer, CanEnsureCE es a, CanEnsureCE es (DivType a Integer), CanEnsureCE es (DivTypeNoCN a Integer), SuitableForCE es) => CanDiv (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN (CollectErrors es a) Integer :: Type

type DivType (CollectErrors es a) Integer :: Type

Methods

divideNoCN :: CollectErrors es a -> Integer -> DivTypeNoCN (CollectErrors es a) Integer

divide :: CollectErrors es a -> Integer -> DivType (CollectErrors es a) Integer

(CanDiv a Int, CanEnsureCE es a, CanEnsureCE es (DivType a Int), CanEnsureCE es (DivTypeNoCN a Int), SuitableForCE es) => CanDiv (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN (CollectErrors es a) Int :: Type

type DivType (CollectErrors es a) Int :: Type

Methods

divideNoCN :: CollectErrors es a -> Int -> DivTypeNoCN (CollectErrors es a) Int

divide :: CollectErrors es a -> Int -> DivType (CollectErrors es a) Int

(CanDiv a Rational, CanEnsureCE es a, CanEnsureCE es (DivType a Rational), CanEnsureCE es (DivTypeNoCN a Rational), SuitableForCE es) => CanDiv (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN (CollectErrors es a) Rational :: Type

type DivType (CollectErrors es a) Rational :: Type

Methods

divideNoCN :: CollectErrors es a -> Rational -> DivTypeNoCN (CollectErrors es a) Rational

divide :: CollectErrors es a -> Rational -> DivType (CollectErrors es a) Rational

(CanDiv a Double, CanEnsureCE es a, CanEnsureCE es (DivType a Double), CanEnsureCE es (DivTypeNoCN a Double), SuitableForCE es) => CanDiv (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN (CollectErrors es a) Double :: Type

type DivType (CollectErrors es a) Double :: Type

Methods

divideNoCN :: CollectErrors es a -> Double -> DivTypeNoCN (CollectErrors es a) Double

divide :: CollectErrors es a -> Double -> DivType (CollectErrors es a) Double

(HasEqAsymmetric a (Maybe Bool), CanEnsureCE es a, CanEnsureCE es (EqCompareType a (Maybe Bool)), IsBool (EnsureCE es (EqCompareType a (Maybe Bool))), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (Maybe Bool)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) (Maybe Bool) :: Type

Methods

equalTo :: CollectErrors es a -> Maybe Bool -> EqCompareType (CollectErrors es a) (Maybe Bool)

notEqualTo :: CollectErrors es a -> Maybe Bool -> EqCompareType (CollectErrors es a) (Maybe Bool)

(CanAndOrAsymmetric t1 t2, SuitableForCE es, CanEnsureCE es t1, CanEnsureCE es t2, CanEnsureCE es (AndOrType t1 t2)) => CanAndOrAsymmetric (CollectErrors es t1) (CollectErrors es t2)

Defined in Numeric.MixedTypes.Bool

Associated Types

type AndOrType (CollectErrors es t1) (CollectErrors es t2) :: Type

Methods

and2 :: CollectErrors es t1 -> CollectErrors es t2 -> AndOrType (CollectErrors es t1) (CollectErrors es t2)

or2 :: CollectErrors es t1 -> CollectErrors es t2 -> AndOrType (CollectErrors es t1) (CollectErrors es t2)

(HasOrderAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (OrderCompareType a b), IsBool (EnsureCE es (OrderCompareType a b)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

Associated Types

type OrderCompareType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

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

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

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

(HasEqAsymmetric a b, CanEnsureCE es (EqCompareType a b), CanEnsureCE es a, CanEnsureCE es b, IsBool (EnsureCE es (EqCompareType a b)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

Associated Types

type EqCompareType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

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

(CanMinMaxAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (MinMaxType a b), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

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

(CanSub a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (SubType a b), SuitableForCE es) => CanSub (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

(CanAddAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (AddType a b), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

(CanPow a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (PowTypeNoCN a b), CanEnsureCE es (PowType a b), SuitableForCE es) => CanPow (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type PowTypeNoCN (CollectErrors es a) (CollectErrors es b) :: Type

type PowType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

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

(CanMulAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (MulType a b), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

Associated Types

type MulType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

(CanDiv a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (DivType a b), CanEnsureCE es (DivTypeNoCN a b), SuitableForCE es) => CanDiv (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

Associated Types

type DivTypeNoCN (CollectErrors es a) (CollectErrors es b) :: Type

type DivType (CollectErrors es a) (CollectErrors es b) :: Type

Methods

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

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

type EnsureCE es (CollectErrors es a)

Defined in Control.CollectErrors

type EnsureCE es (CollectErrors es a) = EnsureCE es a

type EnsureNoCE es (CollectErrors es a)

Defined in Control.CollectErrors

type EnsureNoCE es (CollectErrors es a) = EnsureNoCE es a

type AndOrType Bool (CollectErrors es t2)

Defined in Numeric.MixedTypes.Bool

type AndOrType Bool (CollectErrors es t2) = EnsureCE es (AndOrType Bool t2)

type OrderCompareType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

type OrderCompareType Double (CollectErrors es b) = EnsureCE es (OrderCompareType Double b)

type OrderCompareType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

type OrderCompareType Int (CollectErrors es b) = EnsureCE es (OrderCompareType Int b)

type OrderCompareType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

type OrderCompareType Integer (CollectErrors es b) = EnsureCE es (OrderCompareType Integer b)

type OrderCompareType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

type OrderCompareType Rational (CollectErrors es b) = EnsureCE es (OrderCompareType Rational b)

type EqCompareType Bool (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType Bool (CollectErrors es b) = EnsureCE es (EqCompareType Bool b)

type EqCompareType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType Double (CollectErrors es b) = EnsureCE es (EqCompareType Double b)

type EqCompareType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType Int (CollectErrors es b) = EnsureCE es (EqCompareType Int b)

type EqCompareType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType Integer (CollectErrors es b) = EnsureCE es (EqCompareType Integer b)

type EqCompareType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType Rational (CollectErrors es b) = EnsureCE es (EqCompareType Rational b)

type MinMaxType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType Double (CollectErrors es b) = EnsureCE es (MinMaxType Double b)

type MinMaxType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType Int (CollectErrors es b) = EnsureCE es (MinMaxType Int b)

type MinMaxType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType Integer (CollectErrors es b) = EnsureCE es (MinMaxType Integer b)

type MinMaxType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType Rational (CollectErrors es b) = EnsureCE es (MinMaxType Rational b)

type SubType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type SubType Double (CollectErrors es b) = EnsureCE es (SubType Double b)

type SubType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type SubType Int (CollectErrors es b) = EnsureCE es (SubType Int b)

type SubType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type SubType Integer (CollectErrors es b) = EnsureCE es (SubType Integer b)

type SubType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type SubType Rational (CollectErrors es b) = EnsureCE es (SubType Rational b)

type AddType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type AddType Double (CollectErrors es b) = EnsureCE es (AddType Double b)

type AddType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type AddType Int (CollectErrors es b) = EnsureCE es (AddType Int b)

type AddType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type AddType Integer (CollectErrors es b) = EnsureCE es (AddType Integer b)

type AddType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type AddType Rational (CollectErrors es b) = EnsureCE es (AddType Rational b)

type PowTypeNoCN Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN Double (CollectErrors es b) = EnsureCE es (PowTypeNoCN Double b)

type PowTypeNoCN Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN Int (CollectErrors es b) = EnsureCE es (PowTypeNoCN Int b)

type PowTypeNoCN Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN Integer (CollectErrors es b) = EnsureCE es (PowTypeNoCN Integer b)

type PowTypeNoCN Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN Rational (CollectErrors es b) = EnsureCE es (PowTypeNoCN Rational b)

type PowType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowType Double (CollectErrors es b) = EnsureCE es (PowType Double b)

type PowType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowType Int (CollectErrors es b) = EnsureCE es (PowType Int b)

type PowType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowType Integer (CollectErrors es b) = EnsureCE es (PowType Integer b)

type PowType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowType Rational (CollectErrors es b) = EnsureCE es (PowType Rational b)

type MulType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type MulType Double (CollectErrors es b) = EnsureCE es (MulType Double b)

type MulType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type MulType Int (CollectErrors es b) = EnsureCE es (MulType Int b)

type MulType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type MulType Integer (CollectErrors es b) = EnsureCE es (MulType Integer b)

type MulType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type MulType Rational (CollectErrors es b) = EnsureCE es (MulType Rational b)

type DivTypeNoCN Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN Double (CollectErrors es b) = EnsureCE es (DivTypeNoCN Double b)

type DivTypeNoCN Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN Int (CollectErrors es b) = EnsureCE es (DivTypeNoCN Int b)

type DivTypeNoCN Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN Integer (CollectErrors es b) = EnsureCE es (DivTypeNoCN Integer b)

type DivTypeNoCN Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN Rational (CollectErrors es b) = EnsureCE es (DivTypeNoCN Rational b)

type DivType Double (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivType Double (CollectErrors es b) = EnsureCE es (DivType Double b)

type DivType Int (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivType Int (CollectErrors es b) = EnsureCE es (DivType Int b)

type DivType Integer (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivType Integer (CollectErrors es b) = EnsureCE es (DivType Integer b)

type DivType Rational (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivType Rational (CollectErrors es b) = EnsureCE es (DivType Rational b)

type EqCompareType (Maybe Bool) (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType (Maybe Bool) (CollectErrors es b) = EnsureCE es (EqCompareType (Maybe Bool) b)

type NegType (CollectErrors es t)

Defined in Numeric.MixedTypes.Bool

type NegType (CollectErrors es t) = EnsureCE es (NegType t)

type AbsType (CollectErrors es a)

Defined in Numeric.MixedTypes.MinMaxAbs

type AbsType (CollectErrors es a) = EnsureCE es (AbsType a)

type SinCosType (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

type SinCosType (CollectErrors es a) = EnsureCE es (SinCosType a)

type LogType (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

type LogType (CollectErrors es a) = EnsureCE es (LogType a)

type ExpType (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

type ExpType (CollectErrors es a) = EnsureCE es (ExpType a)

type SqrtType (CollectErrors es a)

Defined in Numeric.MixedTypes.Elementary

type SqrtType (CollectErrors es a) = EnsureCE es (SqrtType a)

type AndOrType (CollectErrors es t1) Bool

Defined in Numeric.MixedTypes.Bool

type AndOrType (CollectErrors es t1) Bool = EnsureCE es (AndOrType t1 Bool)

type OrderCompareType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ord

type OrderCompareType (CollectErrors es a) Double = EnsureCE es (OrderCompareType a Double)

type OrderCompareType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ord

type OrderCompareType (CollectErrors es a) Rational = EnsureCE es (OrderCompareType a Rational)

type OrderCompareType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ord

type OrderCompareType (CollectErrors es a) Int = EnsureCE es (OrderCompareType a Int)

type OrderCompareType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ord

type OrderCompareType (CollectErrors es a) Integer = EnsureCE es (OrderCompareType a Integer)

type EqCompareType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) Double = EnsureCE es (EqCompareType a Double)

type EqCompareType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) Rational = EnsureCE es (EqCompareType a Rational)

type EqCompareType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) Int = EnsureCE es (EqCompareType a Int)

type EqCompareType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) Integer = EnsureCE es (EqCompareType a Integer)

type EqCompareType (CollectErrors es a) Bool

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) Bool = EnsureCE es (EqCompareType a Bool)

type MinMaxType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType (CollectErrors es a) Double = EnsureCE es (MinMaxType a Double)

type MinMaxType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType (CollectErrors es a) Rational = EnsureCE es (MinMaxType a Rational)

type MinMaxType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType (CollectErrors es a) Int = EnsureCE es (MinMaxType a Int)

type MinMaxType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType (CollectErrors es a) Integer = EnsureCE es (MinMaxType a Integer)

type SubType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.AddSub

type SubType (CollectErrors es a) Double = EnsureCE es (SubType a Double)

type SubType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.AddSub

type SubType (CollectErrors es a) Rational = EnsureCE es (SubType a Rational)

type SubType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.AddSub

type SubType (CollectErrors es a) Int = EnsureCE es (SubType a Int)

type SubType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.AddSub

type SubType (CollectErrors es a) Integer = EnsureCE es (SubType a Integer)

type AddType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.AddSub

type AddType (CollectErrors es a) Double = EnsureCE es (AddType a Double)

type AddType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.AddSub

type AddType (CollectErrors es a) Rational = EnsureCE es (AddType a Rational)

type AddType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.AddSub

type AddType (CollectErrors es a) Int = EnsureCE es (AddType a Int)

type AddType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.AddSub

type AddType (CollectErrors es a) Integer = EnsureCE es (AddType a Integer)

type PowTypeNoCN (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN (CollectErrors es a) Double = EnsureCE es (PowTypeNoCN a Double)

type PowTypeNoCN (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN (CollectErrors es a) Rational = EnsureCE es (PowTypeNoCN a Rational)

type PowTypeNoCN (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN (CollectErrors es a) Int = EnsureCE es (PowTypeNoCN a Int)

type PowTypeNoCN (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN (CollectErrors es a) Integer = EnsureCE es (PowTypeNoCN a Integer)

type PowType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ring

type PowType (CollectErrors es a) Double = EnsureCE es (PowType a Double)

type PowType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ring

type PowType (CollectErrors es a) Rational = EnsureCE es (PowType a Rational)

type PowType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ring

type PowType (CollectErrors es a) Int = EnsureCE es (PowType a Int)

type PowType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ring

type PowType (CollectErrors es a) Integer = EnsureCE es (PowType a Integer)

type MulType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Ring

type MulType (CollectErrors es a) Double = EnsureCE es (MulType a Double)

type MulType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Ring

type MulType (CollectErrors es a) Rational = EnsureCE es (MulType a Rational)

type MulType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Ring

type MulType (CollectErrors es a) Int = EnsureCE es (MulType a Int)

type MulType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Ring

type MulType (CollectErrors es a) Integer = EnsureCE es (MulType a Integer)

type DivTypeNoCN (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN (CollectErrors es a) Double = EnsureCE es (DivTypeNoCN a Double)

type DivTypeNoCN (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN (CollectErrors es a) Rational = EnsureCE es (DivTypeNoCN a Rational)

type DivTypeNoCN (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN (CollectErrors es a) Int = EnsureCE es (DivTypeNoCN a Int)

type DivTypeNoCN (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN (CollectErrors es a) Integer = EnsureCE es (DivTypeNoCN a Integer)

type DivType (CollectErrors es a) Double

Defined in Numeric.MixedTypes.Field

type DivType (CollectErrors es a) Double = EnsureCE es (DivType a Double)

type DivType (CollectErrors es a) Rational

Defined in Numeric.MixedTypes.Field

type DivType (CollectErrors es a) Rational = EnsureCE es (DivType a Rational)

type DivType (CollectErrors es a) Int

Defined in Numeric.MixedTypes.Field

type DivType (CollectErrors es a) Int = EnsureCE es (DivType a Int)

type DivType (CollectErrors es a) Integer

Defined in Numeric.MixedTypes.Field

type DivType (CollectErrors es a) Integer = EnsureCE es (DivType a Integer)

type EqCompareType (CollectErrors es a) (Maybe Bool)

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) (Maybe Bool) = EnsureCE es (EqCompareType a (Maybe Bool))

type AndOrType (CollectErrors es t1) (CollectErrors es t2)

Defined in Numeric.MixedTypes.Bool

type AndOrType (CollectErrors es t1) (CollectErrors es t2) = EnsureCE es (AndOrType t1 t2)

type OrderCompareType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ord

type OrderCompareType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (OrderCompareType a b)

type EqCompareType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Eq

type EqCompareType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (EqCompareType a b)

type MinMaxType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.MinMaxAbs

type MinMaxType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (MinMaxType a b)

type SubType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type SubType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (SubType a b)

type AddType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.AddSub

type AddType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (AddType a b)

type PowTypeNoCN (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowTypeNoCN (CollectErrors es a) (CollectErrors es b) = EnsureCE es (PowTypeNoCN a b)

type PowType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type PowType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (PowType a b)

type MulType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Ring

type MulType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (MulType a b)

type DivTypeNoCN (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivTypeNoCN (CollectErrors es a) (CollectErrors es b) = EnsureCE es (DivTypeNoCN a b)

type DivType (CollectErrors es a) (CollectErrors es b)

Defined in Numeric.MixedTypes.Field

type DivType (CollectErrors es a) (CollectErrors es b) = EnsureCE es (DivType a b)

type SuitableForCE es = (Monoid es, Eq es, Show es, CanTestErrorsCertain es)

class CanTestErrorsCertain es where

Methods

hasCertainError :: es -> Bool

Instances

CanTestErrorsCertain NumErrors

Defined in Numeric.CollectErrors

Methods

hasCertainError :: NumErrors -> Bool

hasCertainErrorCE :: CanTestErrorsCertain es => CollectErrors es v -> Bool

noValueCE :: es -> CollectErrors es v

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

filterValuesWithoutErrorCE :: SuitableForCE es => [CollectErrors es v] -> [v]

getValueIfNoErrorCE :: SuitableForCE es => CollectErrors es v -> (v -> t) -> (es -> t) -> t

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

ce2ConvertResult :: (Typeable t, Show t, SuitableForCE es) => CollectErrors es t -> Either ConvertError t

Tools for avoiding CollectErrors(CollectErrors t) and putting CE inside containers

class (Monoid es, EnsureCE es (EnsureCE es a) ~ EnsureCE es a, EnsureCE es (EnsureNoCE es a) ~ EnsureCE es a, EnsureNoCE es (EnsureCE es a) ~ EnsureNoCE es a, EnsureNoCE es (EnsureNoCE es a) ~ EnsureNoCE es a) => CanEnsureCE es a where

A mechanism for adding and removing CollectErrors to a type in a manner that depends on the shape of the type, especially whether it already has CollectErrors.

Minimal complete definition

Nothing

Associated Types

type EnsureCE es a

Add CollectErrors to a type except when the type already has CollectErrors in it.

type EnsureNoCE es a

Methods

ensureCE

Arguments

:: Maybe es

sample only

-> a

-> EnsureCE es a

Translate a value of a type a to a value of a type EnsureCE es a.

ensureCE

Arguments

:: EnsureCE es a ~ CollectErrors es a

=> Maybe es

sample only

-> a

-> EnsureCE es a

Translate a value of a type a to a value of a type EnsureCE es a.

deEnsureCE

Arguments

:: Maybe es

sample only

-> EnsureCE es a

-> Either es a

deEnsureCE

Arguments

:: (EnsureCE es a ~ CollectErrors es a, Eq es)

=> Maybe es

sample only

-> EnsureCE es a

-> Either es a

ensureNoCE

Arguments

:: Maybe es

sample only

-> a

-> (Maybe (EnsureNoCE es a), es)

ensureNoCE

Arguments

:: (EnsureNoCE es a ~ a, Eq es, Monoid es)

=> Maybe es

sample only

-> a

-> (Maybe (EnsureNoCE es a), es)

noValueECE

Arguments

:: Maybe a

sample only

-> es

-> EnsureCE es a

Make CollectErrors record with no value, only errors.

noValueECE

Arguments

:: EnsureCE es a ~ CollectErrors es a

=> Maybe a

sample only

-> es

-> EnsureCE es a

Make CollectErrors record with no value, only errors.

prependErrorsECE :: Maybe a -> es -> EnsureCE es a -> EnsureCE es a

prependErrorsECE :: EnsureCE es a ~ CollectErrors es a => Maybe a -> es -> EnsureCE es a -> EnsureCE es a

Instances

SuitableForCE es => CanEnsureCE es ()

Defined in Control.CollectErrors

Associated Types

type EnsureCE es () :: Type

type EnsureNoCE es () :: Type

Methods

ensureCE :: Maybe es -> () -> EnsureCE es ()

deEnsureCE :: Maybe es -> EnsureCE es () -> Either es ()

ensureNoCE :: Maybe es -> () -> (Maybe (EnsureNoCE es ()), es)

noValueECE :: Maybe () -> es -> EnsureCE es ()

prependErrorsECE :: Maybe () -> es -> EnsureCE es () -> EnsureCE es ()

SuitableForCE es => CanEnsureCE es Char

Defined in Control.CollectErrors

Associated Types

type EnsureCE es Char :: Type

type EnsureNoCE es Char :: Type

Methods

ensureCE :: Maybe es -> Char -> EnsureCE es Char

deEnsureCE :: Maybe es -> EnsureCE es Char -> Either es Char

ensureNoCE :: Maybe es -> Char -> (Maybe (EnsureNoCE es Char), es)

noValueECE :: Maybe Char -> es -> EnsureCE es Char

prependErrorsECE :: Maybe Char -> es -> EnsureCE es Char -> EnsureCE es Char

SuitableForCE es => CanEnsureCE es Bool

Defined in Control.CollectErrors

Associated Types

type EnsureCE es Bool :: Type

type EnsureNoCE es Bool :: Type

Methods

ensureCE :: Maybe es -> Bool -> EnsureCE es Bool

deEnsureCE :: Maybe es -> EnsureCE es Bool -> Either es Bool

ensureNoCE :: Maybe es -> Bool -> (Maybe (EnsureNoCE es Bool), es)

noValueECE :: Maybe Bool -> es -> EnsureCE es Bool

prependErrorsECE :: Maybe Bool -> es -> EnsureCE es Bool -> EnsureCE es Bool

SuitableForCE es => CanEnsureCE es Double

Defined in Control.CollectErrors

Associated Types

type EnsureCE es Double :: Type

type EnsureNoCE es Double :: Type

Methods

ensureCE :: Maybe es -> Double -> EnsureCE es Double

deEnsureCE :: Maybe es -> EnsureCE es Double -> Either es Double

ensureNoCE :: Maybe es -> Double -> (Maybe (EnsureNoCE es Double), es)

noValueECE :: Maybe Double -> es -> EnsureCE es Double

prependErrorsECE :: Maybe Double -> es -> EnsureCE es Double -> EnsureCE es Double

SuitableForCE es => CanEnsureCE es Rational

Defined in Control.CollectErrors

Associated Types

type EnsureCE es Rational :: Type

type EnsureNoCE es Rational :: Type

Methods

ensureCE :: Maybe es -> Rational -> EnsureCE es Rational

deEnsureCE :: Maybe es -> EnsureCE es Rational -> Either es Rational

ensureNoCE :: Maybe es -> Rational -> (Maybe (EnsureNoCE es Rational), es)

noValueECE :: Maybe Rational -> es -> EnsureCE es Rational

prependErrorsECE :: Maybe Rational -> es -> EnsureCE es Rational -> EnsureCE es Rational

SuitableForCE es => CanEnsureCE es Integer

Defined in Control.CollectErrors

Associated Types

type EnsureCE es Integer :: Type

type EnsureNoCE es Integer :: Type

Methods

ensureCE :: Maybe es -> Integer -> EnsureCE es Integer

deEnsureCE :: Maybe es -> EnsureCE es Integer -> Either es Integer

ensureNoCE :: Maybe es -> Integer -> (Maybe (EnsureNoCE es Integer), es)

noValueECE :: Maybe Integer -> es -> EnsureCE es Integer

prependErrorsECE :: Maybe Integer -> es -> EnsureCE es Integer -> EnsureCE es Integer

SuitableForCE es => CanEnsureCE es Int

Defined in Control.CollectErrors

Associated Types

type EnsureCE es Int :: Type

type EnsureNoCE es Int :: Type

Methods

ensureCE :: Maybe es -> Int -> EnsureCE es Int

deEnsureCE :: Maybe es -> EnsureCE es Int -> Either es Int

ensureNoCE :: Maybe es -> Int -> (Maybe (EnsureNoCE es Int), es)

noValueECE :: Maybe Int -> es -> EnsureCE es Int

prependErrorsECE :: Maybe Int -> es -> EnsureCE es Int -> EnsureCE es Int

(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (Maybe a)

Defined in Control.CollectErrors

Associated Types

type EnsureCE es (Maybe a) :: Type

type EnsureNoCE es (Maybe a) :: Type

Methods

ensureCE :: Maybe es -> Maybe a -> EnsureCE es (Maybe a)

deEnsureCE :: Maybe es -> EnsureCE es (Maybe a) -> Either es (Maybe a)

ensureNoCE :: Maybe es -> Maybe a -> (Maybe (EnsureNoCE es (Maybe a)), es)

noValueECE :: Maybe (Maybe a) -> es -> EnsureCE es (Maybe a)

prependErrorsECE :: Maybe (Maybe a) -> es -> EnsureCE es (Maybe a) -> EnsureCE es (Maybe a)

(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (b -> a)

Defined in Control.CollectErrors

Associated Types

type EnsureCE es (b -> a) :: Type

type EnsureNoCE es (b -> a) :: Type

Methods

ensureCE :: Maybe es -> (b -> a) -> EnsureCE es (b -> a)

deEnsureCE :: Maybe es -> EnsureCE es (b -> a) -> Either es (b -> a)

ensureNoCE :: Maybe es -> (b -> a) -> (Maybe (EnsureNoCE es (b -> a)), es)

noValueECE :: Maybe (b -> a) -> es -> EnsureCE es (b -> a)

prependErrorsECE :: Maybe (b -> a) -> es -> EnsureCE es (b -> a) -> EnsureCE es (b -> a)

(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (CollectErrors es a)

Defined in Control.CollectErrors

Associated Types

type EnsureCE es (CollectErrors es a) :: Type

type EnsureNoCE es (CollectErrors es a) :: Type

Methods

ensureCE :: Maybe es -> CollectErrors es a -> EnsureCE es (CollectErrors es a)

deEnsureCE :: Maybe es -> EnsureCE es (CollectErrors es a) -> Either es (CollectErrors es a)

ensureNoCE :: Maybe es -> CollectErrors es a -> (Maybe (EnsureNoCE es (CollectErrors es a)), es)

noValueECE :: Maybe (CollectErrors es a) -> es -> EnsureCE es (CollectErrors es a)

prependErrorsECE :: Maybe (CollectErrors es a) -> es -> EnsureCE es (CollectErrors es a) -> EnsureCE es (CollectErrors es a)

getValueOrThrowErrorsNCE

Arguments

:: (SuitableForCE es, CanEnsureCE es v, Show v)

=> Maybe es

sample only

-> v

-> EnsureNoCE es v

An unsafe way to get a value out of an CollectErrors wrapper.

lift1CE :: (SuitableForCE es, CanEnsureCE es a, CanEnsureCE es c) => (a -> c) -> CollectErrors es a -> EnsureCE es c

Add error collection support to an unary function whose result may already have collected errors.

lift2CE :: (SuitableForCE es, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es c) => (a -> b -> c) -> CollectErrors es a -> CollectErrors es b -> EnsureCE es c

Add error collection support to a binary function whose result may already have collected errors.

lift2TCE :: (SuitableForCE es, CanEnsureCE es a, CanEnsureCE es c) => (a -> b -> c) -> CollectErrors es a -> b -> EnsureCE es c

Add error collection support to a binary function whose result may already have collected errors. A version where the second operand is not lifted, only the first one.

lift2TLCE :: (SuitableForCE es, CanEnsureCE es b, CanEnsureCE es c) => (a -> b -> c) -> a -> CollectErrors es b -> EnsureCE es c

Add error collection support to a binary function whose result may already have collected errors. A version where the first operand is not lifted, only the second one.

Tools for pulling errors out of structures

class SuitableForCE es => CanExtractCE es f where

Ability to lift collected (potential) errors from inside some structure/collection.

This is useful mostly for structures that use the default implementation of 'CanEnsureCE es'.

Minimal complete definition

Nothing

Methods

extractCE :: CanEnsureCE es c => Maybe es -> f c -> CollectErrors es (f (EnsureNoCE es c))

extractCE :: (CanEnsureCE es c, Traversable f) => Maybe es -> f c -> CollectErrors es (f (EnsureNoCE es c))