Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsIdempotent Concept Referenceexport
module dedekind.category

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsIdempotent = is_idempotent_v<T, std::remove_cvref_t<Op>>
dedekind::category::IsIdempotent
Definition species.cppm:811
dedekind::category::is_idempotent_v
constexpr bool is_idempotent_v
Helper for shorthand access in concepts.
Definition species.cppm:148