annotate DEPENDENCIES/generic/include/boost/fusion/sequence/intrinsic/empty.hpp @ 16:2665513ce2d3

Add boost headers
author Chris Cannam
date Tue, 05 Aug 2014 11:11:38 +0100
parents
children c530137014c0
rev   line source
Chris@16 1 /*=============================================================================
Chris@16 2 Copyright (c) 2001-2011 Joel de Guzman
Chris@16 3
Chris@16 4 Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16 5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16 6 ==============================================================================*/
Chris@16 7 #if !defined(FUSION_EMPTY_09162005_0335)
Chris@16 8 #define FUSION_EMPTY_09162005_0335
Chris@16 9
Chris@16 10 #include <boost/fusion/sequence/intrinsic_fwd.hpp>
Chris@16 11 #include <boost/fusion/sequence/intrinsic/size.hpp>
Chris@16 12 #include <boost/mpl/bool.hpp>
Chris@16 13 #include <boost/fusion/support/tag_of.hpp>
Chris@16 14
Chris@16 15 namespace boost { namespace fusion
Chris@16 16 {
Chris@16 17 // Special tags:
Chris@16 18 struct sequence_facade_tag;
Chris@16 19 struct mpl_sequence_tag; // mpl sequence tag
Chris@16 20
Chris@16 21 namespace extension
Chris@16 22 {
Chris@16 23 template <typename Tag>
Chris@16 24 struct empty_impl
Chris@16 25 {
Chris@16 26 template <typename Sequence>
Chris@16 27 struct apply
Chris@16 28 : mpl::bool_<(result_of::size<Sequence>::value == 0)>
Chris@16 29 {};
Chris@16 30 };
Chris@16 31
Chris@16 32 template <>
Chris@16 33 struct empty_impl<sequence_facade_tag>
Chris@16 34 {
Chris@16 35 template <typename Sequence>
Chris@16 36 struct apply : Sequence::template empty<Sequence> {};
Chris@16 37 };
Chris@16 38
Chris@16 39 template <>
Chris@16 40 struct empty_impl<mpl_sequence_tag>;
Chris@16 41 }
Chris@16 42
Chris@16 43 namespace result_of
Chris@16 44 {
Chris@16 45 template <typename Sequence>
Chris@16 46 struct empty
Chris@16 47 : extension::empty_impl<typename detail::tag_of<Sequence>::type>::
Chris@16 48 template apply<Sequence>
Chris@16 49 {};
Chris@16 50 }
Chris@16 51
Chris@16 52 template <typename Sequence>
Chris@16 53 inline typename result_of::empty<Sequence>::type
Chris@16 54 empty(Sequence const&)
Chris@16 55 {
Chris@16 56 typedef typename result_of::empty<Sequence>::type result;
Chris@16 57 return result();
Chris@16 58 }
Chris@16 59 }}
Chris@16 60
Chris@16 61 #endif