Section 3: library functions
std::experimental::ranges::InputRange – std::experimental::ranges::InputRange Synopsis Defined in header <experimental/ranges/range> template <class T> concept bool InputRange = (ranges TS) Range<T> && InputIterator<ranges::iterator_t<T>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::InputIterator – std::experimental::ranges::InputIterator Synopsis Defined in header <experimental/ranges/iterator> template < class I > concept bool InputIterator = Iterator<I> && Readable<I> && (ranges TS) requires { typename ranges::iterator_category_t<I>; } && DerivedFrom<ranges::iterator_category_t<I>, ranges::input_iterator_tag>; The InputIterator concept is a refinement of Iterator, adding the requirement that the referenced values can be read (via Readable) and the requirement that…
std::experimental::ranges::IndirectlySwappable – std::experimental::ranges::IndirectlySwappable Synopsis Defined in header <experimental/ranges/iterator> template <class I1, class I2 = I1> concept bool IndirectlySwappable = Readable<I1> && Readable<I2> && requires(I1&& i1, I2&& i2) { ranges::iter_swap(std::forward<I1>(i1), std::forward<I2>(i2)); (ranges TS) ranges::iter_swap(std::forward<I2>(i2), std::forward<I1>(i1)); ranges::iter_swap(std::forward<I1>(i1), std::forward<I1>(i1)); ranges::iter_swap(std::forward<I2>(i2), std::forward<I2>(i2)); }; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectlyMovableStorable – std::experimental::ranges::IndirectlyMovableStorable Synopsis Defined in header <experimental/ranges/iterator> template < class In, class Out > concept bool IndirectlyMovableStorable = IndirectlyMovable<In, Out> && Writable<Out, ranges::value_type_t<In>> && (ranges TS) Movable<ranges::value_type_t<In>> && Constructible<ranges::value_type_t<In>, ranges::rvalue_reference_t<In>> && Assignable<ranges::value_type_t<In>&, ranges::rvalue_reference_t<In>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectlyMovable – std::experimental::ranges::IndirectlyMovable Synopsis Defined in header <experimental/ranges/iterator> template <class In, class Out> concept bool IndirectlyMovable = (ranges TS) Readable<In> && Writable<Out, ranges::rvalue_reference_t<In>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectlyCopyableStorable – std::experimental::ranges::IndirectlyCopyableStorable Synopsis Defined in header<experimental / ranges / iterator> template <class In, class Out> concept bool IndirectlyCopyableStorable = IndirectlyCopyable<In, Out> && Writable<Out, const ranges::value_type_t<In> &> && (ranges TS) Copyable<ranges::value_type_t<In>> && Constructible<ranges::value_type_t<In>, ranges::reference_t<In>> && Assignable<ranges::value_type_t<In> &, ranges::reference_t<In>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectlyCopyable – std::experimental::ranges::IndirectlyCopyable Synopsis Defined in header <experimental/ranges/iterator> template < class In, class Out > concept bool IndirectlyCopyable = (ranges TS) Readable<In> && Writable<Out, ranges::reference_t<In>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectlyComparable – std::experimental::ranges::IndirectlyComparable Synopsis Defined in header <experimental/ranges/iterator> template < class I1, class I2, class R = ranges::equal_to<>, class P1 = ranges::identity, class P2 = ranges::identity > (ranges TS) concept bool IndirectlyComparable = IndirectRelation<R, ranges::projected<I1, P1>, ranges::projected<I2, P2>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectUnaryPredicate – std::experimental::ranges::IndirectUnaryPredicate Synopsis Defined in header <experimental/ranges/iterator> template <class F, class I> concept bool IndirectUnaryPredicate = Readable<I> && CopyConstructible<F> && (ranges TS) Predicate<F&, ranges::value_type_t<I>&> && Predicate<F&, ranges::reference_t<I>> && Predicate<F&, ranges::iter_common_reference_t<I>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::IndirectUnaryInvocable,std::experimental::ranges::IndirectRegularUnaryInvocable – std::experimental::ranges::IndirectUnaryInvocable,std::experimental::ranges::IndirectRegularUnaryInvocable Synopsis Defined in header <experimental/ranges/iterator> template <class F, class I> concept bool IndirectUnaryInvocable = Readable<I> && CopyConstructible<F> && Invocable<F&, ranges::value_type_t<I>&> && Invocable<F&, ranges::reference_t<I>> && (ranges TS) Invocable<F&, ranges::iter_common_reference_t<I>> && CommonReference< std::result_of_t<F&(ranges::value_type_t<I>&)>, std::result_of_t<F&(ranges::reference_t<I>&&)>>; template <class F, class I> concept bool IndirectRegularUnaryInvocable = Readable<I> && CopyConstructible<F> && RegularInvocable<F&, ranges::value_type_t<I>&> && RegularInvocable<F&, ranges::reference_t<I>> && (ranges…
std::experimental::ranges::IndirectStrictWeakOrder – std::experimental::ranges::IndirectStrictWeakOrder Synopsis Defined in header <experimental/ranges/iterator> template < class F, class I1, class I2 = I1 > concept bool IndirectStrictWeakOrder = Readable<I1> && Readable<I2> && CopyConstructible<F> && StrictWeakOrder<F&, ranges::value_type_t<I1>&, ranges::value_type_t<I2>&> && (ranges TS) StrictWeakOrder<F&, ranges::value_type_t<I1>&, ranges::reference_t<I2>> && StrictWeakOrder<F&, ranges::reference_t<I1>, ranges::value_type_t<I2>&> && StrictWeakOrder<F&, ranges::reference_t<I1>, ranges::reference_t<I2>> && StrictWeakOrder<F&, ranges::iter_common_reference_t<I1>, ranges::iter_common_reference_t<I2>>; This section is incomplete Reason:…
std::experimental::ranges::IndirectRelation – std::experimental::ranges::IndirectRelation Synopsis Defined in header <experimental/ranges/iterator> template < class F, class I1, class I2 = I1 > concept bool IndirectRelation = Readable<I1> && Readable<I2> && CopyConstructible<F> && Relation<F&, ranges::value_type_t<I1>&, ranges::value_type_t<I2>&> && (ranges TS) Relation<F&, ranges::value_type_t<I1>&, ranges::reference_t<I2>> && Relation<F&, ranges::reference_t<I1>, ranges::value_type_t<I2>&> && Relation<F&, ranges::reference_t<I1>, ranges::reference_t<I2>> && Relation<F&, ranges::iter_common_reference_t<I1>, ranges::iter_common_reference_t<I2>>; This section is incomplete Reason:…
std::experimental::ranges::Incrementable – std::experimental::ranges::Incrementable Synopsis Defined in header <experimental/ranges/iterator> template <class I> concept bool Incrementable = Regular<I> && WeaklyIncrementable<I> && (ranges TS) requires(I i) { { i++ } -> Same<I>&&; }; The concept Incrementable<I> specifies the requirements on a type that can be incremented (with the pre- and post-increment operators). The increment operations (including those required…
std::experimental::ranges::ForwardRange – std::experimental::ranges::ForwardRange Synopsis Defined in header <experimental/ranges/range> template <class T> concept bool ForwardRange = (ranges TS) InputRange<T> && ForwardIterator<ranges::iterator_t<T>>; This section is incomplete Reason: add description and extra caveats
std::experimental::ranges::ForwardIterator – std::experimental::ranges::ForwardIterator Synopsis Defined in header <experimental/ranges/iterator> template < class I > concept bool ForwardIterator = InputIterator<I> && (ranges TS) DerivedFrom<ranges::iterator_category_t<I>, ranges::forward_iterator_tag> && Incrementable<I> && Sentinel<I, I>; The concept ForwardIterator<I> refines InputIterator by adding equality comparison and the multi-pass guarantee. The domain of == for forward iterators is that of iterators over the same…
std::experimental::ranges::EqualityComparable,std::experimental::ranges::EqualityComparableWith – std::experimental::ranges::EqualityComparable,std::experimental::ranges::EqualityComparableWith Synopsis Defined in header<experimental / ranges / concepts> template <class T> (1)(ranges TS) concept bool EqualityComparable = WeaklyEqualityComparableWith<T, T>; template <class T, class U> concept bool EqualityComparableWith = EqualityComparable<T> && EqualityComparable<U> && CommonReference< const std::remove_reference_t<T> &, (2)(ranges TS) const std::remove_reference_t<U> &> && EqualityComparable< ranges::common_reference_t< const std::remove_reference_t<T> &, const std::remove_reference_t<U> &>> && WeaklyEqualityComparableWith<T,…
std::experimental::ranges::Destructible – std::experimental::ranges::Destructible Synopsis Defined in header <experimental/ranges/concepts> template < class T > (ranges TS) concept bool Destructible = std::is_nothrow_destructible<T>::value; The concept Destructible specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types). There need not be any subsumption relationship between Destructible<T> and std::is_nothrow_destructible<T>::value….
std::experimental::ranges::DerivedFrom – std::experimental::ranges::DerivedFrom Synopsis Defined in header <experimental/ranges/concepts> template < class T, class U > concept bool DerivedFrom = (ranges TS) std::is_base_of<U, T>::value && std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value; The concept DerivedFrom<T, U> is satisfied if and only if U is a class type that is either T or a public and unambiguous base of T. Despite the…
std::experimental::ranges::DefaultConstructible – std::experimental::ranges::DefaultConstructible Synopsis Defined in header <experimental/ranges/concepts> template < class T > (ranges TS) concept bool DefaultConstructible = Constructible<T>; The DefaultConstructible concept provides a shorthand for the common case when the question is whether a type can be constructed with no arguments. See also specifies that a variable of the type can be constructed…
std::experimental::ranges::Copyable – std::experimental::ranges::Copyable Synopsis Defined in header<experimental / ranges / concepts> template <class T> concept bool Copyable = CopyConstructible<T> && (ranges TS) Movable<T> && Assignable<T &, const T &>; The concept Copyable<T> specifies that T is an Movable object type that can also copied (that is, it supports copy construction and copy assignment). Notes It…