eager.hpp

#pragma once


#include <felspar/coro/task.hpp>


namespace felspar::coro {

    template<typename Task = task<void>>
    class eager {
      public:
        using task_type = Task;
        using promise_type = typename task_type::promise_type;
        using handle_type = typename promise_type::handle_type;

        eager() {}
        explicit eager(task_type t) { post(std::move(t)); }
        template<typename... PArgs, typename... MArgs>
        void post(task_type (*f)(PArgs...), MArgs &&...margs) {
            static_assert(sizeof...(PArgs) == sizeof...(MArgs));
            post(f(std::forward<MArgs>(margs)...));
        }
        template<typename N, typename... PArgs, typename... MArgs>
        void post(N &o, task_type (N::*f)(PArgs...), MArgs &&...margs) {
            static_assert(sizeof...(PArgs) == sizeof...(MArgs));
            post((o.*f)(std::forward<MArgs>(margs)...));
        }
        void post(task_type t) {
            t.start();
            coro = t.release();
        }

        bool done() const noexcept { return coro and coro.done(); }

        auto release() && { return task_type(std::move(coro)); }

        auto destroy() {
            if (auto h = coro.release(); h) { h.destroy(); }
        }


      private:
        handle_type coro;
    };


}