FM / hof

/usr/include/boost/hof

Name	Size	Mode	Actions
detail/	-	0755	rm
alias.hpp	5552	0644	edit dl rm
always.hpp	4261	0644	edit dl rm
apply.hpp	8363	0644	edit dl rm
apply_eval.hpp	4428	0644	edit dl rm
arg.hpp	3148	0644	edit dl rm
capture.hpp	5419	0644	edit dl rm
combine.hpp	3877	0644	edit dl rm
compose.hpp	5042	0644	edit dl rm
config.hpp	6149	0644	edit dl rm
construct.hpp	8774	0644	edit dl rm
decay.hpp	1790	0644	edit dl rm
decorate.hpp	6329	0644	edit dl rm
eval.hpp	2400	0644	edit dl rm
first_of.hpp	7100	0644	edit dl rm
fix.hpp	6314	0644	edit dl rm
flip.hpp	2690	0644	edit dl rm
flow.hpp	5060	0644	edit dl rm
fold.hpp	5000	0644	edit dl rm
function.hpp	3129	0644	edit dl rm
function_param_limit.hpp	1658	0644	edit dl rm
identity.hpp	1884	0644	edit dl rm
if.hpp	3314	0644	edit dl rm
implicit.hpp	4041	0644	edit dl rm
indirect.hpp	3268	0644	edit dl rm
infix.hpp	6043	0644	edit dl rm
is_invocable.hpp	1706	0644	edit dl rm
is_unpackable.hpp	3341	0644	edit dl rm
lambda.hpp	6458	0644	edit dl rm
lazy.hpp	8729	0644	edit dl rm
lift.hpp	3752	0644	edit dl rm
limit.hpp	3817	0644	edit dl rm
match.hpp	3331	0644	edit dl rm
mutable.hpp	1988	0644	edit dl rm
pack.hpp	12747	0644	edit dl rm
partial.hpp	8307	0644	edit dl rm
pipable.hpp	6227	0644	edit dl rm
placeholders.hpp	13799	0644	edit dl rm
proj.hpp	7517	0644	edit dl rm
protect.hpp	2145	0644	edit dl rm
repeat.hpp	4184	0644	edit dl rm
repeat_while.hpp	5154	0644	edit dl rm
result.hpp	3644	0644	edit dl rm
returns.hpp	8607	0644	edit dl rm
reveal.hpp	12187	0644	edit dl rm
reverse_fold.hpp	5271	0644	edit dl rm
rotate.hpp	2576	0644	edit dl rm
static.hpp	2395	0644	edit dl rm
tap.hpp	2118	0644	edit dl rm
unpack.hpp	5588	0644	edit dl rm
unpack_sequence.hpp	1810	0644	edit dl rm
version.hpp	679	0644	edit dl rm

Edit: /usr/include/boost/hof/is_unpackable.hpp (3341B)

#ifndef BOOST_HOF_GUARD_IS_UNPACKABLE_HPP
#define BOOST_HOF_GUARD_IS_UNPACKABLE_HPP

/// is_unpackable
/// =============
/// 
/// This is a trait that can be used to detect whether the type can be called
/// with `unpack`.
/// 
/// Synopsis
/// --------
/// 
///     template<class T>
///     struct is_unpackable;
/// 
/// Example
/// -------
/// 
///     #include <boost/hof.hpp>
///     #include <cassert>
/// 
///     int main() {
///         static_assert(boost::hof::is_unpackable<std::tuple<int>>::value, "Failed");
///     }
///

#include <boost/hof/unpack_sequence.hpp>
#include <boost/hof/is_invocable.hpp>
#include <boost/hof/always.hpp>
#include <boost/hof/detail/static_const_var.hpp>
#include <boost/hof/detail/unpack_tuple.hpp>

namespace boost { namespace hof {

namespace detail {

struct unpack_impl_f
{
    template<class F, class Sequence>
    constexpr auto operator()(F&& f, Sequence&& s) const BOOST_HOF_RETURNS
    (
        boost::hof::unpack_sequence<typename std::remove_cv<typename std::remove_reference<Sequence>::type>::type>::
                apply(BOOST_HOF_FORWARD(F)(f), BOOST_HOF_FORWARD(Sequence)(s))
    );
};

BOOST_HOF_DECLARE_STATIC_VAR(unpack_impl, unpack_impl_f);

#if BOOST_HOF_CHECK_UNPACK_SEQUENCE
struct private_unpack_type {};
template<class Sequence>
struct unpack_impl_result
{
    static_assert(boost::hof::is_invocable<unpack_impl_f, decltype(boost::hof::always(private_unpack_type())), Sequence>::value,
        "Unpack is invalid for this sequence. The function used to unpack this sequence is not callable."
    );
    typedef decltype(boost::hof::detail::unpack_impl(boost::hof::always(private_unpack_type()), std::declval<Sequence>())) type;
};

template<class Sequence>
struct is_proper_sequence
: std::is_same<
    private_unpack_type, 
    typename unpack_impl_result<Sequence>::type
>
{};
#endif
template<class Sequence, class=void>
struct is_unpackable_impl
: std::true_type
{
#if BOOST_HOF_CHECK_UNPACK_SEQUENCE
    static_assert(is_proper_sequence<Sequence>::value,
        "Unpack is invalid for this sequence. The function used to unpack this sequence does not invoke the function."
    );
#endif
};

template<class Sequence>
struct is_unpackable_impl<Sequence, typename detail::holder<
    typename unpack_sequence<Sequence>::not_unpackable
>::type>
: std::false_type
{};

}

template<class Sequence>
struct is_unpackable
: detail::is_unpackable_impl<
    typename std::remove_cv<typename std::remove_reference<Sequence>::type>::type
>
{
#if BOOST_HOF_CHECK_UNPACK_SEQUENCE
typedef detail::is_unpackable_impl<
    typename std::remove_cv<typename std::remove_reference<Sequence>::type>::type
> base;

typedef std::conditional<base::value, detail::is_proper_sequence<Sequence>, std::true_type> check;
static_assert(check::type::value,
    "Unpack is invalid for this sequence. The function used to unpack this sequence does not invoke the function."
);
#endif
};

}} // namespace boost::hof

#endif

/*============================================================================= Copyright (c) 2016 Paul Fultz II is_unpackable.hpp 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 BOOST_HOF_GUARD_IS_UNPACKABLE_HPP #define BOOST_HOF_GUARD_IS_UNPACKABLE_HPP /// is_unpackable /// ============= /// /// This is a trait that can be used to detect whether the type can be called /// with `unpack`. /// /// Synopsis /// -------- /// /// template /// struct is_unpackable; /// /// Example /// ------- /// /// #include /// #include /// /// int main() { /// static_assert(boost::hof::is_unpackable>::value, "Failed"); /// } /// #include #include #include #include #include namespace boost { namespace hof { namespace detail { struct unpack_impl_f { template constexpr auto operator()(F&& f, Sequence&& s) const BOOST_HOF_RETURNS ( boost::hof::unpack_sequence::type>::type>:: apply(BOOST_HOF_FORWARD(F)(f), BOOST_HOF_FORWARD(Sequence)(s)) ); }; BOOST_HOF_DECLARE_STATIC_VAR(unpack_impl, unpack_impl_f); #if BOOST_HOF_CHECK_UNPACK_SEQUENCE struct private_unpack_type {}; template struct unpack_impl_result { static_assert(boost::hof::is_invocable::value, "Unpack is invalid for this sequence. The function used to unpack this sequence is not callable." ); typedef decltype(boost::hof::detail::unpack_impl(boost::hof::always(private_unpack_type()), std::declval())) type; }; template struct is_proper_sequence : std::is_same< private_unpack_type, typename unpack_impl_result::type > {}; #endif template struct is_unpackable_impl : std::true_type { #if BOOST_HOF_CHECK_UNPACK_SEQUENCE static_assert(is_proper_sequence::value, "Unpack is invalid for this sequence. The function used to unpack this sequence does not invoke the function." ); #endif }; template struct is_unpackable_impl::not_unpackable >::type> : std::false_type {}; } template struct is_unpackable : detail::is_unpackable_impl< typename std::remove_cv::type>::type > { #if BOOST_HOF_CHECK_UNPACK_SEQUENCE typedef detail::is_unpackable_impl< typename std::remove_cv::type>::type > base; typedef std::conditional, std::true_type> check; static_assert(check::type::value, "Unpack is invalid for this sequence. The function used to unpack this sequence does not invoke the function." ); #endif }; }} // namespace boost::hof #endif