dedekind::category::FreeMonoid< C, F, N > Struct Template Reference

The free monoid on a filtered alphabet, truncated below a length: \(\Sigma^{<L} = \coprod_{n < L} \Sigma^n\), the coproduct of the tensor powers, concatenation of words its operation. More...

Collaboration diagram for dedekind::category::FreeMonoid< C, F, N >:

Public Attributes
Slice< C >	letters
F	member
N	below

Detailed Description

template<HasNNOStep C, IsArrow F, IsCountWord N = std::size_t>
struct dedekind::category::FreeMonoid< C, F, N >

The free monoid on a filtered alphabet, truncated below a length: \(\Sigma^{<L} = \coprod_{n < L} \Sigma^n\), the coproduct of the tensor powers, concatenation of words its operation.

Template Parameters

C	the letters.
F	the predicate.
N	the counts.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/periodic.cppm