#ifndef CPPA_TPARTIAL_FUNCTION_HPP

#define CPPA_TPARTIAL_FUNCTION_HPP

#include <cstddef>

#include <type_traits>

#include "cppa/util/rm_ref.hpp"

#include "cppa/util/type_list.hpp"

#include "cppa/util/apply_args.hpp"

#include "cppa/util/left_or_right.hpp"

#include "cppa/util/callable_trait.hpp"

#include "cppa/util/is_mutable_ref.hpp"

namespace cppa {

template<class Expr, class Guard, typename Result, typename... Args>

class tpartial_function {

};

template<class Expr, class Guard, typename Args,

typename Result = util::void_type, size_t Step = 0>

struct get_tpartial_function;

template<class Expr, class Guard, typename... Args, typename Result>

struct get_tpartial_function<Expr, Guard, util::type_list<Args...>, Result, 1> {

typedef tpartial_function<Expr, Guard, Result, Args...> type;

};

template<class Expr, class Guard, typename... Args>

struct get_tpartial_function<Expr, Guard,

util::type_list<Args...>, util::void_type, 0> {

typedef typename util::get_callable_trait<Expr>::type ctrait;

typedef typename ctrait::arg_types arg_types;

static_assert(arg_types::size <= sizeof...(Args),

"Functor takes too much arguments");

typedef typename get_tpartial_function<

Expr,

Guard,

// fill arg_types of Expr from left with const Args&

typename util::tl_zip<

typename util::tl_pad_left<

typename ctrait::arg_types,

sizeof...(Args)

>::type,

util::type_list<const Args&...>,

util::left_or_right

>::type,

typename ctrait::result_type,

1

>::type

type;

};

} // namespace cppa

#endif // CPPA_TPARTIAL_FUNCTION_HPP