Range-v3 Range algorithms, views, and actions for the Standard Library
Query/Search

Description

Query and search algorithms.

lazy

Typedefs

template<typename List , typename F >
using meta::all_of = empty< find_if< List, not_fn< F > >>
A Boolean integral constant wrapper around `true` if `invoke<F, A>::value` is `true` for all elements `A` in `meta::list` `List`; `false`, otherwise. More...

template<typename List , typename F >
using meta::any_of = not_< empty< find_if< List, F > >>
A Boolean integral constant wrapper around `true` if `invoke<F, A>::value` is `true` for any element `A` in `meta::list` `List`; `false`, otherwise. More...

template<typename List , typename T >
using meta::count = _t< detail::count_< List, T > >
Count the number of times a type `T` appears in the list `List`. More...

template<typename List , typename Fn >
using meta::count_if = _t< detail::count_if_< List, Fn > >
Count the number of times the predicate `Fn` evaluates to true for all the elements in the list `List`. More...

template<typename List , typename T >
using meta::find = drop< List, min< find_index< List, T >, size< List > >>
Return the tail of the list `List` starting at the first occurrence of `T`, if any such element exists; the empty list, otherwise. More...

template<typename List , typename Fun >
using meta::find_if = _t< detail::find_if_< List, Fun > >
Return the tail of the list `List` starting at the first element `A` such that `invoke<Fun, A>::value` is `true`, if any such element exists; the empty list, otherwise. More...

template<typename List , typename T >
using meta::find_index = _t< detail::find_index_< List, T > >
Finds the index of the first occurrence of the type `T` within the list `List`. Returns `meta::npos` if the type `T` was not found. More...

template<typename List , typename T >
using meta::in = not_< empty< find< List, T > >>
A Boolean integral constant wrapper around `true` if there is at least one occurrence of `T` in `List`. More...

template<typename List , typename F >
using meta::none_of = empty< find_if< List, F > >
A Boolean integral constant wrapper around `true` if `invoke<F, A>::value` is `false` for all elements `A` in `meta::list` `List`; `false`, otherwise. More...

template<typename List , typename T >
using meta::reverse_find = drop< List, min< reverse_find_index< List, T >, size< List > >>
Return the tail of the list `List` starting at the last occurrence of `T`, if any such element exists; the empty list, otherwise. More...

template<typename List , typename Fun >
using meta::reverse_find_if = _t< detail::reverse_find_if_< List, Fun > >
Return the tail of the list `List` starting at the last element `A` such that `invoke<Fun, A>::value` is `true`, if any such element exists; the empty list, otherwise. More...

template<typename List , typename T >
using meta::reverse_find_index = _t< detail::reverse_find_index_< List, T > >
Finds the index of the last occurrence of the type `T` within the list `List`. Returns `meta::npos` if the type `T` was not found. More...

◆ all_of

template<typename List , typename F >
 using meta::all_of = typedef empty >>

`#include <meta/meta.hpp>`

A Boolean integral constant wrapper around `true` if `invoke<F, A>::value` is `true` for all elements `A` in `meta::list` `List`; `false`, otherwise.

Complexity
.

◆ any_of

template<typename List , typename F >
 using meta::any_of = typedef not_ >>

`#include <meta/meta.hpp>`

A Boolean integral constant wrapper around `true` if `invoke<F, A>::value` is `true` for any element `A` in `meta::list` `List`; `false`, otherwise.

Complexity
.

◆ count

template<typename List , typename T >
 using meta::count = typedef _t >

`#include <meta/meta.hpp>`

Count the number of times a type `T` appears in the list `List`.

Complexity
.

◆ count_if

template<typename List , typename Fn >
 using meta::count_if = typedef _t >

`#include <meta/meta.hpp>`

Count the number of times the predicate `Fn` evaluates to true for all the elements in the list `List`.

Complexity
.

◆ find

template<typename List , typename T >
 using meta::find = typedef drop, size >>

`#include <meta/meta.hpp>`

Return the tail of the list `List` starting at the first occurrence of `T`, if any such element exists; the empty list, otherwise.

Complexity
.

◆ find_if

template<typename List , typename Fun >
 using meta::find_if = typedef _t >

`#include <meta/meta.hpp>`

Return the tail of the list `List` starting at the first element `A` such that `invoke<Fun, A>::value` is `true`, if any such element exists; the empty list, otherwise.

Complexity
.

◆ find_index

template<typename List , typename T >
 using meta::find_index = typedef _t >

`#include <meta/meta.hpp>`

Finds the index of the first occurrence of the type `T` within the list `List`. Returns `meta::npos` if the type `T` was not found.

Complexity
.
`meta::npos`

◆ in

template<typename List , typename T >
 using meta::in = typedef not_ >>

`#include <meta/meta.hpp>`

A Boolean integral constant wrapper around `true` if there is at least one occurrence of `T` in `List`.

Complexity
.

◆ none_of

template<typename List , typename F >
 using meta::none_of = typedef empty >

`#include <meta/meta.hpp>`

A Boolean integral constant wrapper around `true` if `invoke<F, A>::value` is `false` for all elements `A` in `meta::list` `List`; `false`, otherwise.

Complexity
.

◆ reverse_find

template<typename List , typename T >
 using meta::reverse_find = typedef drop, size >>

`#include <meta/meta.hpp>`

Return the tail of the list `List` starting at the last occurrence of `T`, if any such element exists; the empty list, otherwise.

Complexity
.

◆ reverse_find_if

template<typename List , typename Fun >
 using meta::reverse_find_if = typedef _t >

`#include <meta/meta.hpp>`

Return the tail of the list `List` starting at the last element `A` such that `invoke<Fun, A>::value` is `true`, if any such element exists; the empty list, otherwise.

Complexity
.

◆ reverse_find_index

template<typename List , typename T >
 using meta::reverse_find_index = typedef _t >

`#include <meta/meta.hpp>`

Finds the index of the last occurrence of the type `T` within the list `List`. Returns `meta::npos` if the type `T` was not found.

Complexity
.
`meta::npos`