std::experimental::ranges::IndirectUnaryInvocable, std::experimental::ranges::IndirectRegularUnaryInvocable

From cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
Technical specifications
Filesystem library (filesystem TS)
Library fundamentals (library fundamentals TS)
Library fundamentals 2 (library fundamentals 2 TS)
Extensions for parallelism (parallelism TS)
Extensions for concurrency (concurrency TS)
Concepts (concepts TS)
Ranges (ranges TS)
Special mathematical functions (special math TR)
 
 
Iterators library
Iterator concepts
Indirect callable concepts
IndirectUnaryInvocableIndirectRegularUnaryInvocable
                                                  
                                                  
                                                  
Common algorithm requirements
                                                  
Range concepts
Concept utilities
Iterator utilities and operations
Iterator traits
Iterator adaptors
Stream iterators
Range access
Range primitives
 
template <class F, class I>

concept bool IndirectUnaryInvocable =
  ranges::Readable<I> && ranges::CopyConstructible<F> &&
  ranges::Invocable<F&, ranges::value_type_t<I>&> &&
  ranges::Invocable<F&, ranges::reference_t<I>> &&
  ranges::Invocable<F&, ranges::iter_common_reference_t<I>> &&
  ranges::CommonReference<
      std::result_of_t<F&(ranges::value_type_t<I>&)>,

      std::result_of_t<F&(ranges::reference_t<I>&&)>>;
(ranges TS)
template <class F, class I>

concept bool IndirectRegularUnaryInvocable =
  ranges::Readable<I> && ranges::CopyConstructible<F> &&
  ranges::RegularInvocable<F&, ranges::value_type_t<I>&> &&
  ranges::RegularInvocable<F&, ranges::reference_t<I>> &&
  ranges::RegularInvocable<F&, ranges::iter_common_reference_t<I>> &&
  ranges::CommonReference<
      std::result_of_t<F&(ranges::value_type_t<I>&)>,

      std::result_of_t<F&(ranges::reference_t<I>&&)>>;
(ranges TS)