yume::ty::Generic Class Reference

An unsubstituted generic type variable, usually something like T. More...

#include <type.hpp>

Inheritance diagram for yume::ty::Generic:

Collaboration diagram for yume::ty::Generic:

Public Member Functions
	Generic (string name)
auto	name () const -> string override
Public Member Functions inherited from yume::ty::BaseType
	BaseType (const BaseType &) noexcept=delete
	BaseType (BaseType &&) noexcept=delete
auto	operator= (const BaseType &) noexcept -> BaseType &=delete
auto	operator= (BaseType &&) noexcept -> BaseType &=delete
virtual	~BaseType ()=default
auto	kind () const -> Kind
auto	base_name () const -> string
virtual auto	name () const -> string=0

Additional Inherited Members
Protected Member Functions inherited from yume::ty::BaseType
	BaseType (Kind kind, string name)

Detailed Description

An unsubstituted generic type variable, usually something like T.

Note that two different functions with the same name for a type variable use two different instances of Generic.

Definition at line 178 of file type.hpp.

Constructor & Destructor Documentation

Generic()

yume::ty::Generic::Generic ( string  name )

inlineexplicit

Definition at line 180 of file type.hpp.

Member Function Documentation

name()

auto yume::ty::Generic::name ( ) const -> string

inlineoverridevirtual

Implements yume::ty::BaseType.

Definition at line 181 of file type.hpp.

References yume::ty::BaseType::base_name().

Referenced by yume::Substitutions::get_generic_fallback(), and yume::ty::visit_subs().

---

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

• src/yume/ty/type.hpp