Horizon
Classes | Typedefs | Functions | Variables
Functional

Function and function object utilities. More...

Classes

struct  ranges::plus
 
struct  ranges::minus
 
struct  ranges::multiplies
 
struct  ranges::bitwise_or
 
struct  ranges::convert_to< T >
 
struct  ranges::coerce< T >
 
struct  ranges::coerce< T const >
 
struct  ranges::coerce< T & >
 
struct  ranges::coerce< T && >
 
struct  ranges::bind_element< T >
 
struct  ranges::bind_element< std::reference_wrapper< T > >
 
struct  ranges::bind_element< reference_wrapper< T > >
 
struct  ranges::protector< Bind >
 
struct  ranges::protect_fn
 
struct  ranges::equal_to
 
struct  ranges::not_equal_to
 
struct  ranges::less
 
struct  ranges::less_equal
 
struct  ranges::greater_equal
 
struct  ranges::greater
 
struct  ranges::composed< Second, First >
 
struct  ranges::compose_fn
 
struct  ranges::identity
 
struct  ranges::indirected< Fn >
 
struct  ranges::indirect_fn
 
struct  ranges::invoke_fn
 
struct  ranges::invoke_result< Fun, Args >
 
struct  ranges::logical_negate< FD >
 
struct  ranges::not_fn_fn
 
struct  ranges::transformed< Fn1, Fn2 >
 
struct  ranges::on_fn
 
struct  ranges::overloaded< Ts >
 
struct  ranges::overloaded<>
 
struct  ranges::overloaded< First, Rest... >
 
struct  ranges::overload_fn
 
struct  ranges::make_pipeable_fn
 
struct  ranges::pipeable_access
 
struct  ranges::pipeable_base
 
struct  ranges::reference_wrapper< T >
 
struct  ranges::ref_fn
 
struct  ranges::unwrap_reference_fn
 

Typedefs

template<typename T >
using ranges::bind_element_t = meta::_t< bind_element< T > >
 
template<typename T >
using ranges::is_reference_wrapper = meta::bool_< is_reference_wrapper_v< T > >
 
template<typename Fun , typename... Args>
using ranges::invoke_result_t = decltype(invoke(std::declval< Fun >(), std::declval< Args >()...))
 
template<typename T >
using ranges::is_pipeable = meta::bool_< is_pipeable_v< T > >
 
using ranges::instead = pipeable_base
 
template<typename T >
using ranges::ref_t = decltype(ref(std::declval< T >()))
 
template<typename T >
using ranges::unwrap_reference_t = decltype(unwrap_reference(std::declval< T >()))
 

Functions

template<typename T , typename U = meta::if_< std::is_lvalue_reference<T>, std::reference_wrapper<meta::_t<std::remove_reference<T>>>, T &&>>
ranges::bind_forward (meta::_t< std::remove_reference< T >> &t) noexcept
 
template<typename T >
T && ranges::bind_forward (meta::_t< std::remove_reference< T >> &&t) noexcept
 
template<typename Fun , typename... Args>
 ranges::CPP_requires (invocable_, requires(Fun &&fn)(invoke((Fun &&) fn, std::declval< Args >()...)))
 \concept invocable_ More...
 
template<typename Fun , typename... Args>
 ranges::CPP_requires (predicate_, requires(Fun &&fn)(concepts::requires_< convertible_to< decltype(invoke((Fun &&) fn, std::declval< Args >()...)), bool >>))
 \concept predicate_ More...
 

Variables

template<typename Fun , typename... Args>
CPP_concept ranges::invocable
 \concept invocable More...
 
template<typename Fun , typename... Args>
CPP_concept ranges::regular_invocable
 \concept regular_invocable More...
 
template<typename Fun , typename... Args>
CPP_concept ranges::predicate
 \concept predicate More...
 
template<typename R , typename T , typename U >
CPP_concept ranges::relation
 \concept relation More...
 
template<typename R , typename T , typename U >
CPP_concept ranges::strict_weak_order
 \concept strict_weak_order More...
 
template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_reference_wrapper_v
 
template<typename Fn , typename... Args>
constexpr RANGES_INLINE_VAR bool ranges::is_invocable_v
 
template<typename Fn , typename... Args>
constexpr RANGES_INLINE_VAR bool ranges::is_nothrow_invocable_v
 
template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_pipeable_v = META_IS_BASE_OF(pipeable_base, T)
 
template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_pipeable_v< T & >
 
template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_pipeable_v< T && >
 

Detailed Description

Function and function object utilities.

Typedef Documentation

◆ ref_t

template<typename T >
using ranges::ref_t = typedef decltype(ref(std::declval<T>()))
See also
ref_fn

◆ unwrap_reference_t

template<typename T >
using ranges::unwrap_reference_t = typedef decltype(unwrap_reference(std::declval<T>()))

Function Documentation

◆ CPP_requires() [1/2]

template<typename Fun , typename... Args>
ranges::CPP_requires ( invocable_  ,
requires(Fun &&fn)(invoke((Fun &&) fn, std::declval< Args >()...))   
)

\concept invocable_

The invocable_ concept

◆ CPP_requires() [2/2]

template<typename Fun , typename... Args>
ranges::CPP_requires ( predicate_  ,
requires(Fun &&fn)(concepts::requires_< convertible_to< decltype(invoke((Fun &&) fn, std::declval< Args >()...)), bool >>)   
)

\concept predicate_

The predicate_ concept

Variable Documentation

◆ invocable

template<typename Fun , typename... Args>
CPP_concept ranges::invocable
Initial value:
=
CPP_requires_ref(ranges::invocable_, Fun, Args...)

\concept invocable

The invocable concept

◆ is_invocable_v

template<typename Fn , typename... Args>
constexpr RANGES_INLINE_VAR bool ranges::is_invocable_v
constexpr
Initial value:
=
meta::is_trait<invoke_result<Fn, Args...>>::value

◆ is_nothrow_invocable_v

template<typename Fn , typename... Args>
constexpr RANGES_INLINE_VAR bool ranges::is_nothrow_invocable_v
constexpr
Initial value:
=
detail::is_nothrow_invocable_impl_<is_invocable_v<Fn, Args...>>::template apply<
Fn, Args...>()
_t< extension::apply< Fn, L > > apply
Applies the invocable Fn using the types in the type list L as arguments.
Definition: meta.hpp:1030
#define template(...)
\concept transformable_range_

◆ is_pipeable_v< T & >

template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_pipeable_v< T & >
constexpr
Initial value:
= META_IS_BASE_OF(pipeable_base,
T)

◆ is_pipeable_v< T && >

template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_pipeable_v< T && >
constexpr
Initial value:
= META_IS_BASE_OF(pipeable_base,
T)

◆ is_reference_wrapper_v

template<typename T >
constexpr RANGES_INLINE_VAR bool ranges::is_reference_wrapper_v
constexpr
Initial value:
=
detail::is_reference_wrapper_v<detail::decay_t<T>>

◆ predicate

template<typename Fun , typename... Args>
CPP_concept ranges::predicate
Initial value:
=
regular_invocable<Fun, Args...> &&
CPP_requires_ref(ranges::predicate_, Fun, Args...)
CPP_concept regular_invocable
\concept regular_invocable
Definition: concepts.hpp:55

\concept predicate

The predicate concept

◆ regular_invocable

template<typename Fun , typename... Args>
CPP_concept ranges::regular_invocable
Initial value:
=
invocable<Fun, Args...>
CPP_concept invocable
\concept invocable
Definition: concepts.hpp:48

\concept regular_invocable

The regular_invocable concept

◆ relation

template<typename R , typename T , typename U >
CPP_concept ranges::relation
Initial value:
=
predicate<R, T, T> &&
predicate<R, U, U> &&
predicate<R, T, U> &&
predicate<R, U, T>

\concept relation

The relation concept

◆ strict_weak_order

template<typename R , typename T , typename U >
CPP_concept ranges::strict_weak_order
Initial value:
=
relation<R, T, U>

\concept strict_weak_order

The strict_weak_order concept