dedekind::category::Delete< A > Struct Template Reference

Delete (counit) ε:A→1. Completes the commutative comonoid. More...

Public Types
using	Domain = A
using	Codomain = One

Public Member Functions
constexpr Codomain	operator() (const A &) const
	Discard the input into the terminal object ε(a)=•.

Detailed Description

template<typename A>
struct dedekind::category::Delete< A >

Delete (counit) ε:A→1. Completes the commutative comonoid.

Template Parameters

A	the carrier object.

Note

The category terminal object One (:limit) IS std::monostate, so this is an IsTerminalMorphism; grounding resolved the earlier placeholder.

Member Function Documentation

operator()()

template<typename A>

Codomain dedekind::category::Delete< A >::operator() ( const A & ) const

inlineconstexpr

Discard the input into the terminal object ε(a)=•.

Parameters

a	the value to delete (unused; every value maps to One).

Returns

the unique inhabitant of One.

---

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

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