dedekind::category::JoinWith< P, S > Struct Template Reference

join_with(p), a set of words to its join with p on the window: the join curried in the set, an arrow between tensors, its exponential transpose (curry, :cartesian); each join the pullback along the window (IsPullback, :pullback). More...

Public Types
using	Domain = S
using	Codomain = WindowJoin<P, S>

Public Member Functions
constexpr Codomain	operator() (const S &s) const

Public Attributes
P	power

Detailed Description

template<typename P, typename S>
requires requires(const P& p, const S& s) { occurrences(p, s); }
struct dedekind::category::JoinWith< P, S >

join_with(p), a set of words to its join with p on the window: the join curried in the set, an arrow between tensors, its exponential transpose (curry, :cartesian); each join the pullback along the window (IsPullback, :pullback).

Template Parameters

P	the tensor power.
S	the sets.

---

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

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