1 files changed, 78 insertions, 0 deletions
diff --git a/boost/metaparse/v1/foldr_start_with_parser.hpp b/boost/metaparse/v1/foldr_start_with_parser.hpp
new file mode 100644
index 0000000000..c5f59eacf4
--- /dev/null
+++ b/boost/metaparse/v1/foldr_start_with_parser.hpp
@@ -0,0 +1,78 @@
+#ifndef BOOST_METAPARSE_V1_FOLDR_START_WITH_PARSER_HPP
+#define BOOST_METAPARSE_V1_FOLDR_START_WITH_PARSER_HPP
+
+// Copyright Abel Sinkovics (abel@sinkovics.hu)  2012.
+// Distributed under the Boost Software License, Version 1.0.
+//    (See accompanying file LICENSE_1_0.txt or copy at
+//          http://www.boost.org/LICENSE_1_0.txt)
+
+#include <boost/metaparse/v1/accept.hpp>
+#include <boost/metaparse/v1/is_error.hpp>
+#include <boost/metaparse/v1/get_position.hpp>
+#include <boost/metaparse/v1/get_result.hpp>
+#include <boost/metaparse/v1/get_remaining.hpp>
+
+#include <boost/mpl/eval_if.hpp>
+
+namespace boost
+{
+  namespace metaparse
+  {
+    namespace v1
+    {
+      template <class P, class StateP, class BackwardOp>
+      struct foldr_start_with_parser
+      {
+      private:
+        template <class Res, class Rem>
+        struct apply_unchecked1 :
+          accept<
+            typename BackwardOp::template apply<
+              typename get_result<Rem>::type,
+              typename get_result<Res>::type
+            >::type,
+            typename get_remaining<Rem>::type,
+            typename get_position<Rem>::type
+          >
+        {};
+
+        template <class Res>
+        struct apply_unchecked;
+      public:
+        typedef foldr_start_with_parser type;
+      
+        template <class S, class Pos>
+        struct apply :
+          boost::mpl::eval_if<
+            typename is_error<typename P::template apply<S, Pos> >::type,
+            typename StateP::template apply<S, Pos>,
+            apply_unchecked<typename P::template apply<S, Pos> >
+          >
+        {};
+      private:
+        template <class Res>
+        struct apply_unchecked
+        {
+        private:
+          typedef
+            typename foldr_start_with_parser::template apply<
+              typename get_remaining<Res>::type,
+              typename get_position<Res>::type
+            >
+            parsed_remaining;
+        public:
+          typedef
+            typename boost::mpl::eval_if<
+              typename is_error<parsed_remaining>::type,
+              parsed_remaining,
+              apply_unchecked1<Res, parsed_remaining>
+            >::type
+            type;
+        };
+      };
+    }
+  }
+}
+
+#endif
+