dedekind::category::IsPotential Concept Reference

Structural isomorphism for "Maybe-like" species. More...

Concept definition

template<typename R, typename L typename GetLogic<R>::type>
concept dedekind::category::IsPotential =  requires(R r) {
  typename R::value_type;
  { *r } -> std::convertible_to<const typename R::value_type&>;
  { presence_of(r) } -> std::convertible_to<typename L::Ω>;
}

Detailed Description

Structural isomorphism for "Maybe-like" species.

Any type that provides a value and a way to check if that value is 'legitimate' (Total) satisfies this concept.