dedekind::sequences::halfspace_iota_witness Namespace Reference

Enumerations
enum class	Strictness
	Whether the boundary is strict (>, <) or inclusive (>=, <=).

Variables
constexpr auto	oi
constexpr auto	back

Detailed Description

ranges__Halfspace_Iota_Round_Trip

The iso witness: a value-level round-trip on a representative Interval value pins that from_iota_view ∘ to_iota_view is the identity on it; from_iota_view is total, so there is no mismatch case (the empty view round-trips to the empty interval).

Variable Documentation

back

auto dedekind::sequences::halfspace_iota_witness::back

constexpr

Initial value:

=
    from_iota_view<Strictness::NonStrict, Strictness::Strict>(to_iota_view(oi))

oi

auto dedekind::sequences::halfspace_iota_witness::oi

constexpr

Initial value:

= dedekind::order::Interval<int>::bounded(
    3, Strictness::NonStrict, 8, Strictness::Strict)