The counts act on (T, Op) in one step, by a law: the semimodule laws or idempotence. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::HasCountingAction = 
    std::invocable<const counting_action<T, std::remove_cvref_t<Op>>&,
                   std::size_t, const T&>

Detailed Description

The counts act on (T, Op) in one step, by a law: the semimodule laws or idempotence.

Template Parameters

T	the carrier.
Op	the operation.