dedekind::relational::FibrePredicate< Rel, T1 > Struct Template Reference

The reified fibre of a relation R at a point x: the predicate \(b \mapsto (x,b)\in R\). Named (the sibling of GraphPredicate / PreimagePredicate) so the fibre is stable and inspectable rather than a lambda blackbox (#840). More...

Public Member Functions
template<typename T2> requires std::invocable<const Rel&, std::pair<T1, T2>>
constexpr auto	operator() (const T2 &b) const

Public Attributes
Rel	relation
T1	point

Friends
constexpr bool	operator== (const FibrePredicate &, const FibrePredicate &)=default

Detailed Description

template<typename Rel, typename T1>
struct dedekind::relational::FibrePredicate< Rel, T1 >

The reified fibre of a relation R at a point x: the predicate \(b \mapsto (x,b)\in R\). Named (the sibling of GraphPredicate / PreimagePredicate) so the fibre is stable and inspectable rather than a lambda blackbox (#840).

Template Parameters

Rel	the relation.
T1	the point's carrier.

---

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

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