dedekind::category::detail_periodic::FallsAlong< T > Struct Template Reference

One more letter of the alphabet against the one before it: the map's images must not rise along the chain of the letters. More...

Collaboration diagram for dedekind::category::detail_periodic::FallsAlong< T >:

Public Member Functions
constexpr std::pair< bool, std::optional< std::byte > >	operator() (std::pair< bool, std::optional< std::byte > > s, std::size_t i) const

Public Attributes
T	t
Letters	on

Detailed Description

template<IsArrow T>
requires std::same_as<Dom<T>, std::byte> && std::same_as<Cod<T>, std::byte>
struct dedekind::category::detail_periodic::FallsAlong< T >

One more letter of the alphabet against the one before it: the map's images must not rise along the chain of the letters.

---

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

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