Horizon
Loading...
Searching...
No Matches
Namespaces | Concepts | Functions | Variables
concepts.hpp File Reference
#include <concepts/concepts.hpp>
#include <range/v3/functional/invoke.hpp>
#include <range/v3/detail/prologue.hpp>
#include <range/v3/detail/epilogue.hpp>

Go to the source code of this file.

Namespaces

namespace  ranges::cpp20
 

Concepts

concept  ranges::invocable_
 The invocable_ concept.
 
concept  ranges::invocable
 The invocable concept.
 
concept  ranges::regular_invocable
 The regular_invocable concept.
 
concept  ranges::predicate_
 The predicate_ concept.
 
concept  ranges::predicate
 The predicate concept.
 
concept  ranges::relation
 The relation concept.
 
concept  ranges::strict_weak_order
 The strict_weak_order concept.
 

Functions

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

Variables

template<typename Fun , typename... Args>
CPP_concept ranges::invocable
 
template<typename Fun , typename... Args>
CPP_concept ranges::regular_invocable
 
template<typename Fun , typename... Args>
CPP_concept ranges::predicate
 
template<typename R , typename T , typename U >
CPP_concept ranges::relation
 
template<typename R , typename T , typename U >
CPP_concept ranges::strict_weak_order