Malloy
Loading...
Searching...
No Matches
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)
Helper concept to transform a predicate into a concept.
Definition: type_traits.hpp:67

Detailed Description

Helper concept to transform a predicate into a concept.

Template Parameters
TType to pass to the predicate
PredPredicate to use. Must have a compile-time accessible field value which can be cast to bool