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

The tensor power \(\Sigma^n\): the words of length n over the letters of a chain that a predicate keeps, a box of n legs, each the filtered alphabet, never built. More...

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

Public Attributes
Slice< C >	letters
F	member
N	length

Detailed Description

template<HasNNOStep C, IsArrow F, IsCountWord N = std::size_t>
requires std::totally_ordered<C> && std::same_as<Dom<F>, C> && std::convertible_to<Cod<F>, bool>
struct dedekind::category::Power< C, F, N >

The tensor power \(\Sigma^n\): the words of length n over the letters of a chain that a predicate keeps, a box of n legs, each the filtered alphabet, never built.

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