yorch::value_t< T > Struct Template Reference

Stores a concrete value inside a spec. More...

#include <specs.hpp>

Public Types
using	stored_type = T
	Materialized type kept by this spec.

Public Attributes
T	v
	Owned payload forwarded from value(...).

Detailed Description

template<typename T>
struct yorch::value_t< T >

Stores a concrete value inside a spec.

value_t<T> owns the object it carries so the bound argument can be resolved later without depending on the lifetime of the original expression.

Template Parameters

T	Stored value type. Must not be a reference.

Definition at line 83 of file specs.hpp.

Member Typedef Documentation

stored_type

template<typename T >

using yorch::value_t< T >::stored_type = T

Materialized type kept by this spec.

Definition at line 85 of file specs.hpp.

Member Data Documentation

v

template<typename T >

T yorch::value_t< T >::v

Owned payload forwarded from value(...).

Definition at line 91 of file specs.hpp.

---

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

• include/yorch/specs.hpp