Stroika::Foundation::Traversal::IRangeableTraits Concept Reference

#include <Range.h>

Concept definition

template<typename TRAITS, typename T>
concept Stroika::Foundation::Traversal::IRangeableTraits =  requires (T, TRAITS) {
        typename TRAITS::SignedDifferenceType;
        typename TRAITS::UnsignedDifferenceType;
        { TRAITS::kLowerBound } -> convertible_to<T>;
        { TRAITS::kUpperBound } -> convertible_to<T>;
        { TRAITS::kLowerBoundOpenness } -> convertible_to<Openness>;
        { TRAITS::kUpperBoundOpenness } -> convertible_to<Openness>;
    }

Detailed Description

Legal TRAITS object for Range template.

Definition at line 239 of file Range.h.