dedekind::order::ProductRestrict< P, RP > Struct Template Reference

The product's own membership conjoined with a relational restriction, so a bind over a restricted product keeps that membership and cannot admit pairs outside it (a full product contributes a trivially-true product). More...

Collaboration diagram for dedekind::order::ProductRestrict< P, RP >:

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename Pair> requires std::invocable<const P&, const Pair&> && std::invocable<const RP&, const Pair&>
constexpr bool	operator() (const Pair &p) const

Public Attributes
P	product
RP	rp

Detailed Description

template<typename P, typename RP>
struct dedekind::order::ProductRestrict< P, RP >

The product's own membership conjoined with a relational restriction, so a bind over a restricted product keeps that membership and cannot admit pairs outside it (a full product contributes a trivially-true product).

---

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

• src/main/modules/dedekind/order/halfspace.cppm