dedekind::category::Opaque< F > Struct Template Reference

An arrow with its laws hidden: called as f, with no period, so that a count along it is the plain fold. What a test runs beside the law to check it. More...

Collaboration diagram for dedekind::category::Opaque< F >:

Public Types
using	Domain = Dom<F>
using	Codomain = Cod<F>

Public Member Functions
constexpr Codomain	operator() (const Domain &x) const

Public Attributes
F	f

Detailed Description

template<IsArrow F>
struct dedekind::category::Opaque< F >

An arrow with its laws hidden: called as f, with no period, so that a count along it is the plain fold. What a test runs beside the law to check it.

Template Parameters

F	the arrow.

---

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

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