AERN-Net-0.2.1: Compositional lazy dataflow networks for exact real number computation Source code Contents Index

Control.ERNet.Blocks.RnToRm.Protocols Portability portable Stability experimental Maintainer mik@konecny.aow.cz

Description

Basic protocols for transferring approximations of real functions.

Synopsis

data QAFn1Q box = QAFn1QAll | QAFn1QDom box | QAFn1QPt box data QAFn1A ranra fa = QAFn1A fa | QAFn1APt [ranra] 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

data QAFn1Q box Source

Constructors QAFn1QAll QAFn1QDom box QAFn1QPt box Instances 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)

data QAFn1A ranra fa Source

Constructors QAFn1A fa QAFn1APt [ranra] Instances 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 -> ChannelType Source

makeAnswerFn1NoIx :: ERFnApprox box varid domra ranra fa => fa -> QAFn1Q box -> QAFn1A ranra fa Source

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 fa Source

Construct an answer about a function, given as a Haskell real -> real function.

data QAFn2Q fa Source

Constructors QAFn2QPt fa Instances 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)

data QAFn2A fa Source

Constructors QAFn2APt fa Instances Typeable1 QAFn2A ERFnApprox box varid domra ranra fa => Eq (QAFn2A fa) Show fa => Show (QAFn2A fa) HTML fa => HTML (QAFn2A fa) (ERFnApprox box varid domra ranra fa, Typeable fa, HTML fa) => QAProtocol (QAFn2Q fa) (QAFn2A 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 Source

Produced by Haddock version 2.4.2