dedekind::category::detail_comprehension::One Struct Reference

An element's share of a take: one if present, none for a hole, read through Maybe's eliminator. More...

Public Member Functions
template<typename A>
constexpr std::size_t	operator() (const A &) const

Detailed Description

An element's share of a take: one if present, none for a hole, read through Maybe's eliminator.

---

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

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