Evaluates whether a Nullable type is compatible with the specific Algorithm. More...

#include <BasicAlgorithm.hpp>

Concept definition

template<typename Nullable, typename Algorithm>
concept gimo::applicable_to =  requires {
        requires detail::applicable_to_impl<
            Nullable,
            typename std::remove_cvref_t<Algorithm>::traits_type,
            detail::const_ref_like_t<Algorithm, typename std::remove_cvref_t<Algorithm>::action_type>>;
    }

Detailed Description

Evaluates whether a Nullable type is compatible with the specific Algorithm.

Template Parameters

Nullable	The nullable type.
Algorithm	The monadic operation to be performed.