Repository navigation

exec::function: member functions, stateless factories, and a noexcept contract - #2321

Merged

ericniebler merged 19 commits into

NVIDIA:mainfrom

ispeters:support_member_functions

Oct 18, 2026

Merged

exec::function: member functions, stateless factories, and a noexcept contract#2321
ericniebler merged 19 commits into
NVIDIA:mainfrom
ispeters:support_member_functions

Commits on Oct 17, 2026
- Let __msort accept an empty type list
  
  ispeters
  and
  claude
  committed
  dac31d1
- Test frame-allocator use and factory exceptions in function
  
  ispeters
  and
  claude
  committed
  edcc419
- Require function's sender factory to be stateless
  
  ispeters
  and
  claude
  committed
  6e396ac
- Support member functions in function with lvalue reference qualifiers
  
  ispeters
  and
  claude
  committed
  ecd174e
- Canonicalize function's type lists with __munique and __msort
  
  ispeters
  and
  claude
  committed
  f30b0fc
- Size and align function's factory storage for every accepted factory
  
  ispeters
  and
  claude
  committed
  65eb329
- Treat get_completion_domain_t<> in attrs<> as the set_value domain
  
  ispeters
  and
  claude
  committed
  3556c46
- Make function's operation state explicitly immovable
  
  ispeters
  and
  claude
  committed
  097242d
- Accept lvalue curried arguments when std::move would change nothing
  
  ispeters
  and
  claude
  committed
  ce6b2e3
- Record noexcept in function's type and allow it on the sender_tag form
  
  ispeters
  and
  claude
  committed
  8730c31
- Make function's connect conditionally noexcept
  
  ispeters
  and
  claude
  committed
  af5d67a
- Constrain function's constructors for noexcept function types
  
  ispeters
  and
  claude
  committed
  d850323
- Constrain function's connect to receivers
  
  ispeters
  and
  claude
  committed
  534fdda
- Drop function's duplicated factory-kind static_assert
  
  ispeters
  and
  claude
  committed
  335c9ee
- Document how function constructs its operation state
  
  ispeters
  and
  claude
  committed
  dc19b4e
- Don't derive function's member-function form from its void-pointer form
  
  ispeters
  and
  claude
  committed
  e24a3e4
- Test the completion domain function reports when started elsewhere
  
  ispeters
  and
  claude
  committed
  4de7017
- Work around an nvc++ internal error in function's constructors
  
  ispeters
  and
  claude
  committed
  9be0310
- Don't assume a curried int leaves tail padding in function
  
  ispeters
  and
  claude
  committed
  b118d66

Navigation Menu

Repository navigation

exec::function: member functions, stateless factories, and a noexcept contract - #2321

exec::function: member functions, stateless factories, and a noexcept contract#2321
ericniebler merged 19 commits into
NVIDIA:mainfrom
ispeters:support_member_functions

Commits on Oct 17, 2026

Let __msort accept an empty type list

Test frame-allocator use and factory exceptions in function

Require function's sender factory to be stateless

Support member functions in function with lvalue reference qualifiers

Canonicalize function's type lists with munique and msort

Size and align function's factory storage for every accepted factory

Treat get_completion_domain_t<> in attrs<> as the set_value domain

Make function's operation state explicitly immovable

Accept lvalue curried arguments when std::move would change nothing

Record noexcept in function's type and allow it on the sender_tag form

Make function's connect conditionally noexcept

Constrain function's constructors for noexcept function types

Constrain function's connect to receivers

Drop function's duplicated factory-kind static_assert

Document how function constructs its operation state

Don't derive function's member-function form from its void-pointer form

Test the completion domain function reports when started elsewhere

Work around an nvc++ internal error in function's constructors

Don't assume a curried int leaves tail padding in function