identifier()

template<typename ID, typename Checker>

kumi::identifier< ID, Checker >::identifier ( ID const & id, Checker const & check )

inlineconstexprnoexcept

Constructs a identifier from an ID and a checker type.

Parameters

id	Identifier of the identifier.
check	Object performing the compile-time verification of the identifier's value.

#include <kumi/kumi.hpp>
#include <iostream>
 
using namespace kumi::literals;
 
inline constexpr auto char_value  = kumi::identifier("character"_id, kumi::only<char>);
 
int main()
{
  std::cout << kumi::record{ char_value  = 'Z' } << "\n";
}