#ifndef CPPA_TPARTIAL_FUNCTION_HPP

#define CPPA_TPARTIAL_FUNCTION_HPP

#include <cstddef>

#include <type_traits>

#include "cppa/util/call.hpp"

#include "cppa/util/rm_ref.hpp"

#include "cppa/util/type_list.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... Ts>

class tpartial_function {

};

template<class Expr, class Guard, typename Ts,

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

struct get_tpartial_function;

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

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

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

};

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

struct get_tpartial_function<Expr, Guard,

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

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

typedef typename ctrait::arg_types arg_types;

static_assert(util::tl_size<arg_types>::value <= sizeof...(Ts),

"Functor takes too much arguments");

typedef typename get_tpartial_function<

Expr,

Guard,

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

typename util::tl_zip<

typename util::tl_pad_left<

typename ctrait::arg_types,

sizeof...(Ts)

>::type,

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

util::left_or_right

>::type,

typename ctrait::result_type,

1

>::type

type;

};

} // namespace cppa

#endif // CPPA_TPARTIAL_FUNCTION_HPP