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

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialMonoid =
IsPartialSemigroup<T, Op> && HasPartialIdentity<T, Op>
dedekind::category::HasPartialIdentity
Existence of a Neutral Element in a Partial Universe.
Definition partial.cppm:175
dedekind::category::IsPartialMonoid
Definition partial.cppm:315
dedekind::category::IsPartialSemigroup
Definition partial.cppm:311