dedekind::sequences::detail::IotaBounds< T > Struct Template Reference

The [start, bound) iota_view bounds a finite value set normalises to (shared between to_iota_view and from_iota_view): the Interval / Singleton / Empty kinds of a Interval, read off its value endpoints. An unbounded kind (Halfspace / Universe) has no finite range and yields the empty bounds; a per-arm overload will refuse it once the set is a coproduct (#970). More...

Collaboration diagram for dedekind::sequences::detail::IotaBounds< T >:

Public Attributes
T	start
T	bound

Detailed Description

template<std::integral T>
struct dedekind::sequences::detail::IotaBounds< T >

The [start, bound) iota_view bounds a finite value set normalises to (shared between to_iota_view and from_iota_view): the Interval / Singleton / Empty kinds of a Interval, read off its value endpoints. An unbounded kind (Halfspace / Universe) has no finite range and yields the empty bounds; a per-arm overload will refuse it once the set is a coproduct (#970).

Note

The representational corners the NTTP form forbade at compile time (lower-Strict at T's max, upper-NonStrict at T's max) are a precondition on the value now: iota's exclusive upper bound cannot encode "include max".

---

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

• src/main/modules/dedekind/sequences/ranges.cppm