capy::meta::t_trait Concept Reference

#include <Trait.hpp>

Concept definition

template<typename T, MetaArity HEAD_ARITY, MetaArity... TAIL_ARITIES>
concept capy::meta::t_trait =    MetaCallable<T>
    &&  implementation_details_::tagged_with<T, MetaCallableTag::TYPE_CALLABLE>
    &&  implementation_details_::of_arity<T, HEAD_ARITY>
    &&  (implementation_details_::of_arity<T, TAIL_ARITIES> && ...)