#ifndef STAN_MATH_PRIM_META_IS_ARENA_MATRIX_HPP
#define STAN_MATH_PRIM_META_IS_ARENA_MATRIX_HPP

#include <stan/math/prim/meta/require_helpers.hpp>
#include <type_traits>

namespace stan {
/** \ingroup type_trait
 * Defines a static member named value which is defined to be true
 * if the type is `arena_matrix<T>`
 */
template <typename T, typename = void>
struct is_arena_matrix : std::false_type {};

/*! \ingroup require_eigen_types */
/*! \defgroup arena_matrix_types arena_matrix  */
/*! \addtogroup arena_matrix_types */
/*! @{ */

/*! \brief Require type satisfies @ref is_arena_matrix */
/*! @tparam T the type to check */
template <typename T>
using require_arena_matrix_t = require_t<is_arena_matrix<std::decay_t<T>>>;
/*! @} */

/*! \ingroup require_eigen_types */
/*! \defgroup arena_matrix_types arena_matrix  */
/*! \addtogroup arena_matrix_types */
/*! @{ */

/*! \brief Require type does not satisfy @ref is_arena_matrix */
/*! @tparam T the type to check */
template <typename T>
using require_not_arena_matrix_t
    = require_t<bool_constant<!is_arena_matrix<std::decay_t<T>>::value>>;
/*! @} */

}  // namespace stan
#endif
