sparrow::impl::materializable_into Concept Reference

Whether every alternative of Source has exactly one owning counterpart in Dest, so that a value of Source can be converted to Dest. More...

#include <nullable.hpp>

Concept definition

        template<class Source, class Dest>
        concept materializable_into = materialized_mapping<Source, Dest>::value

Detailed Description

Whether every alternative of Source has exactly one owning counterpart in Dest, so that a value of Source can be converted to Dest.

The mapping must be total (every source alternative has a counterpart) and unique (exactly one), but it needs to be neither injective nor surjective.

Definition at line 314 of file nullable.hpp.