Checked Value Types

Types for holding checked valid values. More...

Typedefs
template<class T >
using	playrho::detail::DefaultCheckedValue = Checked< T >
	Default checked value type. More...
template<typename T >
using	playrho::Finite = detail::Checked< T, detail::FiniteChecker< T > >
	Finite constrained value type.
template<typename T >
using	playrho::FiniteFF = detail::Checked< T, detail::FiniteChecker< T >, true >
	Fast failing finite constrained value type.
template<typename T >
using	playrho::Negative = detail::Checked< T, detail::NegativeChecker< T > >
	Negative constrained value type.
template<typename T >
using	playrho::NegativeFF = detail::Checked< T, detail::NegativeChecker< T >, true >
	Fast failing negative constrained value type.
template<typename T >
using	playrho::NonNegative = detail::Checked< T, detail::NonNegativeChecker< T > >
	Non-negative constrained value type.
template<typename T >
using	playrho::NonNegativeFF = detail::Checked< T, detail::NonNegativeChecker< T >, true >
	Fast failing non-negative constrained value type.
template<typename T >
using	playrho::NonNull = std::enable_if_t< std::is_pointer_v< T >, detail::Checked< T, detail::NonZeroChecker< T > >>
	Non-null constrained value type.
template<typename T >
using	playrho::NonNullFF = std::enable_if_t< std::is_pointer_v< T >, detail::Checked< T, detail::NonZeroChecker< T >, true > >
	Fast failing non-null constrained value type.
template<typename T >
using	playrho::NonPositive = detail::Checked< T, detail::NonPositiveChecker< T > >
	Non-positive constrained value type.
template<typename T >
using	playrho::NonPositiveFF = detail::Checked< T, detail::NonPositiveChecker< T >, true >
	Fast failing non-positive constrained value type.
template<typename T >
using	playrho::NonZero = std::enable_if_t<!std::is_pointer_v< T >, detail::Checked< T, detail::NonZeroChecker< T > >>
	Non-zero constrained value type.
template<typename T >
using	playrho::NonZeroFF = std::enable_if_t<!std::is_pointer_v< T >, detail::Checked< T, detail::NonZeroChecker< T >, true > >
	Fast failing non-zero constrained value type.
template<typename T >
using	playrho::Positive = detail::Checked< T, detail::PositiveChecker< T > >
	Positive constrained value type.
template<typename T >
using	playrho::PositiveFF = detail::Checked< T, detail::PositiveChecker< T >, true >
	Fast failing positive constrained value type.
template<typename T >
using	playrho::UnitInterval = detail::Checked< T, detail::UnitIntervalChecker< T > >
	Unit interval constrained value type.
template<typename T >
using	playrho::UnitIntervalFF = detail::Checked< T, detail::UnitIntervalChecker< T >, true >
	Fast failing unit interval constrained value type.
template<typename T >
using	playrho::ZeroToUnderOne = detail::Checked< T, detail::ZeroToUnderOneChecker< T > >
	Unit interval constrained value type.
template<typename T >
using	playrho::ZeroToUnderOneFF = detail::Checked< T, detail::ZeroToUnderOneChecker< T >, true >
	Fast failing unit interval constrained value type.

Detailed Description

Types for holding checked valid values.

Type aliases for checked values via on-construction checks that may throw an exception if an attempt is made to construct the checked value type with a value not allowed by the specific alias.

See also

Checked

Typedef Documentation

DefaultCheckedValue

template<class T >

using playrho::detail::DefaultCheckedValue = typedef Checked<T>

Default checked value type.

A checked value type using the default checker type.

Note

This is basically a no-op for base line testing and demonstration purposes.