Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsKleisliDeref Concept Referenceexport
module dedekind.category

M exposes operator-> and the carrier site has declared it as Kleisli dereference / comonadic extract (Mac Lane CWM §VI; Wadler 1992). More...

Concept definition

template<typename M>
concept dedekind::category::IsKleisliDeref =
HasArrowDereferenceOperator<M> && is_kleisli_deref_v<M>
dedekind::category::HasArrowDereferenceOperator
Syntactic check: m.operator->() compiles for M.
Definition kleisli.cppm:502
dedekind::category::IsKleisliDeref
M exposes operator-> and the carrier site has declared it as Kleisli dereference / comonadic extract ...
Definition kleisli.cppm:518
dedekind::category::is_kleisli_deref_v
constexpr bool is_kleisli_deref_v
is_kleisli_deref_v<M>: opt-in marker that the carrier's operator-> realises Kleisli dereference (for ...
Definition kleisli.cppm:510

Detailed Description

M exposes operator-> and the carrier site has declared it as Kleisli dereference / comonadic extract (Mac Lane CWM §VI; Wadler 1992).