Horizon
Namespaces | 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

 ranges::cpp20
 

Functions

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...