Value concepts (details)¶

Table of Contents

Value
SemiregularValue
RegularValue
StrictTotallyOrderedRegularValue

Value ¶

template<typename Val> concept Value¶

Refines the template <typename SemiregVal> SemiregularValue concept.

Possible implementation

template<typename Val>
concept Value = SemiregularValue<Val>;

SemiregularValue ¶

template<typename SemiregVal> concept SemiregularValue¶

Refines the template <typename T> Semiregular concept.

Notation

type SemiregValue¶

SemiregValue val¶

SemiregValue val_cpy¶

const SemiregValue cval¶

Valid Expressions

val() returns an instance of SemiregValue.
cval() returns an instance of const SemiregValue.
val_cpy(val) returns an instance of SemiregValue.
val_cpy(cval) returns an instance of SemiregValue.
val_cpy(move(val)) returns an instance of SemiregValue.
val_cpy = val returns an instance of SemiregValue&.
val_cpy = cval returns an instance of SemiregValue&.
val_cpy = move(val) returns an instance of SemiregValue&.

Possible implementation

template<typename SemiregVal>
concept SemiregularValue = Semiregular<SemiregVal>;

RegularValue ¶

template<typename RegVal> concept RegularValue¶

Refines the template <typename SemiregVal> SemiregularValue concept.
Refines the template <typename T> Regular concept.

Notation

const RegVal lhs¶

const RegVal rhs¶

Valid Expressions

lhs == rhs return-type models template<typename B> Boolean.
lhs != rhs return-type models template<typename B> Boolean.
rhs == lhs return-type models template<typename B> Boolean.
rhs != lhs return-type models template<typename B> Boolean.

Possible implementation

template<typename RegVal>
concept RegularValue =  SemiregularValue<RegVal> &&
                        Regular<RegVal>;

StrictTotallyOrderedRegularValue ¶

template<typename STORegVal> concept StrictTotallyOrderedRegularValue¶

Refines the template <typename RegVal> RegularValue concept.
Refines the template <typename T> StrictTotallyOrdered concept.

Notation

const STORegVal lhs¶

const STORegVal rhs¶

Valid Expressions

lhs < rhs return-type models template<typename B> Boolean.
lhs > rhs return-type models template<typename B> Boolean.
lhs <= rhs return-type models template<typename B> Boolean.
lhs >= rhs return-type models template<typename B> Boolean.

Possible implementation

template<typename STORegVal>
concept RegularValue =  RegularValue<STORegVal> &&
                        StrictTotallyOrdered<STORegVal>;