FilterUpkeep.h

Go to the documentation of this file.

#pragma once

 
#include <concepts>
#include <expected>
#include <type_traits>
#include <utility>
 
#include <EmrysFilter/Core/Macros.h>
#include <EmrysFilter/Core/NumericError.h>
#include <EmrysFilter/Distributions/Upkeep.h>
#include <EmrysFilter/Models/Methods.h>
#include <EmrysFilter/Models/ProcessModel.h>
 
namespace Emrys
{
 
namespace internal
{

template <typename U>
concept UpkeepArgument = !TransformMethod<U> && !std::same_as<std::remove_cvref_t<U>, ModelsMethod>;

template <typename Model, typename X>
using MethodArgumentFor = std::conditional_t<UpkeepArgument<X>, DefaultMethodFor<Model>, X>;

template <typename X>
using UpkeepArgumentFor = std::conditional_t<UpkeepArgument<X>, X, upkeep::None>;

template <typename Derived, typename Upkeep_>
class HeldUpkeep
{
public:

    using UpkeepType = Upkeep_;

    [[nodiscard]] Upkeep_ const &
    upkeep() const
    {
        return m_upkeep;
    }

    [[nodiscard]] std::expected<bool, NumericError>
    maintain()
        requires UpkeepOperation<Upkeep_, typename Derived::StateType>
    {
        return m_upkeep(static_cast<Derived &>(*this).state());
    }
 
protected:

    explicit HeldUpkeep(Upkeep_ upkeep)
        : m_upkeep{std::move(upkeep)}
    {}
 
private:
 
    EMRYS_FILTER_NO_UNIQUE_ADDRESS Upkeep_ m_upkeep;  
};
 
}  // namespace internal
 
}  // namespace Emrys