|
|
Boost-Commit : |
Subject: [Boost-commit] svn:boost r64561 - in sandbox/variadic_templates/sandbox/boost/mpl: . aux_
From: cppljevans_at_[hidden]
Date: 2010-08-03 07:24:32
Author: cppljevans
Date: 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
New Revision: 64561
URL: http://svn.boost.org/trac/boost/changeset/64561
Log:
mv all *v.hpp and variadic logicals out of vt sandbox
Removed:
sandbox/variadic_templates/sandbox/boost/mpl/and.hpp
sandbox/variadic_templates/sandbox/boost/mpl/aux_/template_arityv.hpp
sandbox/variadic_templates/sandbox/boost/mpl/bindv.hpp
sandbox/variadic_templates/sandbox/boost/mpl/lambdav.hpp
sandbox/variadic_templates/sandbox/boost/mpl/or.hpp
sandbox/variadic_templates/sandbox/boost/mpl/quotev.hpp
Deleted: sandbox/variadic_templates/sandbox/boost/mpl/and.hpp
==============================================================================
--- sandbox/variadic_templates/sandbox/boost/mpl/and.hpp 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
+++ (empty file)
@@ -1,28 +0,0 @@
-#ifndef BOOST_MPL_AND_HPP_INCLUDED
-#define BOOST_MPL_AND_HPP_INCLUDED
-
-#include <boost/mpl/fold_null_unit.hpp>
-#include <boost/mpl/converter_bool.hpp>
-#include <boost/mpl/aux_/template_arityv.hpp>
-
-namespace boost
-{
-namespace mpl
-{
-
- template
- < typename... T
- >
- struct and_
- : fold_null_unit
- < false_
- , true_
- , converter_bool
- , T...
- >
- {
- };
-
-}//exit mpl namespace
-}//exit boost namespace
-#endif
Deleted: sandbox/variadic_templates/sandbox/boost/mpl/aux_/template_arityv.hpp
==============================================================================
--- sandbox/variadic_templates/sandbox/boost/mpl/aux_/template_arityv.hpp 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
+++ (empty file)
@@ -1,20 +0,0 @@
-
-#ifndef BOOST_MPL_AUX_TEMPLATE_ARITYV_HPP_INCLUDED
-#define BOOST_MPL_AUX_TEMPLATE_ARITYV_HPP_INCLUDED
-
-namespace boost { namespace mpl { namespace aux {
-
-template
-< template<typename...>class F
-, typename... T
->
-struct template_arity
-< F<T...>
->
-: int_ <sizeof...(T)>
-{
-};
-
-}}}
-
-#endif // BOOST_MPL_AUX_TEMPLATE_ARITYV_HPP_INCLUDED
Deleted: sandbox/variadic_templates/sandbox/boost/mpl/bindv.hpp
==============================================================================
--- sandbox/variadic_templates/sandbox/boost/mpl/bindv.hpp 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
+++ (empty file)
@@ -1,195 +0,0 @@
-//variadic version of bind.hpp
-#ifndef BOOST_MPL_BINDV_HPP_INCLUDED
-#define BOOST_MPL_BINDV_HPP_INCLUDED
-#include <boost/mpl/bind.hpp>
-#include <boost/mpl/package.hpp>
-#include <boost/mpl/fold_assoc_pack.hpp>
-#include <boost/mpl/apply_pack.hpp>
-#include <boost/mpl/join_pack.hpp>
-#include <boost/mpl/repeat.hpp>
-#include <boost/mpl/at.hpp>
-
-namespace boost
-{
- namespace mpl
- {
- template
- < typename F
- , typename... T
- >
- struct bindv
- ;
-
- namespace aux
- {
- template
- < typename T
- , typename U
- >
- struct resolve_bind_argn
- ;
- template
- < typename T
- , typename... U
- >
- struct resolve_bind_argn
- < T
- , package<U...>
- >
- : resolve_bind_arg
- < T
- #define RESOLVE_BIND_ARG_AT_C_US(z,n,data) , typename at_c<package<U...>,n>::type
- BOOST_PP_REPEAT(BOOST_MPL_LIMIT_METAFUNCTION_ARITY,RESOLVE_BIND_ARG_AT_C_US,~)
- #undef RESOLVE_BIND_ARG_AT_C_US
- >
- {};
-
- template
- < typename T
- , typename... U
- >
- struct resolve_bind_argv
- : resolve_bind_argn
- < T
- , typename join_pack
- < package<U...>
- , typename repeat
- < na
- , BOOST_MPL_LIMIT_METAFUNCTION_ARITY - sizeof...(U)
- >::type
- >::type
- >
- {
- };
- template
- < int N
- , typename... U
- >
- struct resolve_bind_argv
- < arg < N >
- , U...
- >
- {
- typedef
- typename apply_wrap
- < mpl::arg < N >
- , U...
- >::type
- type;
- };
-
- template
- < typename F
- , typename... T
- , typename... U
- >
- struct resolve_bind_argv
- < bindv< F, T... >
- , U...
- >
- {
- typedef bindv< F, T...> f_;
- typedef typename apply_wrap < f_, U...>::type type;
- };
-
- template
- < typename... U
- >
- struct resolve_bind
- {
- template
- < typename NTs
- , typename A
- >
- struct op
- ;
- template
- < typename N
- , typename... T
- , typename A
- >
- struct op
- < package<N,T...>
- , A
- >
- {
- typedef aux::replace_unnamed_arg < A, N> r;
- typedef typename r::type a;
- typedef typename r::next n;
- typedef
- typename resolve_bind_argv
- < a
- , U...
- >::type
- t;
-
- typedef package<n,T...,t> type;
- };
- };
- }
-
- template
- < typename F
- , typename... T
- >
- struct bindv
- {
- template
- < typename... U
- >
- struct apply
- {
- #if 0
- private:
- #endif
- typedef
- aux::resolve_bind<U...>
- resolve_bind_us
- ;
- typedef
- typename fold_assoc_pack
- < assoc_left
- , resolve_bind_us::template op
- , package<mpl::arg<1> >
- , F,T...
- >::type
- resolveds
- ;
- typedef
- typename pop_front<resolveds>::type
- fts
- ;
- typedef
- typename front<fts>::type
- f_
- ;
- typedef
- typename pop_front<fts>::type
- ts
- ;
- template
- < typename... V
- >
- struct apply_wrap_f
- : apply_wrap
- < f_
- , typename V::type...
- >
- {};
- public:
- typedef
- typename
- apply_pack
- < ts
- , apply_wrap_f
- >
- ::type
- type;
- };
-
- };
-
- }//exit mpl namespace
-}//exit boost namespace
-
-#endif
Deleted: sandbox/variadic_templates/sandbox/boost/mpl/lambdav.hpp
==============================================================================
--- sandbox/variadic_templates/sandbox/boost/mpl/lambdav.hpp 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
+++ (empty file)
@@ -1,95 +0,0 @@
-//variadic version of lambda.hpp
-#ifndef BOOST_MPL_LAMBDAV_HPP_INCLUDED
-#define BOOST_MPL_LAMBDAV_HPP_INCLUDED
-#include <boost/mpl/lambda.hpp>
-#include <boost/mpl/transform_pack.hpp>
-#include <boost/mpl/apply_pack.hpp>
-#include <boost/mpl/or.hpp>
-#include <boost/mpl/quotev.hpp>
-#include <boost/mpl/bindv.hpp>
-
-namespace boost
-{
- namespace mpl
- {
- namespace aux
- {
- template
- < typename LeMaybe
- >
- struct is_le
- {
- typedef typename LeMaybe::is_le type;
- };
-
- template
- < typename IsLE
- , typename Tag
- , template < typename... P> class F
- >
- struct le_resultv
- {
- template
- < typename... L
- >
- struct _
- {
- typedef F < typename L::type...> result_;
-
- typedef result_ type;
- };
- };
-
- template
- < typename Tag
- , template < typename... P> class F
- >
- struct le_resultv
- < true_
- , Tag
- , F
- >
- {
- template
- < typename... L
- >
- struct _
- {
- typedef bindv < quotev< F, Tag >, typename L::result_...> result_;
-
- typedef mpl::protect < result_ > type;
- };
- };
- }
-
- template
- < template < typename... P > class F
- , typename... T
- , typename Tag
- >
- struct lambda
- < F< T... >
- , Tag
- , int_<sizeof...(T)>
- >
- {
- typedef package<lambda < T, Tag >...> ls;
- typedef typename transform_pack<ls, aux::is_le<arg<1> > >::type is_les;
-
- typedef typename apply_pack<is_les, or_>::type is_le;
-
- typedef
- apply_pack
- < ls
- , aux::le_resultv < is_le, Tag, F>::template _
- >
- le_result_;
-
- typedef typename le_result_::result_ result_;
- typedef typename le_result_::type type;
- };
-
- }//exit mpl namespace
-}//exit boost namespace
-
-#endif
Deleted: sandbox/variadic_templates/sandbox/boost/mpl/or.hpp
==============================================================================
--- sandbox/variadic_templates/sandbox/boost/mpl/or.hpp 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
+++ (empty file)
@@ -1,28 +0,0 @@
-#ifndef BOOST_MPL_OR_HPP_INCLUDED
-#define BOOST_MPL_OR_HPP_INCLUDED
-
-#include <boost/mpl/fold_null_unit.hpp>
-#include <boost/mpl/converter_bool.hpp>
-#include <boost/mpl/aux_/template_arityv.hpp>
-
-namespace boost
-{
-namespace mpl
-{
-
- template
- < typename... T
- >
- struct or_
- : fold_null_unit
- < true_
- , false_
- , converter_bool
- , T...
- >
- {
- };
-
-}//exit mpl namespace
-}//exit boost namespace
-#endif
Deleted: sandbox/variadic_templates/sandbox/boost/mpl/quotev.hpp
==============================================================================
--- sandbox/variadic_templates/sandbox/boost/mpl/quotev.hpp 2010-08-03 07:24:29 EDT (Tue, 03 Aug 2010)
+++ (empty file)
@@ -1,26 +0,0 @@
-//variadic version of quote.hpp
-#ifndef BOOST_MPL_QUOTEV_HPP_INCLUDED
-#define BOOST_MPL_QUOTEV_HPP_INCLUDED
-#include <boost/mpl/void.hpp>
-#include <boost/mpl/quote.hpp>
-
-namespace boost
-{
- namespace mpl
- {
- template
- < template < typename... P> class F
- , typename Tag = void_
- >
- struct quotev
- {
- template < typename... U > struct apply
- : quote_impl < F < U... >, aux::has_type < F < U... > >::value >
- {
- };
- };
-
- }//exit mpl namespace
-}//exit boost namespace
-
-#endif
Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk