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

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

Public Member Functions
constexpr auto	operator() (typename Functor::template Shape< Carrier > const &x) const

Public Attributes
Functor	functor {}
Structure	structure {}

Detailed Description

template<typename Carrier, typename Functor, typename Structure>
requires IsFAlgebra<Carrier, Structure, Functor>
struct dedekind::category::f_algebra< Carrier, Functor, Structure >

A concrete witness for an F-algebra.

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

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

Public Types

Public Member Functions

Public Attributes

Detailed Description