morph::forms::RuleLiteral Concept Reference

Constraint: literal types equals(...) accepts — the closed, JSON-representable scalar set a field can hold. Restricting the literal type keeps equals losslessly serialisable into x-rules's value key (see forms.md): a numeric literal is always the exact math::Rational, never a double. More...

#include <forms.hpp>

Concept definition

template<typename T>
concept RuleLiteral = std::same_as<T, std::int64_t> || std::same_as<T, bool> || std::same_as<T, std::string> ||
                      std::same_as<T, ::morph::math::Rational> || detail::isLiteralString<T>

Detailed Description

Constraint: literal types equals(...) accepts — the closed, JSON-representable scalar set a field can hold. Restricting the literal type keeps equals losslessly serialisable into x-rules's value key (see forms.md): a numeric literal is always the exact math::Rational, never a double.

Definition at line 1248 of file forms.hpp.