dedekind::sets::IsConstant Concept Reference

A value that can stand as a constant beside a term: copyable, with state, and not itself part of the grammar (a term, a predicate, an arrow, or an empty tag). The term test comes first, so asking this of a carrier never asks for the carrier's own equality. More...

Concept definition

template<typename T>
concept dedekind::sets::IsConstant = 
    !IsTerm<T> && !IsRelPredicate<T> &&
    !is_runtime_term_v<std::remove_cvref_t<T>> &&
    !std::is_empty_v<std::remove_cvref_t<T>> &&
    !IsArrow<std::remove_cvref_t<T>> && std::copyable<std::remove_cvref_t<T>>

Detailed Description

A value that can stand as a constant beside a term: copyable, with state, and not itself part of the grammar (a term, a predicate, an arrow, or an empty tag). The term test comes first, so asking this of a carrier never asks for the carrier's own equality.

Template Parameters

T	the candidate.