infix.hpp

Go to the documentation of this file.

 
#pragma once
#include <functional> // std::invoke
#include <mpc/stdfundamental.hpp>
 
// clang-format off
 
namespace mpc {
  template<class A1, class Op, class A2>
  constexpr auto infixr(A1&& a1, Op&& op, A2&& a2)
  noexcept(noexcept(std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2))))
  -> decltype(      std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)))
  { return          std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)); }
 
  template<class A1, class Op, class... Args>
  constexpr auto infixr(A1&& a1, Op&& op, Args&&... args)
  noexcept(noexcept(std::invoke(std::forward<Op>(op), std::forward<A1>(a1), infixr(std::forward<Args>(args)...))))
  -> decltype(      std::invoke(std::forward<Op>(op), std::forward<A1>(a1), infixr(std::forward<Args>(args)...)))
  { return          std::invoke(std::forward<Op>(op), std::forward<A1>(a1), infixr(std::forward<Args>(args)...)); }
 
  template<class A1, class Op, class A2>
  constexpr auto infixl(A1&& a1, Op&& op, A2&& a2)
  noexcept(noexcept(std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2))))
  -> decltype(      std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)))
  { return          std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)); }
 
  template<class A1, class Op, class A2, class... Args>
  constexpr auto infixl(A1&& a1, Op&& op, A2&& a2, Args&&... args)
  noexcept(noexcept(infixl(std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)), std::forward<Args>(args)...)))
  -> decltype(      infixl(std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)), std::forward<Args>(args)...))
  { return          infixl(std::invoke(std::forward<Op>(op), std::forward<A1>(a1), std::forward<A2>(a2)), std::forward<Args>(args)...); }
} // namespace mpc
 
// clang-format on