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

The equality test against one value as an arrow \(A \to 2\), the characteristic map of the point x: the condition a guard asks of a state (the Jlt paper's Listing 3, until(equals(1), step)). More...

Collaboration diagram for dedekind::category::Equals< A >:

Public Types
using	Domain = A
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (const A &a) const
constexpr bool	operator== (const Equals &) const =default

Public Attributes
A	value

Detailed Description

template<std::equality_comparable A>
struct dedekind::category::Equals< A >

The equality test against one value as an arrow \(A \to 2\), the characteristic map of the point x: the condition a guard asks of a state (the Jlt paper's Listing 3, until(equals(1), step)).

Template Parameters

A	the object, its values comparable.

Member Function Documentation

operator()()

template<std::equality_comparable A>

bool dedekind::category::Equals< A >::operator() ( const A & a ) const

inlineconstexpr

Parameters

a	an element.

Returns

whether it is the value.

---

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

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