Value concepts (details)
========================

.. contents:: Table of Contents
    :local:


.. _concept-details-Value:

Value
-----

.. cpp:concept:: template <typename Val> Value

    #. Refines the :cpp:concept:`template <typename SemiregVal> SemiregularValue` concept.

    **Possible implementation**

    .. code:: cpp
       
        template<typename Val>
        concept Value = SemiregularValue<Val>;


.. _concept-details-SemiregularValue:

SemiregularValue
----------------

.. cpp:concept:: template <typename SemiregVal> SemiregularValue

    #. Refines the :cpp:concept:`template <typename T> Semiregular` concept.

    **Notation**

    .. cpp:type::   SemiregValue
    .. cpp:var::    SemiregValue val
    .. cpp:var::    SemiregValue val_cpy
    .. cpp:var::    const SemiregValue cval

    **Valid Expressions**

    - :cpp:expr:`val()` returns an instance of :cpp:expr:`SemiregValue`.
    - :cpp:expr:`cval()` returns an instance of :cpp:expr:`const SemiregValue`.

    - :cpp:expr:`val_cpy(val)` returns an instance of :cpp:expr:`SemiregValue`.
    - :cpp:expr:`val_cpy(cval)` returns an instance of :cpp:expr:`SemiregValue`.
    - :cpp:expr:`val_cpy(move(val))` returns an instance of :cpp:expr:`SemiregValue`.

    - :cpp:expr:`val_cpy = val` returns an instance of :cpp:expr:`SemiregValue&`.
    - :cpp:expr:`val_cpy = cval` returns an instance of :cpp:expr:`SemiregValue&`.
    - :cpp:expr:`val_cpy = move(val)` returns an instance of :cpp:expr:`SemiregValue&`.

    **Possible implementation**

    .. code:: cpp
       
        template<typename SemiregVal>
        concept SemiregularValue = Semiregular<SemiregVal>;


.. _concept-details-RegularValue:

RegularValue
------------

.. cpp:concept:: template <typename RegVal> RegularValue

    #. Refines the :cpp:concept:`template <typename SemiregVal> SemiregularValue` concept.
    #. Refines the :cpp:concept:`template <typename T> Regular` concept.

    **Notation**

    .. cpp:var::    const RegVal lhs
    .. cpp:var::    const RegVal rhs

    **Valid Expressions**

    - :cpp:expr:`lhs == rhs` return-type models :cpp:concept:`template<typename B> Boolean`.
    - :cpp:expr:`lhs != rhs` return-type models :cpp:concept:`template<typename B> Boolean`.
    - :cpp:expr:`rhs == lhs` return-type models :cpp:concept:`template<typename B> Boolean`.
    - :cpp:expr:`rhs != lhs` return-type models :cpp:concept:`template<typename B> Boolean`.

    **Possible implementation**

    .. code:: cpp
       
        template<typename RegVal>
        concept RegularValue =  SemiregularValue<RegVal> &&
                                Regular<RegVal>;


.. _concept-details-StrictTotallyOrderedRegularValue:

StrictTotallyOrderedRegularValue
--------------------------------

.. cpp:concept:: template <typename STORegVal> StrictTotallyOrderedRegularValue

    #. Refines the :cpp:concept:`template <typename RegVal> RegularValue` concept.
    #. Refines the :cpp:concept:`template <typename T> StrictTotallyOrdered` concept.

    **Notation**

    .. cpp:var::    const STORegVal lhs
    .. cpp:var::    const STORegVal rhs

    **Valid Expressions**

    - :cpp:expr:`lhs < rhs` return-type models :cpp:concept:`template<typename B> Boolean`.
    - :cpp:expr:`lhs > rhs` return-type models :cpp:concept:`template<typename B> Boolean`.
    - :cpp:expr:`lhs <= rhs` return-type models :cpp:concept:`template<typename B> Boolean`.
    - :cpp:expr:`lhs >= rhs` return-type models :cpp:concept:`template<typename B> Boolean`.

    **Possible implementation**

    .. code:: cpp

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