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

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialSemigroup =
IsPartialMagma<T, Op> && IsPartialAssociative<T, Op>
dedekind::category::IsPartialAssociative
The Kleene Associativity Law.
Definition partial.cppm:166
dedekind::category::IsPartialMagma
A textbook-aligned partial binary algebra.
Definition partial.cppm:156
dedekind::category::IsPartialSemigroup
Definition partial.cppm:311

Detailed Description

partial__Concept_Maturation