dedekind::category::Where< P > Struct Template Reference

where(p), SQL's WHERE: the Kleisli arrow into Maybe that keeps an element where p holds, a hole where it does not. The walk keeps its length, so a filtered chain is a chain in the same order. More...

Collaboration diagram for dedekind::category::Where< P >:

Public Types
using	Domain = Dom<P>
using	Codomain = Maybe<Dom<P>>

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

Public Attributes
P	p

Detailed Description

template<IsArrow P>
requires std::same_as<Cod<P>, bool>
struct dedekind::category::Where< P >

where(p), SQL's WHERE: the Kleisli arrow into Maybe that keeps an element where p holds, a hole where it does not. The walk keeps its length, so a filtered chain is a chain in the same order.

Template Parameters

P	the predicate.

---

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

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