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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Control.ERNet.Blocks.Real.Protocols

Description

Basic protocol for transferring approximations of a single real number using intervals.

Synopsis

Documentation

data QARealQ Source

Constructors

QARealQ 

Instances

data QARealA ra Source

Constructors

QARealA ra 

Instances

Typeable1 QARealA 
(ERApproxElementary ira, Typeable ira) => QAProtocol QARealQ (QARealA ira) 
Eq ra => Eq (QARealA ra) 
Ord ra => Ord (QARealA ra) 
Show ra => Show (QARealA ra) 
Show ra => HTML (QARealA ra) 

chTReal :: (ERApproxElementary ira, Typeable ira) => ira -> ChannelTypeSource

makeAnswerR :: ERApproxElementary ra => (EffortIndex -> ra) -> QAIxQ QARealQ -> QAIxA (QARealA ra)Source

Construct an answer to a query for a real number using the default real number protocol with an effort index.

makeAnswerRNoIx :: ERApproxElementary ra => ra -> QARealQ -> QARealA raSource

Construct an answer to a query for a real number using the default real number protocol without any effort index.

makeAnswerRs :: ERApproxElementary ra => (EffortIndex -> [ra]) -> QAIxQ (QAListQ QARealQ) -> QAIxA (QAListA (QARealA ra))Source

Construct an answer to a query for a list a real numbers using the list protocol with an effort index.

makeAnswerRsNoIx :: ERApproxElementary ra => [ra] -> QAListQ QARealQ -> QAListA (QARealA ra)Source

Construct an answer to a query for a list a real numbers using the list protocol without any effort index.

querySyncRSource

Arguments

:: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ira, Typeable ira) 
=> sOut q2 a2

initiator query channel

-> QueryId 
-> sIn (QAIxQ QARealQ) (QAIxA (QARealA ira)) 
-> EffortIndex 
-> IO ira 

Make a query and wait for answer on a real number input socket with the standard (index -> approx) protocol.