Yume
Public Member Functions | Public Attributes | List of all members
yume::GenericKey Struct Reference

#include <substitution.hpp>

Collaboration diagram for yume::GenericKey:
Collaboration graph
[legend]

Public Member Functions

 GenericKey (string_view name)
 
 GenericKey (string_view name, nonnull< ast::Type * > type)
 
auto holds_type () const -> bool
 
auto holds_expr () const -> bool
 
auto operator== (const GenericKey &other) const noexcept -> bool=default
 
auto operator<=> (const GenericKey &other) const noexcept=default
 

Public Attributes

string name {}
 
nullable< ast::Type * > expr_type {}
 

Detailed Description

Definition at line 17 of file substitution.hpp.

Constructor & Destructor Documentation

◆ GenericKey() [1/2]

yume::GenericKey::GenericKey ( string_view  name)
inline

Definition at line 22 of file substitution.hpp.

◆ GenericKey() [2/2]

yume::GenericKey::GenericKey ( string_view  name,
nonnull< ast::Type * >  type 
)
inline

Definition at line 23 of file substitution.hpp.

Member Function Documentation

◆ holds_expr()

auto yume::GenericKey::holds_expr ( ) const -> bool
inline

Definition at line 26 of file substitution.hpp.

References expr_type.

◆ holds_type()

auto yume::GenericKey::holds_type ( ) const -> bool
inline

Definition at line 25 of file substitution.hpp.

References expr_type.

◆ operator<=>()

auto yume::GenericKey::operator<=> ( const GenericKey other) const
defaultnoexcept

◆ operator==()

auto yume::GenericKey::operator== ( const GenericKey other) const -> bool=default
defaultnoexcept

Member Data Documentation

◆ expr_type

nullable<ast::Type*> yume::GenericKey::expr_type {}

Definition at line 19 of file substitution.hpp.

Referenced by holds_expr(), and holds_type().

◆ name

string yume::GenericKey::name {}

Definition at line 18 of file substitution.hpp.


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