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_IMMUTABLE_SET_H 18 #define FRUIT_META_IMMUTABLE_SET_H 19 20 #include <fruit/impl/fruit_assert.h> 21 #include <fruit/impl/meta/basics.h> 22 #include <fruit/impl/meta/vector.h> 23 24 namespace fruit { 25 namespace impl { 26 namespace meta { 27 28 // ImmutableSet ::= ConsImmutableSet<Ts...> 29 30 template <typename... Ts> 31 struct ConsImmutableSet : public Ts... {}; 32 33 struct VectorToImmutableSet { 34 template <typename V> 35 struct apply; 36 37 template <typename... Ts> 38 struct apply<Vector<Ts...>> { 39 using type = ConsImmutableSet<Ts...>; 40 }; 41 }; 42 43 struct IsInImmutableSet { 44 template <typename S, typename T> 45 struct apply { 46 using type = Bool<std::is_base_of<T, S>::value>; 47 }; 48 }; 49 50 struct SizeOfImmutableSet { 51 template <typename IS> 52 struct apply; 53 54 template <typename... Ts> 55 struct apply<ConsImmutableSet<Ts...>> { 56 using type = Int<sizeof...(Ts)>; 57 }; 58 }; 59 60 } // namespace meta 61 } // namespace impl 62 } // namespace fruit 63 64 #endif // FRUIT_META_IMMUTABLE_SET_H 65