dedekind::relational::detail_rows::AtDefault< K, Cs > Struct Template Reference

The step of the fold for at_defaults: the column i at its sort's default. More...

Collaboration diagram for dedekind::relational::detail_rows::AtDefault< K, Cs >:

Public Member Functions
constexpr dedekind::sets::Pred< K >	operator() (dedekind::sets::Pred< K > out, std::size_t i) const

Public Attributes
Columns	cols
unsigned	first

Detailed Description

template<typename K, typename... Cs>
struct dedekind::relational::detail_rows::AtDefault< K, Cs >

The step of the fold for at_defaults: the column i at its sort's default.

---

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

• src/main/modules/dedekind/relational/rows.cppm