Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::ReflectedWindows< R, N > Struct Template Referenceexport

r >> s for a section fixed by reversal and the alphabet's reflection: the same query, kept beside what it was built from, for count below to read the law from. More...

Collaboration diagram for dedekind::category::ReflectedWindows< R, N >:

Public Types

using Section = Symmetric<Power<std::byte, Letters, N>, Reverse, Reflection>
using Query

Public Member Functions

constexpr auto begin () const
constexpr auto end () const

Public Attributes

R text
Section section
Query query

Detailed Description

template<IsByteText R, IsCountWord N>
struct dedekind::category::ReflectedWindows< R, N >

r >> s for a section fixed by reversal and the alphabet's reflection: the same query, kept beside what it was built from, for count below to read the law from.

Template Parameters
Rthe text.
Nthe section's counts.

Member Typedef Documentation

◆ Query

template<IsByteText R, IsCountWord N>
using dedekind::category::ReflectedWindows< R, N >::Query
Initial value:
decltype(std::declval<R>() >> windows(1uz) >>
where(std::declval<const Section&>()))
constexpr Where< P > where(P p)
Definition comprehension.cppm:173
constexpr Windows windows(std::size_t n)
Definition comprehension.cppm:256

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