Lines Matching refs:Constraints
171 typename Constraints,template <typename...> class Template,
178 typename Constraints,template <typename...> class Template,
181 struct instantiate_with_class<Constraints,Template,type_list<Us...>>
185 typename Constraints,template <typename...> class Template,
190 Constraints,Template,type_list<Us...>,T,Ts...
192 Constraints,Template,
194 Constraints::template apply<T>::value,
202 typename Constraints,template <typename...> class Template,
206 Constraints,Template,type_list<>,Ts...
219 template<typename Constraints,typename... Ts>
222 template<typename Constraints,typename T,typename... Ts>
223 struct first_of_class<Constraints,T,Ts...>:std::conditional<
224 Constraints::template apply<T>::value,
226 first_of_class<Constraints,Ts...>
229 template<typename Constraints,typename... Ts>
230 using first_of=typename first_of_class<Constraints,Ts...>::type;
233 typename Constraints,typename... Ts,
240 (Constraints::template apply<Ts>::value? in fill()