|
1880 | 1880 | } |
1881 | 1881 | \end{codeblock} |
1882 | 1882 |
|
1883 | | -\pnum |
1884 | | -For a subexpression \tcode{sndr} let \tcode{Sndr} be \tcode{decltype((sndr))}. |
1885 | | -Let \tcode{rcvr} be a receiver |
1886 | | -with an associated environment of type \tcode{Env} |
1887 | | -such that \tcode{\libconcept{sender_in}<Sndr, Env>} is \tcode{true}. |
1888 | | -\tcode{\exposid{completion-signatures-for}<Sndr, Env>} denotes |
1889 | | -a specialization of \tcode{completion_signatures}, |
1890 | | -the set of whose template arguments correspond to |
1891 | | -the set of completion operations that are potentially evaluated |
1892 | | -as a result of starting\iref{exec.async.ops} |
1893 | | -the operation state that results from connecting \tcode{sndr} and \tcode{rcvr}. |
1894 | | -When \tcode{\libconcept{sender_in}<Sndr, Env>} is \tcode{false}, |
1895 | | -the type denoted by \tcode{\exposid{completion-signatures-for}<Sndr, Env>}, |
1896 | | -if any, is not a specialization of \tcode{completion_signatures}. |
1897 | | - |
1898 | | -\recommended |
1899 | | -When \tcode{\libconcept{sender_in}<Sndr, Env>} is \tcode{false}, |
1900 | | -implementations are encouraged to use the type |
1901 | | -denoted by \tcode{\exposid{completion-signatures-for}<Sndr, Env>} |
1902 | | -to communicate to users why. |
1903 | | - |
1904 | | -%%FIXME: The following was supposed to replace [exec.snd.expos]p39 which |
1905 | | -%% doesn't exist; it started: |
1906 | | -%% "Let Sndr be a (possibly const-qualified) specialization /basic-sender/..." |
1907 | | -%% Adding as new text here, following the above wording added in P2300R10. |
1908 | | -%%FIXME: START of wording intended to replace [exec.snd.expos]p39: |
1909 | 1883 | \indexlibrarymember{\exposid{check-types}}{\exposid{default-impls}}% |
1910 | 1884 | \begin{itemdecl} |
1911 | 1885 | template<class Sndr, class... Env> |
|
1986 | 1960 | return CS(); |
1987 | 1961 | \end{codeblock} |
1988 | 1962 | \end{itemdescr} |
1989 | | -%%FIXME: END of wording intended to replace [exec.snd.expos]p39. |
1990 | 1963 |
|
1991 | 1964 | \begin{itemdecl} |
1992 | 1965 | template<@\libconcept{sender}@ Sndr, @\exposconcept{queryable}@ Env> |
|
0 commit comments