Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sequences::ComposePrefixPred< PR, PS > Struct Template Referenceexport
Collaboration diagram for dedekind::sequences::ComposePrefixPred< PR, PS >:

Public Types

using is_rel_predicate = void

Public Member Functions

template<typename Pair>
requires requires(const Pair& ac) { ac.first; ac.second; }
constexpr bool operator() (const Pair &ac) const

Public Attributes

PR r
PS s
std::size_t bound

Member Function Documentation

◆ operator()()

template<IsRelPredicate PR, IsRelPredicate PS>
template<typename Pair>
requires requires(const Pair& ac) { ac.first; ac.second; }
bool dedekind::sequences::ComposePrefixPred< PR, PS >::operator() ( const Pair & ac) const
inlineconstexpr
Parameters
acthe endpoint pair \((a,c)\) — any .first / .second carrier the operands accept.

The documentation for this struct was generated from the following file: