ast.h File Reference

#include <deque>
#include <memory>
#include <fe/arena.h>
#include <fe/assert.h>
#include <fe/cast.h>
#include "mim/driver.h"
#include "mim/ast/tok.h"

Include dependency graph for ast.h:

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

Go to the source code of this file.

Classes
struct	mim::ast::AnnexInfo
class	mim::ast::AST
class	mim::ast::Node
class	mim::ast::Expr
class	mim::ast::Decl
class	mim::ast::ValDecl
class	mim::ast::Ptrn
class	mim::ast::ErrorPtrn
class	mim::ast::IdPtrn
	dbg: type More...
class	mim::ast::GrpPtrn
	If you have x1 x2 x3 x4: T it consists of 3 GrpPtrns and 1 IdPtrn while each GrpPtrn references the last IdPtrn. More...
class	mim::ast::AliasPtrn
	ptrn as id More...
class	mim::ast::TuplePtrn
	(ptrn_0, ..., ptrn_n-1), [ptrn_0, ..., ptrn_n-1], or {ptrn_0, ..., ptrn_n-1} More...
class	mim::ast::ErrorExpr
class	mim::ast::HoleExpr
class	mim::ast::IdExpr
	sym More...
class	mim::ast::PrimaryExpr
	tag More...
class	mim::ast::LitExpr
	tok:type More...
class	mim::ast::DeclExpr
	decls e or e where decls if where is true. More...
class	mim::ast::TypeExpr
	Type level More...
class	mim::ast::UnionExpr
	t1 ∪ t2 More...
class	mim::ast::InjExpr
	value inj t1 ∪ t2 More...
class	mim::ast::MatchExpr
class	mim::ast::MatchExpr::Arm
class	mim::ast::ArrowExpr
	dom -> codom More...
class	mim::ast::PiExpr
	One of: More...
class	mim::ast::PiExpr::Dom
class	mim::ast::LamExpr
	Wraps a LamDecl as Expr. More...
class	mim::ast::AppExpr
	callee arg More...
class	mim::ast::RetExpr
	ret ptrn = callee $ arg; body More...
class	mim::ast::SigmaExpr
	Just wraps TuplePtrn as Expr. More...
class	mim::ast::TupleExpr
	(elem_0, ..., elem_n-1) More...
class	mim::ast::SeqExpr
	«dbg: arity; body» or ‹dbg: arity; body› More...
class	mim::ast::ExtractExpr
	tuple#index More...
class	mim::ast::InsertExpr
	ins(tuple, index, value) More...
class	mim::ast::UniqExpr
	⦃ expr ⦄ More...
class	mim::ast::LetDecl
	let ptrn: type = value; More...
class	mim::ast::AxmDecl
	axm ptrn: type = value; More...
class	mim::ast::AxmDecl::Alias
class	mim::ast::RecDecl
	.rec dbg: type = body More...
class	mim::ast::LamDecl
	One of: More...
class	mim::ast::LamDecl::Dom
class	mim::ast::CDecl
	cfun dbg dom -> codom More...
class	mim::ast::RuleDecl
	rewrite rules rule (x:T, y:T) : x+y => y+x (when ); all meta variables have to be introduced More...
class	mim::ast::Import
class	mim::ast::Module
struct	mim::ast::AnnexInfo.sym
struct	mim::ast::AnnexInfo.id

Namespaces
namespace	mim
namespace	mim::ast

Typedefs
template<class T>
using	mim::ast::Ptr = fe::Arena::Ptr<const T>
template<class T>
using	mim::ast::Ptrs = std::deque<Ptr<T>>
using	mim::ast::Dbgs = std::deque<Dbg>

Functions
AST	mim::ast::load_plugins (World &, View< Sym >)
AST	mim::ast::load_plugins (World &w, View< std::string > plugins)
AST	mim::ast::load_plugins (World &w, Sym sym)
AST	mim::ast::load_plugins (World &w, const std::string &plugin)

---

Class Documentation

mim::ast::AnnexInfo.sym

struct mim::ast::AnnexInfo.sym

Definition at line 34 of file ast.h.

Class Members
Sym	plugin
Sym	tag

mim::ast::AnnexInfo.id

struct mim::ast::AnnexInfo.id

Definition at line 37 of file ast.h.

Class Members
uint8_t	curry
plugin_t	plugin
tag_t	tag
uint8_t	trip