bda056b18ec2fdfe1621c8421ec6bf81392d2df9
[platform/upstream/boost.git] / boost / fusion / algorithm / transformation / push_front.hpp
1 /*=============================================================================
2     Copyright (c) 2001-2011 Joel de Guzman
3
4     Distributed under the Boost Software License, Version 1.0. (See accompanying 
5     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 ==============================================================================*/
7 #if !defined(FUSION_PUSH_FRONT_07162005_0749)
8 #define FUSION_PUSH_FRONT_07162005_0749
9
10 #include <boost/fusion/support/config.hpp>
11 #include <boost/fusion/support/detail/as_fusion_element.hpp>
12 #include <boost/fusion/view/joint_view/joint_view.hpp>
13 #include <boost/fusion/view/single_view/single_view.hpp>
14 #include <boost/fusion/support/is_sequence.hpp>
15 #include <boost/utility/enable_if.hpp>
16
17 namespace boost { namespace fusion
18 {
19     namespace result_of
20     {
21         template <typename Sequence, typename T>
22         struct push_front
23         {
24             typedef fusion::single_view<typename detail::as_fusion_element<T>::type> single_view;
25             typedef joint_view<single_view const, Sequence> type;
26         };
27     }
28
29     template <typename Sequence, typename T>
30     BOOST_FUSION_GPU_ENABLED
31     inline 
32     typename
33         lazy_enable_if<
34             traits::is_sequence<Sequence>
35           , result_of::push_front<Sequence const, T>
36         >::type
37     push_front(Sequence const& seq, T const& x)
38     {
39         typedef typename result_of::push_front<Sequence const, T> push_front;
40         typedef typename push_front::single_view single_view; 
41         typedef typename push_front::type result; 
42         single_view x_(x);
43         return result(x_, seq);
44     }
45 }}
46
47 #endif
48