|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
This is the complete list of members for dedekind::category::detail_comprehension::Taken< S, Coalg, K >, including all inherited members.
| coalg (defined in dedekind::category::detail_comprehension::Taken< S, Coalg, K >) | dedekind::category::detail_comprehension::Taken< S, Coalg, K > | |
| Element typedef (defined in dedekind::category::detail_comprehension::Taken< S, Coalg, K >) | dedekind::category::detail_comprehension::Taken< S, Coalg, K > | |
| operator()(const std::pair< S, std::size_t > &s) const (defined in dedekind::category::detail_comprehension::Taken< S, Coalg, K >) | dedekind::category::detail_comprehension::Taken< S, Coalg, K > | inline |
| Yield typedef (defined in dedekind::category::detail_comprehension::Taken< S, Coalg, K >) | dedekind::category::detail_comprehension::Taken< S, Coalg, K > |