Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
- rateRProcess :: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ra, Typeable ra) => ERProcessName -> Rational -> Int -> ra -> ERProcess sInAnyProt sOutAnyProt
- rateRsProcess :: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ra, Typeable ra) => ERProcessName -> Rational -> Int -> ra -> ERProcess sInAnyProt sOutAnyProt
Documentation
:: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ra, Typeable ra) | |
=> ERProcessName | process identifier (string) |
-> Rational | desired ratio of improvement |
-> Int | maximum number of attempts to reach desired improvement |
-> ra | sample approximation to aid typechecking |
-> ERProcess sInAnyProt sOutAnyProt |
A process passing on information about a real number, trying to improve the convergence rate in successive queries.
Each query may refer to a previous query. When it does, the query will not be answered until either:
- the information about the number has improved by the desired amount since last time
- the number of queries made in response to this query has reached the given limit
:: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ra, Typeable ra) | |
=> ERProcessName | process identifier (string) |
-> Rational | desired ratio of improvement |
-> Int | maximum number of attempts to reach desired improvement |
-> ra | sample approximation to aid typechecking |
-> ERProcess sInAnyProt sOutAnyProt |
A process passing on information about a list of real numbers, trying to improve the convergence rate in successive queries.
Each query may refer to a previous query. When it does, the query will not be answered until either:
- the information about the tuple has improved by the desired amount since last time
- the number of queries made in response to this query has reached the given limit