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

Concept for compile-time type predicates.

This concept matches template types that can be evaluated at compile-time similarly to std::true_type/std::false_type, making it possible to use predicates provided by the standard library.

Template Parameters

P	Predicate template to check
T	Type to apply predicate to

Postcondition: True if P<T>::value is convertible to bool

static_assert(ct_type_predicate<std::is_integral, int>);

Definition at line 305 of file mp_utils.hpp.