std::equivalence_relation(3cxx)

πŸ“¦
version 16-20260322 Β· 3 versions
, in ubuntu resolute, ubuntu stonking

🌸 NAME 🌸

std::equivalence_relation β€” bestie this is the [concept.equiv] concept, aka the equivalence_relation concept, and it lives in the C++ standard library (libstdc++), manual section 3cxx πŸ’–


✨ SYNOPSIS ✨

First things first, you gotta bring in the concepts header:

#include <concepts>

πŸŽ€ Concept definition πŸŽ€

Here's the whole thing, and honestly it's giving minimalist queen:

template<typename _Rel, typename _Tp, typename _Up>
concept std::equivalence_relation =  relation<_Rel, _Tp, _Up>

So yeah β€” three template params, _Rel, _Tp, and _Up β€” and the concept is defined as being satisfied exactly when relation<_Rel, _Tp, _Up> holds. That's it. That's the whole vibe. It literally just forwards the whole thing to relation and lets that do the talking. No cap 🫢


πŸ’… Detailed Description πŸ’…

This is the [concept.equiv] concept β€” the one and only equivalence_relation. That's the concept, that's its name, that's the section of the standard it comes from, periodt ✨

Heads up bestie: this page is auto-generated, so there's no long prose story here β€” the definition above is the tea πŸ’€

πŸ‘‘ Author πŸ‘‘

Generated automatically by Doxygen for libstdc++ from the source code. So no human author to thank, the robot did it, and honestly? She ate πŸ€–πŸ’…


That's the whole page, bestie! Sourced from libstdc++, manual page std::equivalence_relation(3cxx) β€” go forth and constrain ur templates, ilysm πŸ¦‹πŸ’–πŸŽ€