Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Basic protocols for transferring approximations of real functions.
- data QAFn1Q box
- data QAFn1A ranra fa
- chTFn1 :: (ERFnApprox box varid domra ranra fa, ERApproxElementary domra, ERApproxElementary ranra, Typeable box, Show box, Typeable domra, Typeable ranra, Typeable fa, HTML fa) => fa -> ChannelType
- makeAnswerFn1NoIx :: ERFnApprox box varid domra ranra fa => fa -> QAFn1Q box -> QAFn1A ranra fa
- makeAnswerFn1ByBoxesNoIx :: ERFnDomApprox box varid domra ranra fa => (box -> [ranra]) -> QAFn1Q box -> QAFn1A ranra fa
- data QAFn2Q fa = QAFn2QPt fa
- data QAFn2A fa = QAFn2APt fa
- chTFn2 :: (ERFnApprox box varid domra ranra fa, ERApproxElementary domra, ERApproxElementary ranra, Typeable box, Show box, Typeable domra, Typeable ranra, Typeable fa, HTML fa) => fa -> ChannelType
Documentation
Typeable1 QAFn1Q | |
(DomainBox box varid domra, ERApprox domra) => Eq (QAFn1Q box) | |
(DomainBox box varid domra, ERApprox domra) => Ord (QAFn1Q box) | |
Show box => Show (QAFn1Q box) | |
Show box => HTML (QAFn1Q box) | |
(ERFnApprox box varid domra ranra fa, ERApproxElementary domra, ERApproxElementary ranra, Typeable box, Show box, Typeable domra, Typeable ranra, Typeable fa, HTML fa) => QAProtocol (QAFn1Q box) (QAFn1A ranra fa) |
Typeable2 QAFn1A | |
(ERFnApprox box varid domra ranra fa, ERApproxElementary domra, ERApproxElementary ranra, Typeable box, Show box, Typeable domra, Typeable ranra, Typeable fa, HTML fa) => QAProtocol (QAFn1Q box) (QAFn1A ranra fa) | |
ERFnApprox box varid domra ranra fa => Eq (QAFn1A ranra fa) | |
(Show ranra, Show fa) => Show (QAFn1A ranra fa) | |
(Show ranra, HTML fa) => HTML (QAFn1A ranra fa) |
chTFn1 :: (ERFnApprox box varid domra ranra fa, ERApproxElementary domra, ERApproxElementary ranra, Typeable box, Show box, Typeable domra, Typeable ranra, Typeable fa, HTML fa) => fa -> ChannelTypeSource
makeAnswerFn1NoIx :: ERFnApprox box varid domra ranra fa => fa -> QAFn1Q box -> QAFn1A ranra faSource
Construct an answer about a function, assuming they will not ask about a subdomain.
makeAnswerFn1ByBoxesNoIx :: ERFnDomApprox box varid domra ranra fa => (box -> [ranra]) -> QAFn1Q box -> QAFn1A ranra faSource
Construct an answer about a function, given as a Haskell real -> real function.
QAFn2QPt fa |
Typeable1 QAFn2Q | |
ERFnApprox box varid domra ranra fa => Eq (QAFn2Q fa) | |
ERFnApprox box varid domra ranra fa => Ord (QAFn2Q fa) | |
Show fa => Show (QAFn2Q fa) | |
HTML fa => HTML (QAFn2Q fa) | |
(ERFnApprox box varid domra ranra fa, Typeable fa, HTML fa) => QAProtocol (QAFn2Q fa) (QAFn2A fa) |
QAFn2APt fa |
chTFn2 :: (ERFnApprox box varid domra ranra fa, ERApproxElementary domra, ERApproxElementary ranra, Typeable box, Show box, Typeable domra, Typeable ranra, Typeable fa, HTML fa) => fa -> ChannelTypeSource