maybe_cell.hpp

#ifndef LIVE_CELLS_MAYBE_CELL_HPP
#define LIVE_CELLS_MAYBE_CELL_HPP
 
#include <concepts>
 
#include "keys.hpp"
#include "maybe.hpp"
#include "types.hpp"
#include "computed.hpp"
#include "mutable_computed.hpp"
 
namespace live_cells {
 
    template<typename T>
    struct maybe_cell_key : value_key<T> {
        using value_key<T>::value_key;
    };
 
    template<typename T>
    struct mutable_maybe_cell_key : value_key<T> {
        using value_key<T>::value_key;
    };
 
 
 
    auto maybe_cell(const Cell auto &cell) {
        return computed(key_ref::create<maybe_cell_key<key_ref>>(cell.key()), [=] {
            return maybe_wrap(cell);
        });
    }
 
    auto maybe_cell(const MutableCell auto &cell) {
        return mutable_computed(key_ref::create<mutable_maybe_cell_key<key_ref>>(cell.key()), [=] {
            return maybe_wrap(cell);
        }, [=] (auto value) {
            try {
                cell = value.unwrap();
            }
            catch (...) {
                // Prevent exception from propagating to caller
            }
        });
    }
 
    namespace ops {
        struct maybe_operator {};
 
        constexpr maybe_operator maybe{};
 
        inline auto operator|(const Cell auto &cell, const maybe_operator &) {
            return maybe_cell(cell);
        }
 
        inline auto operator|(const MutableCell auto &cell, const maybe_operator &) {
            return maybe_cell(cell);
        }
    }
}  // live_cells
 
#endif /* LIVE_CELLS_MAYBE_CELL_HPP */