Namespace constraints

Description

No description yet.

Namespaces

detail\exclude

Classes

boundedA Constraint for the ts::constrained_type.
dynamic_boundTag type to enable a dynamic bound.
non_defaultA Constraint for the ts::constrained_type.
non_emptyA Constraint for the ts::constrained_type.
non_invalidA Constraint for the ts::constrained_type.
non_nullA Constraint for the ts::constrained_type.
ownerA Constraint for the ts::tagged_type.

Functions

TYPE_SAFE_DETAIL_MAKE overloadA Constraint for the ts::constrained_type.
TYPE_SAFE_DETAIL_MAKE overload\exclude

Typedefs

Typedefs (bounded_type.hpp)

template <typename T, typename LowerBound = dynamic_bound, typename UpperBound = dynamic_bound>
using open_interval = bounded< T, open, open, LowerBound, UpperBound >

A Constraint for the [ts::constrained_type]().

A value is valid if it is between two given bounds but not the bounds themselves.

template <typename T, typename LowerBound = dynamic_bound, typename UpperBound = dynamic_bound>
using closed_interval = bounded< T, closed, closed, LowerBound, UpperBound >

A Constraint for the [ts::constrained_type]().

A value is valid if it is between two given bounds or the bounds themselves.

Variables

Variables (bounded_type.hpp)

constexpr bool open = false

Tag objects to specify bounds for [ts::constraints::bounded](). \group open_closed Open/Closed Tags

constexpr bool closed = true

\group open_closed

Source

Line 16 in include/type_safe/bounded_type.hpp.






Add Discussion as Guest

Log in