capy::meta::v_trait Concept Reference

#include <Trait.hpp>

Concept definition

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