dedekind::category::kleisli_probe_arrow< A, B > Struct Template Reference

An arrow A → B the triple concepts probe bind and extend with: only its type is read, never its value. In this namespace, not a detail one, so argument-dependent lookup finds the >>= and <<= defined below. More...

Public Types
using	Domain = A
using	Codomain = B

Public Member Functions
constexpr B	operator() (const A &) const

Detailed Description

template<typename A, typename B>
struct dedekind::category::kleisli_probe_arrow< A, B >

An arrow A → B the triple concepts probe bind and extend with: only its type is read, never its value. In this namespace, not a detail one, so argument-dependent lookup finds the >>= and <<= defined below.

Template Parameters

A
B	the ends.

---

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

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