An update that handles every message: Update& is invocable as (ViewState&, Alt const&) for each alternative Alt of the std::variant Msg. Any Msg that is not a std::variant is never satisfied. More...

#include <store.hpp>

Concept definition

template<typename Update, typename ViewState, typename Msg>

concept ExhaustiveUpdate = detail::UpdateCoversAll<Update, ViewState, Msg>::value

morph::reactive::ExhaustiveUpdate

An update that handles every message: Update& is invocable as (ViewState&, Alt const&) for each alter...

Definition store.hpp:75

morph::reactive::detail::UpdateCoversAll

Whether Update handles every alternative of the variant Msg.

Definition store.hpp:32

Detailed Description

An update that handles every message: Update& is invocable as (ViewState&, Alt const&) for each alternative Alt of the std::variant Msg. Any Msg that is not a std::variant is never satisfied.

Definition at line 75 of file store.hpp.