(T, Op) is closed under Op, where Op may be either binary or unary. Distinct from IsClosedUnder (binary) so call sites that need a specific arity stay typo-proof. More...

Concept definition

template<typename T, typename Op>

concept dedekind::category::IsClosedUnderEither = IsClosedUnder<T, Op> || IsClosedUnderUnary<T, Op>

dedekind::category::IsClosedUnderEither

(T, Op) is closed under Op, where Op may be either binary or unary. Distinct from IsClosedUnder (bina...

Definition total.cppm:233

dedekind::category::IsClosedUnderUnary

Unary closure variant: Op{}(s) returns S for any S-typed operand. Cardinality has no IsClosedUnderUna...

Definition total.cppm:225

dedekind::category::IsClosedUnder

(S, Op) is closed under a binary operation: Op{}(s_1, s_2) returns a value of type S for any S-typed ...

Definition total.cppm:212

Detailed Description

(T, Op) is closed under Op, where Op may be either binary or unary. Distinct from IsClosedUnder (binary) so call sites that need a specific arity stay typo-proof.