malloy::concepts::detail::sats_pred Concept Reference

Helper concept to transform a predicate into a concept. More...

#include <type_traits.hpp>

Concept definition

template<typename T, template< typename > typename Pred>
concept malloy::concepts::detail::sats_pred =  static_cast<bool>(Pred<T>::value)

Detailed Description

Helper concept to transform a predicate into a concept.

Template Parameters

T	Type to pass to the predicate
Pred	Predicate to use. Must have a compile-time accessible field value which can be cast to bool