Control.ERNet.Blocks.Real.Protocols

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

Documentation

data QARealQ

Constructors

QARealQ

Instances

Eq QARealQ

Ord QARealQ

Show QARealQ

Typeable QARealQ

HTML QARealQ

(ERApproxElementary ira, Typeable ira) => QAProtocol QARealQ (QARealA ira)

data QARealA ra

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

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

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 ra

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

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)

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

querySyncR

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.