#ifndef utils_hh_INCLUDED
#define utils_hh_INCLUDED

#include "assert.hh"

#include <utility>
#include <type_traits>

namespace Kakoune
{

// *** Singleton ***
//
// Singleton helper class, every singleton type T should inherit
// from Singleton<T> to provide a consistent interface.
template<typename T>
class Singleton
{
public:
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    static T& instance()
    {
        kak_assert(ms_instance);
        return *static_cast<T*>(ms_instance);
    }

    static bool has_instance()
    {
        return ms_instance != nullptr;
    }

protected:
    Singleton()
    {
        kak_assert(ms_instance == nullptr);
        ms_instance = this;
    }

    ~Singleton()
    {
        kak_assert(ms_instance == this);
        ms_instance = nullptr;
    }

private:
    static Singleton* ms_instance;
};

template<typename T>
Singleton<T>* Singleton<T>::ms_instance = nullptr;

// *** On scope end ***
//
// OnScopeEnd provides a way to register some code to be
// executed when current scope closes.
//
// usage:
// auto cleaner = OnScopeEnd([]() { ... });
//
// This permits to cleanup c-style resources without implementing
// a wrapping class
template<typename T>
class [[nodiscard]] OnScopeEnd
{
public:
    [[gnu::always_inline]]
    OnScopeEnd(T func) : m_valid{true}, m_func{std::move(func)} {}

    [[gnu::always_inline]]
    OnScopeEnd(OnScopeEnd&& other)
      : m_valid{other.m_valid}, m_func{std::move(other.m_func)}
    { other.m_valid = false; }

    [[gnu::always_inline]]
    void trigger() { if (m_valid) m_func(); m_valid = false; }

    [[gnu::always_inline]]
    ~OnScopeEnd() noexcept(noexcept(m_func())) { if (m_valid) m_func(); }

private:
    bool m_valid;
    T m_func;
};

// bool that can be set (to true) multiple times, and will
// be false only when unset the same time;
struct NestedBool
{
    void set() { m_count++; }
    void unset() { kak_assert(m_count > 0); m_count--; }

    operator bool() const { return m_count > 0; }
private:
    int m_count = 0;
};

struct ScopedSetBool
{
    ScopedSetBool(NestedBool& nested_bool, bool condition = true)
        : m_nested_bool(nested_bool), m_condition(condition)
    {
        if (m_condition)
            m_nested_bool.set();
    }

    ScopedSetBool(ScopedSetBool&& other)
        : m_nested_bool(other.m_nested_bool), m_condition(other.m_condition)
    {
        other.m_condition = false;
    }

    ~ScopedSetBool()
    {
        if (m_condition)
            m_nested_bool.unset();
    }

private:
    NestedBool& m_nested_bool;
    bool m_condition;
};

template<typename T>
const T& clamp(const T& val, const T& min, const T& max)
{
    return (val < min ? min : (val > max ? max : val));
}

template<typename Iterator, typename EndIterator, typename T>
bool skip_while(Iterator& it, const EndIterator& end, T condition)
{
    while (it != end and condition(*it))
        ++it;
    return it != end;
}

template<typename Iterator, typename BeginIterator, typename T>
bool skip_while_reverse(Iterator& it, const BeginIterator& begin, T condition)
{
    while (it != begin and condition(*it))
        --it;
    return condition(*it);
}

template<typename E>
auto to_underlying(E value)
{
    return static_cast<std::underlying_type_t<E>>(value);
}

template<typename> class FunctionRef;

template<typename From, typename To>
concept ConvertibleTo = std::is_convertible_v<From, To>;

template<typename Res, typename... Args>
class FunctionRef<Res(Args...)>
{
public:
    FunctionRef()
      : m_target{nullptr},
        m_invoker{[](void* target, Args... args) {
            if constexpr (not std::is_same_v<Res, void>) return Res{};
        }}
    {}

    template<typename Target>
        requires requires (Target t, Args... a) {
            requires not std::is_same_v<FunctionRef, std::remove_cvref_t<Target>>;
            { t(a...) } -> ConvertibleTo<Res>;
        }
    FunctionRef(Target&& target)
      : m_target{&target},
        m_invoker{[](void* target, Args... args) {
            return (*reinterpret_cast<Target*>(target))(static_cast<Args>(args)...);
        }}
    {}

    Res operator()(Args... args) const
    {
        return m_invoker(m_target, static_cast<Args>(args)...);
    }

private:
    using Invoker = Res (void*, Args...);
    void* m_target;
    Invoker* m_invoker;
};

template<typename... Funcs>
struct Overload : Funcs...
{
    using Funcs::operator()...;
};

template<typename... Funcs>
auto overload(Funcs&&... funcs)
{
    return Overload<std::remove_cvref_t<Funcs>...>{std::forward<Funcs>(funcs)...};
}

}

#endif // utils_hh_INCLUDED
