Implementation details of the folly invocation traits.
| Name | Description |
|---|---|
conv_r_ | Tests return-type convertibility, specialized on whether the target is void. |
invoke_result | Holds the result type of invoking F with A..., or is empty if ill-formed. |
ok_one_ | Quoted metafunction enforcing that a type is complete, cv-void, or unbounded-array. |
traits | Invocation traits for a callable type F. |
traits_member_ptr | Invocation traits for a pointer-to-member P, via std::mem_fn. |
| Name | Description |
|---|---|
invoke_result_t | The result type of invoking F with A.... |
is_nothrow | Bool constant that is true when invoking P with A... is noexcept. |
ok_ | Yields T when every A... is complete, cv-void, or unbounded-array. |
| Name | Description |
|---|---|
conv_r_v_ | True if FR converts to R, honoring the noexcept requirement NX. |
is_invocable_r_v | True if invoking F with A... yields a result convertible to R. |
is_invocable_r_v | Specialization testing return-type convertibility when the invocation is well-formed. |
is_invocable_v | True if F is invocable with A.... |
is_invocable_v | Specialization yielding true when the invocation is well-formed. |
is_nothrow_invocable_r_v | True if a nothrow invocation of F yields a result convertible to R. |
is_nothrow_invocable_r_v | Specialization testing nothrow invocation and return convertibility when well-formed. |
is_nothrow_invocable_v | True if F is nothrow-invocable with A.... |
is_nothrow_invocable_v | Specialization yielding the nothrow result when the invocation is well-formed. |