pRC::Contract< Is > Struct Template Reference

#include <contract.hpp>

Public Member Functions
template<class X > requires requires { contract<Is...>(declval<X>()); }
constexpr decltype(auto)	operator() (X &&a) const
template<class XA , class XB > requires requires { contract<Is...>(declval<XA>(), declval<XB>()); }
constexpr decltype(auto)	operator() (XA &&a, XB &&b) const

Member Function Documentation

operator()() [1/2]

template<Index... Is>

template<class X >
requires requires { contract<Is...>(declval<X>()); }

decltype(auto) pRC::Contract< Is >::operator() ( X && a ) const

inlineconstexpr

operator()() [2/2]

template<Index... Is>

template<class XA , class XB >
requires requires { contract<Is...>(declval<XA>(), declval<XB>()); }

decltype(auto) pRC::Contract< Is >::operator() ( XA && a, XB && b ) const

inlineconstexpr

---

The documentation for this struct was generated from the following file:

• pRC/prc/core/functors/contract.hpp