Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
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 Source #
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 Source #
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 Source #
:: Arrow to | |
=> (AccuracySG `to` q) | |
-> Maybe (QAId to) | my id |
-> r1 | |
-> AccuracySG `to` (q, Maybe a) |
:: Arrow to | |
=> (AccuracySG `to` q) | |
-> Maybe (QAId to) | my id |
-> r1 | |
-> t | |
-> AccuracySG `to` (q, Maybe a) |
getInitQ1Q2FromSimple Source #
:: 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 Source #
binaryWithEnclTranslateAC :: (HasAccuracy b, HasPrecision b, CanSetPrecision t) => (a -> b -> AccuracySG -> AccuracySG) -> (a -> b -> t) -> Sequence a -> b -> t Source #
seqElementSimilarToEncl :: (HasAccuracy b, HasPrecision b) => (a -> AccuracySG -> AccuracySG) -> b -> Sequence a -> a Source #
getSeqFnNormLog :: (QAArrow to, CanEnsureCN v, HasNorm (EnsureNoCN v)) => Maybe (QAId to) -> SequenceA to a -> (a -> v) -> AccuracySG `to` (Maybe Integer, a) Source #
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 Source #