require_helpers.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_META_REQUIRE_HELPERS_HPP
#define STAN_MATH_PRIM_META_REQUIRE_HELPERS_HPP
 
#include <stan/math/prim/meta/conjunction.hpp>
#include <stan/math/prim/meta/disjunction.hpp>
#include <stan/math/prim/meta/bool_constant.hpp>
#include <stan/math/prim/meta/scalar_type.hpp>
#include <stan/math/prim/meta/value_type.hpp>
 
#include <type_traits>
 
namespace stan {
 
template <class Check>
using require_t = std::enable_if_t<Check::value>;
 
template <typename Check>
using require_not_t = std::enable_if_t<!Check::value>;
 
template <class... Checks>
using require_all_t = std::enable_if_t<math::conjunction<Checks...>::value>;
 
template <class... Checks>
using require_any_t = std::enable_if_t<math::disjunction<Checks...>::value>;
 
template <class... Checks>
using require_all_not_t
    = std::enable_if_t<!math::disjunction<Checks...>::value>;
 
template <class... Checks>
using require_any_not_t
    = std::enable_if_t<!math::conjunction<Checks...>::value>;
 
template <template <class...> class ContainerCheck,
          template <class...> class ValueCheck,
          template <class...> class TypeCheck, class... Check>
using container_type_check_base
    = bool_constant<math::conjunction<ContainerCheck<std::decay_t<Check>>...,
                                      TypeCheck<ValueCheck<Check>>...>::value>;
 
}  // namespace stan
 
#endif