A concept used to constrain a type to a valid relation catalog. A type is a valid relation catalog if it satisfies the is_valid_relation_catalog_v trait. More...

#include <concepts.hpp>

Concept definition

template<typename CandidateCatalog>

concept serif::eos::relations::ValidRelationCatalog = is_valid_relation_catalog_v<CandidateCatalog>

serif::eos::relations::ValidRelationCatalog

A concept used to constrain a type to a valid relation catalog. A type is a valid relation catalog if...

Definition concepts.hpp:36

serif::eos::relations::is_valid_relation_catalog_v

constexpr bool is_valid_relation_catalog_v

A trait to determine if a catalog is a valid relation catalog. This is a helper variable template tha...

Definition traits.hpp:118

Detailed Description

A concept used to constrain a type to a valid relation catalog. A type is a valid relation catalog if it satisfies the is_valid_relation_catalog_v trait.