contract.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_FUNCTORS_CONTRACT_H
#define pRC_CORE_FUNCTORS_CONTRACT_H
 
#include <prc/core/basic/basics.hpp>
 
namespace pRC
{
    template<Index... Is>
    struct Contract
    {
        template<class X>
            requires requires { contract<Is...>(declval<X>()); }
        constexpr decltype(auto) operator()(X &&a) const
        {
            return contract<Is...>(forward<X>(a));
        }
 
        template<class XA, class XB>
            requires requires { contract<Is...>(declval<XA>(), declval<XB>()); }
        constexpr decltype(auto) operator()(XA &&a, XB &&b) const
        {
            return contract<Is...>(forward<XA>(a), forward<XB>(b));
        }
    };
}
#endif // pRC_CORE_FUNCTORS_CONTRACT_H