/*=============================================================================
    Copyright (c) 2001-2007 Joel de Guzman
    Copyright (c) 2004 Daniel Wallin

    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)
==============================================================================*/
#ifndef PHOENIX_SCOPE_LAMBDA_HPP
#define PHOENIX_SCOPE_LAMBDA_HPP

#include <boost/spirit/home/phoenix/core/limits.hpp>
#include <boost/spirit/home/phoenix/core/composite.hpp>
#include <boost/spirit/home/phoenix/scope/scoped_environment.hpp>
#include <boost/spirit/home/phoenix/scope/detail/local_variable.hpp>
#include <boost/spirit/home/phoenix/detail/local_reference.hpp>
#include <boost/spirit/home/phoenix/core/actor.hpp>
#include <boost/fusion/include/transform.hpp>
#include <boost/fusion/include/as_vector.hpp>

namespace boost { namespace phoenix
{
    template <typename Base, typename OuterEnv, typename Locals, typename Map>
    struct lambda_eval : Base
    {
        template <typename Env>
        struct result
        {
            typedef typename Base::template
                result<scoped_environment<Env, OuterEnv, Locals, Map> >::type
            result_type;

            typedef typename 
                detail::unwrap_local_reference<result_type>::type 
            type;
        };

        lambda_eval(
            Base const& base
          , OuterEnv const& outer_env
          , Locals const& locals)
            : Base(base)
            , outer_env(outer_env)
            , locals(locals) {}

        template <typename Env>
        typename result<Env>::type
        eval(Env const& env) const
        {
            typedef typename result<Env>::type RT;
            return RT(Base::eval(
                scoped_environment<Env, OuterEnv, Locals, Map>(
                    env, outer_env, locals)));
        }

        OuterEnv outer_env;
        mutable Locals locals;
    };
    
    template <typename Base, typename Vars, typename Map>
    struct lambda_actor
    {
        typedef typename
            mpl::fold<
                Vars
              , mpl::false_
              , detail::compute_no_nullary
            >::type
        no_nullary;

        template <typename Env>
        struct result
        {
            typedef typename 
                fusion::result_of::as_vector<
                    typename fusion::result_of::transform<
                        Vars
                      , detail::initialize_local<Env>
                    >::type
                >::type 
            locals_type;

            typedef actor<lambda_eval<Base, Env, locals_type, Map> > type;
        };

        lambda_actor(Base const& f, Vars const& vars)
            : f(f), vars(vars) {}

        template <typename Env>
        typename result<Env>::type
        eval(Env const& env) const
        {
            typedef typename result<Env>::type result_type;
            
            return result_type(
                f, env, fusion::as_vector(
                    fusion::transform(
                        vars
                      , detail::initialize_local<Env>(env)
                    )));
        }

        Base f;
        Vars vars;
    };
    
    template <typename Vars, typename Map>
    struct lambda_actor_gen
    {
        template <typename Base>
        actor<lambda_actor<Base, Vars, Map> > const
        operator[](actor<Base> const& f) const
        {
            return lambda_actor<Base, Vars, Map>(f, vars);
        }

        lambda_actor_gen(Vars const& vars)
            : vars(vars) {}

        Vars vars;
    };

    template <typename Key>
    struct local_variable; // forward
    struct assign_eval; // forward

    struct lambda_gen 
        : lambda_actor_gen<
            fusion::vector<>
          , detail::map_local_index_to_tuple<> >
    {
        typedef 
            lambda_actor_gen<
                fusion::vector<>
              , detail::map_local_index_to_tuple<> >
        base_type;

        lambda_gen()
            : base_type(fusion::vector<>())
        {
        }

        template <typename K0, typename V0>
        lambda_actor_gen<
            fusion::vector<V0>
          , detail::map_local_index_to_tuple<K0>
        >
        operator()(
            actor<composite<assign_eval, fusion::vector<local_variable<K0>, V0> > > const& a0
        ) const
        {
            return fusion::vector<V0>(fusion::at_c<1>(a0));
        }
    
        template <typename K0, typename K1, typename V0, typename V1>
        lambda_actor_gen<
            fusion::vector<V0, V1>
          , detail::map_local_index_to_tuple<K0, K1>
        >
        operator()(
            actor<composite<assign_eval, fusion::vector<local_variable<K0>, V0> > > const& a0
          , actor<composite<assign_eval, fusion::vector<local_variable<K1>, V1> > > const& a1
        ) const
        {
            return fusion::vector<V0, V1>(fusion::at_c<1>(a0), fusion::at_c<1>(a1));
        }
        
        // Bring in the rest...
        #define PHOENIX_LOCAL_GEN_NAME lambda_actor_gen
        #include <boost/spirit/home/phoenix/scope/detail/local_gen.hpp>
        #undef PHOENIX_LOCAL_GEN_NAME
    };

    lambda_gen const lambda = lambda_gen();
}}

#endif