dedekind::category::Mapped< S, Coalg, F > Struct Template Reference

The functor's action on a coalgebra: f on the emitted leg. More...

Collaboration diagram for dedekind::category::Mapped< S, Coalg, F >:

Public Member Functions
constexpr std::optional< std::pair< Cod< F >, S > >	operator() (const S &s) const
constexpr bool	operator== (const Mapped &) const =default

Public Attributes
Coalg	coalg
F	f

Detailed Description

template<std::regular S, std::semiregular Coalg, IsArrow F>
requires std::regular_invocable<const Coalg&, const S&> && requires(std::invoke_result_t<const Coalg&, const S&> y) { { y->first } -> std::convertible_to<Dom<F>>; { y->second } -> std::convertible_to<S>; }
struct dedekind::category::Mapped< S, Coalg, F >

The functor's action on a coalgebra: f on the emitted leg.

Template Parameters

S	the state.
Coalg	the coalgebra.
F	the arrow.

Member Function Documentation

operator()()

template<std::regular S, std::semiregular Coalg, IsArrow F>

std::optional< std::pair< Cod< F >, S > > dedekind::category::Mapped< S, Coalg, F >::operator() ( const S & s ) const

inlineconstexpr

Parameters

s

a state.

Returns

f of the element, and the next state.

---

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

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