style.hpp

Go to the documentation of this file.

#pragma once
 
#include <nui/frontend/dom/childless_element.hpp>
#include <nui/frontend/attributes/impl/attribute.hpp>
#include <nui/frontend/attributes/impl/attribute_factory.hpp>
#include <nui/frontend/event_system/observed_value.hpp>
#include <nui/frontend/event_system/observed_value_combinator.hpp>
 
#include <nui/utility/meta/tuple_filter.hpp>
#include <nui/utility/meta/tuple_transform.hpp>
#include <nui/utility/meta/pick_first.hpp>
 
#include <mplex/control/if.hpp>
#include <mplex/functional/lift.hpp>
#include <mplex/fundamental/integral.hpp>
 
#include <tuple>
#include <string>
#include <sstream>
 
namespace Nui::Attributes
{
    namespace Detail
    {
        template <typename... T>
        struct StylePropertyEbo
        {
            std::tuple<::Nui::Detail::ObservedAddReference_t<T>...> observed;
        };
        template <>
        struct StylePropertyEbo<void>
        {};
    }
    template <typename FunctionT, typename... T>
    struct StylePropertyImpl : public Detail::StylePropertyEbo<T...>
    {
        using value_type = std::tuple<::Nui::Detail::ObservedAddReference_t<T>...>;
 
        FunctionT generator;
        constexpr static bool isStatic()
        {
            return sizeof...(T) == 1 && std::is_same_v<UnpackObserved_t<Nui::Detail::PickFirst_t<T...>>, void>;
        }
        constexpr auto operator()() const
        {
            return generator();
        }
 
        template <typename U>
        constexpr StylePropertyImpl(FunctionT generator, Observed<U> const& observed)
            : Detail::StylePropertyEbo<T...>{std::forward_as_tuple(observed)}
            , generator{std::move(generator)}
        {}
        template <typename U>
        constexpr StylePropertyImpl(FunctionT generator, std::weak_ptr<Observed<U>> observed)
            : Detail::StylePropertyEbo<T...>{std::make_tuple(std::move(observed))}
            , generator{std::move(generator)}
        {}
        template <typename U>
        constexpr StylePropertyImpl(FunctionT generator, std::shared_ptr<Observed<U>> observed)
            : Detail::StylePropertyEbo<T...>{std::make_tuple(std::weak_ptr{observed})}
            , generator{std::move(generator)}
        {}
        constexpr StylePropertyImpl(FunctionT generator, std::nullptr_t)
            : Detail::StylePropertyEbo<T...>{}
            , generator{std::move(generator)}
        {}
        template <typename GeneratorT>
        constexpr StylePropertyImpl(
            FunctionT generator,
            ObservedValueCombinatorWithGenerator<GeneratorT, T...>&& observed)
            : Detail::StylePropertyEbo<T...>{std::move(observed).observedValues()}
            , generator{std::move(generator)}
        {}
    };
    template <typename FunctionT>
    StylePropertyImpl(FunctionT generator, std::nullptr_t) -> StylePropertyImpl<FunctionT, void>;
    template <typename FunctionT, typename T>
    StylePropertyImpl(FunctionT generator, Observed<T>&) -> StylePropertyImpl<FunctionT, Observed<T>>;
    template <typename FunctionT, typename T>
    StylePropertyImpl(FunctionT generator, Observed<T> const&) -> StylePropertyImpl<FunctionT, Observed<T>>;
    template <typename FunctionT, typename T>
    StylePropertyImpl(FunctionT generator, std::shared_ptr<Observed<T>>)
        -> StylePropertyImpl<FunctionT, std::weak_ptr<Observed<T>>>;
    template <typename FunctionT, typename T>
    StylePropertyImpl(FunctionT generator, std::weak_ptr<Observed<T>>&&)
        -> StylePropertyImpl<FunctionT, std::weak_ptr<Observed<T>>>;
    template <typename FunctionT, typename GeneratorT, typename... ObservedT>
    StylePropertyImpl(FunctionT generator, ObservedValueCombinatorWithGenerator<GeneratorT, ObservedT...>&&)
        -> StylePropertyImpl<FunctionT, ObservedT...>;
 
    namespace Detail
    {
        template <typename T>
        struct IsDynamicStyleProperty
        {
            constexpr static bool value = true;
        };
        template <typename FunctionT>
        struct IsDynamicStyleProperty<StylePropertyImpl<FunctionT, void>>
        {
            constexpr static bool value = false;
        };
        template <typename Property>
        struct StripPropertyObserved
        {
            using type = typename Property::value_type;
            constexpr static auto extract(Property& prop)
            {
                return prop.observed;
            }
        };
        template <typename FunctionT>
        struct StripPropertyObserved<StylePropertyImpl<FunctionT, void>>
        {
            using type = std::tuple<>;
            constexpr static void* extract(StylePropertyImpl<FunctionT, void>&)
            {
                return nullptr;
            }
        };
 
        template <typename IntegerSequence, typename CurrentIndex, typename... Properties>
        struct BuildObservedPropertyIndexList;
 
        template <unsigned... Indices, typename CurrentIndex, typename Property, typename... Properties>
        struct BuildObservedPropertyIndexList<
            std::integer_sequence<unsigned, Indices...>,
            CurrentIndex,
            Property,
            Properties...>
        {
            // TODO: eliminate lift, by transforming this class to an mplex functor concept.
            using type = mplex::lazy_if_vt<
                IsDynamicStyleProperty<Property>::value,
                mplex::then_<
                    mplex::lift<BuildObservedPropertyIndexList>,
                    std::integer_sequence<unsigned, Indices..., CurrentIndex::value>,
                    mplex::unsigned_<CurrentIndex::value + 1u>,
                    Properties...>,
                mplex::else_<
                    mplex::lift<BuildObservedPropertyIndexList>,
                    std::integer_sequence<unsigned, Indices...>,
                    mplex::unsigned_<CurrentIndex::value + 1u>,
                    Properties...>>;
        };
 
        template <unsigned... Indices, typename CurrentIndex>
        struct BuildObservedPropertyIndexList<std::integer_sequence<unsigned, Indices...>, CurrentIndex>
        {
            using type = std::integer_sequence<unsigned, Indices...>;
        };
 
        template <typename IndexList>
        struct ExtractObservedValuesFromProperties;
        template <unsigned... Indices>
        struct ExtractObservedValuesFromProperties<std::integer_sequence<unsigned, Indices...>>
        {
            constexpr static auto apply(auto&& propertyTuple)
            {
                return std::tuple_cat(std::get<Indices>(propertyTuple).observed...);
            }
        };
    }
 
    struct StyleProperty
    {
        char const* name;
        constexpr explicit StyleProperty(char const* name)
            : name{name}
        {}
 
        StyleProperty& operator=(StyleProperty const&) = delete;
        StyleProperty& operator=(StyleProperty&&) noexcept = delete;
        StyleProperty(StyleProperty const&) = default;
        StyleProperty(StyleProperty&&) noexcept = default;
        ~StyleProperty() = default;
 
        // TODO: optimize following functions:
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(char const* value) const
        {
            return StylePropertyImpl{
                [name_ = std::string{name}, value = std::string{value}]() {
                    return name_ + ":" + value;
                },
                nullptr};
        }
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(std::string value) const
        {
            return StylePropertyImpl{
                [name_ = std::string{name}, value = std::move(value)]() {
                    return name_ + ":" + value;
                },
                nullptr};
        }
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(Observed<std::string> const& observedValue) const
        {
            return StylePropertyImpl{
                [name_ = std::string{name}, &observedValue]() {
                    return name_ + ":" + observedValue.value();
                },
                observedValue};
        }
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(std::weak_ptr<Observed<std::string>>&& observedValue) const
        {
            return StylePropertyImpl{
                [name_ = std::string{name}, observedValue = std::weak_ptr{observedValue.lock()}]() {
                    if (auto shared = observedValue.lock(); shared)
                        return name_ + ":" + shared->value();
                    return std::string{};
                },
                std::move(observedValue)};
        }
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(std::shared_ptr<Observed<std::string>> observedValue) const
        {
            return StylePropertyImpl{
                [name_ = std::string{name}, observedValue = std::weak_ptr{observedValue}]() {
                    if (auto shared = observedValue.lock(); shared)
                        return name_ + ":" + shared->value();
                    return std::string{};
                },
                std::move(observedValue)};
        }
        template <typename FunctionT, typename... ArgsT>
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(ObservedValueCombinatorWithGenerator<FunctionT, ArgsT...>&& combinator) const
        {
            return StylePropertyImpl{
                [name_ = std::string{name}, gen = combinator.generator()]() {
                    return name_ + ":" + gen();
                },
                std::move(combinator)};
        }
    };
 
    inline namespace Literals
    {
        static constexpr StyleProperty operator""_style(char const* name, std::size_t)
        {
            return StyleProperty{name};
        };
    }
 
    namespace Detail
    {
        template <bool isStatic, typename... Properties>
        auto makeStyleGenerator(Properties&&... props)
        {
            return [... props = std::forward<Properties>(props)]() {
                // TODO: better performing version:
                std::stringstream sstr;
                [&sstr](auto const& head, auto const&... tail) {
                    // NOLINTNEXTLINE(cppcoreguidelines-avoid-c-arrays)
                    using expander = int[];
                    const auto headStr = head();
                    sstr << headStr;
                    (void)expander{0, (sstr << (headStr.empty() ? "" : ";") << tail(), void(), 0)...};
                }(props...);
                return sstr.str();
            };
        }
    }
 
    namespace Detail
    {
        template <typename... Properties>
        constexpr auto stripObserved(Properties&... props)
        {
            return ExtractObservedValuesFromProperties<typename BuildObservedPropertyIndexList<
                std::integer_sequence<unsigned>,
                mplex::unsigned_<0>,
                Properties...>::type>::apply(std::tie(props...));
        }
    }
 
    template <typename... Properties>
    class Style
    {
      public:
        using ObservedValueList = Nui::Detail::FlatTupleTransform_t<
            Nui::Detail::TupleFilter_t<Detail::IsDynamicStyleProperty, Properties...>,
            Detail::StripPropertyObserved>;
 
        constexpr explicit Style(Properties&&... props)
            : observedValues_{stripObserved(props...)}
            , generateStyle_{makeStyleGenerator<isStatic()>(std::forward<Properties>(props)...)}
        {}
 
        constexpr static bool isStatic()
        {
            return (Properties::isStatic() && ...);
        }
 
        std::string toString() const
        {
            return generateStyle_();
        }
 
        std::function<std::string()> ejectGenerator() &&
        {
            return std::move(generateStyle_);
        }
 
        ObservedValueList ejectObservedValues() &&
        {
            return std::move(observedValues_);
        }
 
      private:
        ObservedValueList observedValues_;
        std::function<std::string()> generateStyle_;
    };
 
    struct style_
    {
        style_& operator=(style_&&) noexcept = delete;
        style_& operator=(style_ const&) = delete;
        style_() = default;
        style_(style_&&) noexcept = default;
        style_(style_ const&) = default;
        ~style_() = default;
 
        template <typename U>
        requires(!IsObserved<std::decay_t<U>>)
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        Attribute operator=(U&& val) const
        {
            return AttributeFactory{"style"}.operator=(std::forward<U>(val));
        }
        template <typename U>
        requires(IsObserved<std::decay_t<U>>)
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        Attribute operator=(U& val) const
        {
            return AttributeFactory{"style"}.operator=(val);
        }
        template <typename... T>
        // NOLINTNEXTLINE(misc-unconventional-assign-operator, cppcoreguidelines-c-copy-assignment-signature)
        auto operator=(Style<T...>&& style) const
        {
            if constexpr (Style<T...>::isStatic())
            {
                return AttributeFactory{"style"}.operator=(style.toString());
            }
            else
            {
                return std::apply(
                    [&style]<typename... ObservedValueTypes>(ObservedValueTypes&&... obs) {
                        return AttributeFactory{"style"}.operator=(
                            ObservedValueCombinator{std::forward<ObservedValueTypes>(obs)...}.generate(
                                std::move(style).ejectGenerator()));
                    },
                    std::move(style).ejectObservedValues());
            }
        }
    } static constexpr style;
}