sl::nullables::input_nullable Concept Reference

Checks whether a type is an input_nullable. More...

#include <base.hpp>

Concept definition

template<class T>
concept sl::nullables::input_nullable =  requires
                            {
                                typename value_t<T>;
                                null_v<T>;
                            }
                            && concepts::weakly_equality_comparable_with<T, decltype(null_v<T>)>

Detailed Description

Checks whether a type is an input_nullable.

A type is considered as input_nullable if:

• nullable_traits is found which exposes the value_type and null-object,
• it satisfies the weakly_equality_comparable_with concept with its null-object,

  Template Parameters

  T	Type to check