Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_comprehension::IsMaybe Concept Reference
module dedekind.category

Concept definition

template<typename T>
concept dedekind::category::detail_comprehension::IsMaybe = is_maybe_v<T>
dedekind::category::detail_comprehension::IsMaybe
Definition comprehension.cppm:109
dedekind::category::detail_comprehension::is_maybe_v
constexpr bool is_maybe_v
Whether T is a Maybe: an element of a query, or none.
Definition comprehension.cppm:105