Matches template types that can be evaluated at compile-time similarly to std::true/false_type This makes possible to use predicates provided by the standard. More...

#include <mp_utils.hpp>

Concept definition

template<template< class > class P, class T>
concept sparrow::mpl::ct_type_predicate =  requires {
    { P<T>::value } -> std::convertible_to<bool>;
}

Detailed Description

Matches template types that can be evaluated at compile-time similarly to std::true/false_type This makes possible to use predicates provided by the standard.

Definition at line 147 of file mp_utils.hpp.