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

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

Description

Basic protocols for transferring approximations of a single real number.

Synopsis

data QARealQ = QARealQ data QARealA ra = QARealA ra chTReal :: (ERApproxElementary ira, Typeable ira) => ira -> ChannelType makeAnswerR :: ERApproxElementary ra => (EffortIndex -> ra) -> QAIxQ QARealQ -> QAIxA (QARealA ra) makeAnswerRNoIx :: ERApproxElementary ra => ra -> QARealQ -> QARealA ra makeAnswerRs :: ERApproxElementary ra => (EffortIndex -> [ra]) -> QAIxQ (QAListQ QARealQ) -> QAIxA (QAListA (QARealA ra)) makeAnswerRsNoIx :: ERApproxElementary ra => [ra] -> QAListQ QARealQ -> QAListA (QARealA ra) querySyncR :: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ira, Typeable ira) => sOut q2 a2 -> QueryId -> sIn (QAIxQ QARealQ) (QAIxA (QARealA ira)) -> EffortIndex -> IO ira

Documentation

data QARealQ Source

Constructors QARealQ Instances Eq QARealQ Ord QARealQ Show QARealQ Typeable QARealQ HTML QARealQ (ERApproxElementary ira, Typeable ira) => QAProtocol QARealQ (QARealA ira)

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

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

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.

querySyncR Source

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

Produced by Haddock version 2.4.2