commrat::ValidatePrimaryInput< PrimaryInputSpec, InputSpec > Struct Template Reference

Validate that PrimaryInput<T> is compatible with Inputs<Ts...> More...

#include <commrat/module/io_spec.hpp>

Public Types
using	PrimaryPayload = typename PrimaryInputSpec::PayloadType
using	InputsPayloadTypes = typename InputSpec::PayloadTypes

Static Public Attributes
static constexpr size_t	primary_index
static constexpr bool	value = true

Detailed Description

template<typename PrimaryInputSpec, typename InputSpec>
struct commrat::ValidatePrimaryInput< PrimaryInputSpec, InputSpec >

Validate that PrimaryInput<T> is compatible with Inputs<Ts...>

Ensures compile-time safety: the primary input type must be one of the input types in the Inputs<...> specification.

Template Parameters

PrimaryInputSpec	Must be PrimaryInput<T>
InputSpec	Must be Inputs<Ts...> where T is in Ts...

Definition at line 565 of file io_spec.hpp.

Member Typedef Documentation

InputsPayloadTypes

template<typename PrimaryInputSpec , typename InputSpec >

using commrat::ValidatePrimaryInput< PrimaryInputSpec, InputSpec >::InputsPayloadTypes = typename InputSpec::PayloadTypes

Definition at line 573 of file io_spec.hpp.

PrimaryPayload

template<typename PrimaryInputSpec , typename InputSpec >

using commrat::ValidatePrimaryInput< PrimaryInputSpec, InputSpec >::PrimaryPayload = typename PrimaryInputSpec::PayloadType

Definition at line 572 of file io_spec.hpp.

Member Data Documentation

primary_index

template<typename PrimaryInputSpec , typename InputSpec >

constexpr size_t commrat::ValidatePrimaryInput< PrimaryInputSpec, InputSpec >::primary_index

staticconstexpr

Initial value:

= 
        PrimaryInputIndex_v<PrimaryPayload, InputsPayloadTypes>

Definition at line 576 of file io_spec.hpp.

value

template<typename PrimaryInputSpec , typename InputSpec >

constexpr bool commrat::ValidatePrimaryInput< PrimaryInputSpec, InputSpec >::value = true

staticconstexpr

Definition at line 579 of file io_spec.hpp.

---

The documentation for this struct was generated from the following file:

• commrat/module/io_spec.hpp