The coalgebra reading a bounded list position by position, each element present: a value on the stack walked as any query, so every stage composes after it. More...

Public Member Functions
constexpr std::optional< std::pair< Maybe< T >, std::size_t > >	operator() (std::size_t i) const

Public Attributes
AtMost< T, K >	list

Detailed Description

template<std::semiregular T, std::size_t K>
struct dedekind::category::detail_comprehension::Read< T, K >

The coalgebra reading a bounded list position by position, each element present: a value on the stack walked as any query, so every stage composes after it.

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

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

Public Member Functions

Public Attributes

Detailed Description