dedekind::relational::GraphArrow< A, B, P > Struct Template Reference

The arrow a function's graph atom names, the converse of graph: a relation A×B | (π_2 == t) certified a function is the arrow a ↦ t(a), t read at a pair whose first coordinate is a. More...

Collaboration diagram for dedekind::relational::GraphArrow< A, B, P >:

Public Types
using	Domain = A
using	Codomain = B

Public Member Functions
constexpr B	operator() (const A &a) const

Public Attributes
P	atom

Detailed Description

template<typename A, typename B, typename P>
requires dedekind::sets::IsGraphAtom<P> && std::default_initializable<B>
struct dedekind::relational::GraphArrow< A, B, P >

The arrow a function's graph atom names, the converse of graph: a relation A×B | (π_2 == t) certified a function is the arrow a ↦ t(a), t read at a pair whose first coordinate is a.

Template Parameters

A,B	the carriers.
P	the graph atom.

---

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

• src/main/modules/dedekind/relational/graph.cppm