112 lines
3.2 KiB
C++
112 lines
3.2 KiB
C++
|
//
|
||
|
|
// immer: immutable data structures for C++
|
||
|
|
// Copyright (C) 2016, 2017, 2018 Juan Pedro Bolivar Puente
|
||
|
|
//
|
||
|
|
// This software is distributed under the Boost Software License, Version 1.0.
|
||
|
|
// See accompanying file LICENSE or copy at http://boost.org/LICENSE_1_0.txt
|
||
|
|
//
|
||
|
|
|
||
|
|
#pragma once
|
||
|
|
|
||
|
|
#include <scm/detail/invoke.hpp>
|
||
|
|
#include <scm/detail/function_args.hpp>
|
||
|
|
#include <scm/detail/convert.hpp>
|
||
|
|
|
||
|
|
namespace scm {
|
||
|
|
namespace detail {
|
||
|
|
|
||
|
|
// this anonymous namespace should help avoiding registration clashes
|
||
|
|
// among translation units.
|
||
|
|
namespace {
|
||
|
|
|
||
|
|
template <typename Tag, typename R, typename Fn>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<R>, pack<>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] () -> SCM { return to_scm(invoke(fn_)); };
|
||
|
|
}
|
||
|
|
template <typename Tag, typename Fn, typename R, typename T1>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<R>, pack<T1>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] (SCM a1) -> SCM {
|
||
|
|
return to_scm(invoke(fn_, to_cpp<T1>(a1)));
|
||
|
|
};
|
||
|
|
}
|
||
|
|
template <typename Tag, typename Fn, typename R, typename T1, typename T2>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<R>, pack<T1, T2>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] (SCM a1, SCM a2) -> SCM {
|
||
|
|
return to_scm(invoke(fn_, to_cpp<T1>(a1), to_cpp<T2>(a2)));
|
||
|
|
};
|
||
|
|
}
|
||
|
|
template <typename Tag, typename Fn, typename R, typename T1, typename T2,
|
||
|
|
typename T3>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<R>, pack<T1, T2, T3>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] (SCM a1, SCM a2, SCM a3) -> SCM {
|
||
|
|
return to_scm(invoke(fn_, to_cpp<T1>(a1), to_cpp<T2>(a2),
|
||
|
|
to_cpp<T3>(a3)));
|
||
|
|
};
|
||
|
|
}
|
||
|
|
|
||
|
|
template <typename Tag, typename Fn>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<void>, pack<>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] () -> SCM { invoke(fn_); return SCM_UNSPECIFIED; };
|
||
|
|
}
|
||
|
|
template <typename Tag, typename Fn, typename T1>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<void>, pack<T1>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] (SCM a1) -> SCM {
|
||
|
|
invoke(fn_, to_cpp<T1>(a1)); return SCM_UNSPECIFIED;
|
||
|
|
};
|
||
|
|
}
|
||
|
|
template <typename Tag, typename Fn, typename T1, typename T2>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<void>, pack<T1, T2>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] (SCM a1, SCM a2) -> SCM {
|
||
|
|
invoke(fn_, to_cpp<T1>(a1), to_cpp<T2>(a2));
|
||
|
|
return SCM_UNSPECIFIED;
|
||
|
|
};
|
||
|
|
}
|
||
|
|
template <typename Tag, typename Fn, typename T1, typename T2, typename T3>
|
||
|
|
auto subr_wrapper_impl(Fn fn, pack<void>, pack<T1, T2, T3>)
|
||
|
|
{
|
||
|
|
check_call_once<Tag, Fn>();
|
||
|
|
static const Fn fn_ = fn;
|
||
|
|
return [] (SCM a1, SCM a2, SCM a3) -> SCM {
|
||
|
|
invoke(fn_, to_cpp<T1>(a1), to_cpp<T2>(a2), to_cpp<T3>(a3));
|
||
|
|
return SCM_UNSPECIFIED;
|
||
|
|
};
|
||
|
|
}
|
||
|
|
|
||
|
|
template <typename Tag, typename Fn, typename... Args>
|
||
|
|
auto subr_wrapper_aux(Fn fn, pack<Args...>)
|
||
|
|
{
|
||
|
|
return subr_wrapper_impl<Tag>(
|
||
|
|
fn, pack<std::result_of_t<Fn(Args...)>>{}, pack<Args...>{});
|
||
|
|
}
|
||
|
|
|
||
|
|
template <typename Tag, typename Fn>
|
||
|
|
auto subr_wrapper(Fn fn)
|
||
|
|
{
|
||
|
|
return subr_wrapper_aux<Tag>(fn, function_args_t<Fn>{});
|
||
|
|
}
|
||
|
|
|
||
|
|
} // anonymous namespace
|
||
|
|
} // namespace detail
|
||
|
|
} // namespace scm
|