dedekind::category::LastOf< T > Struct Template Reference

The history comonad's counit: a prefix's last letter. More...

Public Types
using	Domain = std::span<const T>
using	Codomain = T

Public Member Functions
constexpr T	operator() (std::span< const T > p) const

Detailed Description

template<typename T>
struct dedekind::category::LastOf< T >

The history comonad's counit: a prefix's last letter.

Template Parameters

T	the letters.

---

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

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