type.hpp File Reference

#include "ast/ast.hpp"
#include "qualifier.hpp"
#include "ty/substitution.hpp"
#include "ty/type_base.hpp"
#include "util.hpp"
#include <array>
#include <cstdint>
#include <llvm/IR/Type.h>
#include <map>
#include <memory>
#include <string>
#include <utility>
#include <vector>

Include dependency graph for type.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	yume::ty::Int
	A built-in integral type, such as I32 or Bool. More...
class	yume::ty::Nil
	The null type, Nil. More...
class	yume::ty::Ptr
	A "qualified" type, with a stackable qualifier, i.e. ptr. More...
class	yume::ty::Struct
	An user-defined struct type with associated fields. More...
class	yume::ty::Function
	A function pointer type. More...
class	yume::ty::Generic
	An unsubstituted generic type variable, usually something like T. More...
class	yume::ty::OpaqueSelf
	The "self" type of abstract or overriding functions. An extra layer of indirection is introduced for type erasure. More...
class	yume::ty::Meta
	A metatype, that is, a type referring to a type. More...

Namespaces
namespace	llvm
namespace	yume
namespace	yume::ast
namespace	yume::ty