AERN-Net-0.2.1.1: Compositional lazy dataflow networks for exact real number computation

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Control.ERNet.Blocks.RnToRm.Protocols

Description

Basic protocols for transferring approximations of real functions.

Synopsis

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 -> 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.

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 -> ChannelTypeSource