dedekind::category::detail_comprehension::Extended< F > Struct Template Reference

A Kleisli arrow into Maybe extended to the elements of a query, \(\kappa(-, f) : \mathit{Maybe}\,A \to \mathit{Maybe}\,B\). More...

Collaboration diagram for dedekind::category::detail_comprehension::Extended< F >:

Public Types
using	Domain = Maybe<Dom<F>>
using	Codomain = Cod<F>

Public Member Functions
constexpr Codomain	operator() (const Domain &ma) const

Public Attributes
F	f

Detailed Description

template<IsArrow F>
struct dedekind::category::detail_comprehension::Extended< F >

A Kleisli arrow into Maybe extended to the elements of a query, \(\kappa(-, f) : \mathit{Maybe}\,A \to \mathit{Maybe}\,B\).

Template Parameters

F	the Kleisli arrow.

---

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

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