dedekind::category::f_coalgebra< Carrier, Functor, Structure > Struct Template Reference

A concrete witness for an F-coalgebra. More...

Public Types
using	carrier_type = Carrier
using	functor_type = Functor
using	structure_type = Structure

Public Member Functions
constexpr auto	operator() (Carrier const &x) const

Public Attributes
Functor	functor {}
Structure	structure {}

Detailed Description

template<typename Carrier, typename Functor, typename Structure>
requires IsFCoalgebra<Carrier, Structure, Functor>
struct dedekind::category::f_coalgebra< Carrier, Functor, Structure >

A concrete witness for an F-coalgebra.

---

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

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