The functor whose values a container is: Maybe a value of maybe_functor , the one-tuple of tuple_functor . Kleisli extension reads its action on arrows, \(\mu \circ T(f)\). More...

Detailed Description

template<typename MA>
struct dedekind::category::functor_of< MA >

The functor whose values a container is: Maybe a value of maybe_functor , the one-tuple of tuple_functor . Kleisli extension reads its action on arrows, \(\mu \circ T(f)\).

kleisli__Kleisli_Operators

Template Parameters

MA	the container.

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

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