Skip to content

[exec] Use appropriate macros for concept references #7334

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
tkoeppe merged 1 commit into from
Oct 21, 2024
Merged

[exec] Use appropriate macros for concept references #7334

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions source/exec.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -155,7 +155,7 @@

\pnum
Let \tcode{env} be an object of type \tcode{Env}.
The type \tcode{Env} models queryable
The type \tcode{Env} models \exposconcept{queryable}
if for each callable object \tcode{q} and a pack of subexpressions \tcode{args},
if \tcode{requires \{ q(env, args...) \}} is \tcode{true} then
\tcode{q(env, args...)} meets any semantic requirements imposed by \tcode{q}.
Expand Down Expand Up @@ -2683,11 +2683,11 @@

\pnum
A \defnadj{pipeable}{sender adaptor closure object} is a function object
that accepts one or more \tcode{sender} arguments and returns a \tcode{sender}.
that accepts one or more \libconcept{sender} arguments and returns a \libconcept{sender}.
For a pipeable sender adaptor closure object \tcode{c} and
an expression \tcode{sndr}
such that \tcode{decltype((sndr))} models \tcode{sender},
the following expressions are equivalent and yield a \tcode{sender}:
such that \tcode{decltype((sndr))} models \libconcept{sender},
the following expressions are equivalent and yield a \libconcept{sender}:
\begin{codeblock}
c(sndr)
sndr | c
Expand Down Expand Up @@ -2720,7 +2720,7 @@
if \tcode{T} models \tcode{\libconcept{derived_from}<sender_adaptor_closure<T>>},
\tcode{T} has no other base classes
of type \tcode{sender_adaptor_closure<U>} for any other type \tcode{U}, and
\tcode{T} does not satisfy \tcode{sender}.
\tcode{T} does not satisfy \libconcept{sender}.

\pnum
The template parameter \tcode{D} for \tcode{sender_adaptor_closure} can be
Expand All @@ -2735,8 +2735,8 @@

\pnum
A \defnadj{pipeable}{sender adaptor object} is a customization point object
that accepts a \tcode{sender} as its first argument and
returns a \tcode{sender}.
that accepts a \libconcept{sender} as its first argument and
returns a \libconcept{sender}.
If a pipeable sender adaptor object accepts only one argument,
then it is a pipeable sender adaptor closure object.

Expand Down Expand Up @@ -5005,7 +5005,7 @@

\pnum
\exposid{run-loop-scheduler} is an unspecified type
that models \tcode{scheduler}.
that models \libconcept{scheduler}.

\pnum
Instances of \exposid{run-loop-scheduler} remain valid
Expand All @@ -5028,7 +5028,7 @@

\pnum
\exposid{run-loop-sender} is an exposition-only type
that satisfies \tcode{sender}.
that satisfies \libconcept{sender}.
For any type \tcode{Env},
\tcode{completion_signatures_of_t<\exposid{run-loop-sender}, Env>} is
\begin{codeblock}
Expand Down
Loading