dedekind::category::Windows Struct Reference

windows(n), the stage that reads each position's window of n elements, a position with its context, as a comonad's \(\delta\) would on an infinite stream; on a finite range the last n - 1 positions have no full window, so it is not a comonad here. It is std::views::slide(n), spelled as a stage. More...

Public Attributes
std::size_t	n

Detailed Description

windows(n), the stage that reads each position's window of n elements, a position with its context, as a comonad's \(\delta\) would on an infinite stream; on a finite range the last n - 1 positions have no full window, so it is not a comonad here. It is std::views::slide(n), spelled as a stage.

---

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

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