AERN2.Sequence.Helpers

Helper functions for sequence operations.

Documentation

unaryOp :: (QAArrow to, SuitableForSeq a, SuitableForSeq b) => String -> (a -> b) -> (Maybe (QAId to) -> SequenceA to a -> AccuracySG `to` (AccuracySG, Maybe a)) -> SequenceA to a -> SequenceA to b

binaryOp :: (QAArrow to, SuitableForSeq a, SuitableForSeq b, SuitableForSeq c) => String -> (a -> b -> c) -> (Maybe (QAId to) -> SequenceA to a -> SequenceA to b -> AccuracySG `to` ((AccuracySG, Maybe a), (AccuracySG, Maybe b))) -> SequenceA to a -> SequenceA to b -> SequenceA to c

binaryOpWithPureArg :: (QAArrow to, SuitableForSeq a, SuitableForSeq b) => String -> (a -> t -> b) -> (Maybe (QAId to) -> SequenceA to a -> t -> AccuracySG `to` (AccuracySG, Maybe a)) -> SequenceA to a -> t -> SequenceA to b

getInitQ1FromSimple

Arguments

:: Arrow to

=> (AccuracySG `to` q)

-> Maybe (QAId to)

my id

-> r1

-> AccuracySG `to` (q, Maybe a)

getInitQ1TFromSimple

Arguments

:: Arrow to

=> (AccuracySG `to` q)

-> Maybe (QAId to)

my id

-> r1

-> t

-> AccuracySG `to` (q, Maybe a)

getInitQ1Q2FromSimple

Arguments

:: Arrow to

=> (AccuracySG `to` (q, q))

-> Maybe (QAId to)

my id

-> r1

-> r2

-> AccuracySG `to` ((q, Maybe a), (q, Maybe b))

binaryWithEncl :: (HasAccuracy b, HasPrecision b, CanSetPrecision t) => (a -> b -> t) -> Sequence a -> b -> t

binaryWithEnclTranslateAC :: (HasAccuracy b, HasPrecision b, CanSetPrecision t) => (a -> b -> AccuracySG -> AccuracySG) -> (a -> b -> t) -> Sequence a -> b -> t

seqElementSimilarToEncl :: (HasAccuracy b, HasPrecision b) => (a -> AccuracySG -> AccuracySG) -> b -> Sequence a -> a

getSeqFnNormLog :: (QAArrow to, CanEnsureCN v, HasNorm (EnsureNoCN v)) => Maybe (QAId to) -> SequenceA to a -> (a -> v) -> AccuracySG `to` (Maybe Integer, a)

ensureAccuracyA :: (ArrowChoice to, Show a, Show b, HasAccuracy b, CanEnsureCN b, HasAccuracy (EnsureNoCN b), Show (EnsureNoCN b)) => ([AccuracySG] `to` a) -> (a -> b) -> (AccuracySG, ([AccuracySG], Maybe a)) `to` b