Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::OnWords< S > Struct Template Referenceexport

A transformation of the power functor with one component, a map on the words, the same at every letter. More...

Collaboration diagram for dedekind::category::OnWords< S >:

Public Member Functions

constexpr Morphism< std::vector< std::byte >, std::vector< std::byte >, S > component () const
constexpr Morphism< std::vector< std::byte >, std::vector< std::byte >, S > operator() (std::byte) const

Public Attributes

S sigma

Detailed Description

template<typename S>
struct dedekind::category::OnWords< S >

A transformation of the power functor with one component, a map on the words, the same at every letter.

Template Parameters
Sthe map.

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