1 /* 2 * Copyright 2014 Google Inc. All rights reserved. 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #ifndef FRUIT_META_SIGNATURES_H 18 #define FRUIT_META_SIGNATURES_H 19 20 #include <fruit/impl/meta/basics.h> 21 #include <fruit/impl/meta/vector.h> 22 23 namespace fruit { 24 namespace impl { 25 namespace meta { 26 27 // Similar to ConsSignature, but takes a Vector of args instead of individual args. 28 struct ConsSignatureWithVector { 29 template <typename ReturnType, typename ArgVector> 30 struct apply; 31 32 template <typename ReturnType, typename... Args> 33 struct apply<Type<ReturnType>, Vector<Type<Args>...>> { 34 using type = Type<ReturnType(Args...)>; 35 }; 36 }; 37 38 struct SignatureType { 39 template <typename Signature> 40 struct apply; 41 42 template <typename T, typename... Types> 43 struct apply<Type<T(Types...)>> { 44 using type = Type<T>; 45 }; 46 }; 47 48 struct SignatureArgs { 49 template <typename Signature> 50 struct apply; 51 52 template <typename T, typename... Types> 53 struct apply<Type<T(Types...)>> { 54 using type = Vector<Type<Types>...>; 55 }; 56 }; 57 58 struct IsSignature { 59 template <typename Signature> 60 struct apply { 61 using type = Bool<false>; 62 }; 63 64 template <typename C, typename... Args> 65 struct apply<Type<C(Args...)>> { 66 using type = Bool<true>; 67 }; 68 }; 69 70 } // namespace meta 71 } // namespace impl 72 } // namespace fruit 73 74 #endif // FRUIT_META_SIGNATURES_H 75