Expand description
Variant for Partially ordered domains that panics on incomparibility.
Structs
A piecewise function internally backed by
VecsTraits
A piecewise function given by
╭ f₁(x) if x < x₀
│ f₂(x) if x₀ ≤ x < x₁
f(x) = ┤ f₃(x) if x₁ ≤ x < x₂
│ ⋮ ⋮
╰ fₙ(x) if xₙ ≤ x
for all x ∈ X where
f₁,…,fₙ : X -> Y, and
x₀ < x₁ < … < xₙ
from some strictly partially ordered set X (so X is
PartialOrd). Note that the fᵢ are not
necessarily distinct. Panics if two x aren’t comparable.