#ifndef TCG_FUNCTIONAL_H

#define TCG_FUNCTIONAL_H

#include "traits.h"

// std includes

#include <functional></functional>

//**********************************************************************************

//    Logical functor combinators

//**********************************************************************************

namespace tcg

{

template <typename fn1,="" fn2="" typename=""></typename>

class unary_and : public std::unary_function<typename function_traits<fn1="">::arg_type, bool></typename>

{

	Fn1 m_fn1;

	Fn2 m_fn2;

public:

	unary_and(const Fn1 &fn1, const Fn2 &fn2)

		: m_fn1(fn1), m_fn2(fn2) {}

	bool operator()(const typename function_traits<fn1>::arg_type &t) const</fn1>

	{

		return m_fn1(t) && m_fn2(t);

	}

};

template <typename fn1,="" fn2="" typename=""></typename>

unary_and<fn1, fn2=""> and1(const Fn1 &fn1, const Fn2 &fn2)</fn1,>

{

	return unary_and<fn1, fn2="">(fn1, fn2);</fn1,>

}

//----------------------------------------------------------------------------------

template <typename fn1,="" fn2="" typename=""></typename>

class unary_or : public std::unary_function<typename function_traits<fn1="">::arg_type, bool></typename>

{

	Fn1 m_fn1;

	Fn2 m_fn2;

public:

	unary_or(const Fn1 &fn1, const Fn2 &fn2)

		: m_fn1(fn1), m_fn2(fn2) {}

	bool operator()(const typename function_traits<fn1>::arg_type &t) const</fn1>

	{

		return m_fn1(t) || m_fn2(t);

	}

};

template <typename fn1,="" fn2="" typename=""></typename>

unary_or<fn1, fn2=""> or1(const Fn1 &fn1, const Fn2 &fn2)</fn1,>

{

	return unary_or<fn1, fn2="">(fn1, fn2);</fn1,>

}

} // namespace tcg

#endif // TCG_FUNCTIONAL_H