χ(x): the value of the last step at or before x. More...

Classes
struct	And
	The species' operations as named functions on `L::Ω`. More...
struct	Or
struct	Rfl
struct	Iff
	`a` ⇔ `b` in the species: both, or neither. More...
struct	LiftInto
	A value lifted along the dominance into the species `J`. More...
struct	AtLeast
	Whether a value reaches a level, and whether it is the level: the α-cut and the fibre, pointwise. More...
struct	EqualTo
struct	MapValue
	A step with its value mapped into the species `L2`. More...
struct	SameValue
	Two steps with one value; the first step of a chunk; a step at a given value: the parts of dropping repeats. More...
struct	Front
struct	ValueIs
struct	ToItself
	An element as the step to its own value: χ = id. More...
struct	NotPast
	A step at or before `x:` its position is not past `x`. More...
struct	LastValue
	The value of the later step: a fold that keeps the last one. More...
struct	FoldPieces
	The species' fold of the values over the carrier's own pieces: a step before every element sets the first value, one after every element ends the fold. More...
struct	NotAfterAll
	A step inside or below the carrier: the fold ends at the first one above every element. More...
struct	Closed
	A piece of a discrete chain with ends, read closed: a canonical start is just below its first element, an end just below the element after its last; an absent side at the carrier's end. More...
struct	ToStep
	A breakpoint of a map as a step. More...
struct	MapSteps
	A sorted map of breakpoints as a source. More...

Functions
template<typename Op, IsStepSource S> requires std::invocable<const Op&, typename S::logic_species::Ω, typename S::logic_species::Ω>
constexpr auto	fold_over_carrier (const S &s, Op op)

Detailed Description

χ(x): the value of the last step at or before x.

Classes