mim::ast Namespace Reference

Classes
struct	AnnexInfo
class	AST
class	Node
class	Expr
class	Decl
class	ValDecl
class	Ptrn
class	ErrorPtrn
class	IdPtrn
	dbg: type More...
class	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	AliasPtrn
	ptrn as id More...
class	TuplePtrn
	(ptrn_0, ..., ptrn_n-1), [ptrn_0, ..., ptrn_n-1], or {ptrn_0, ..., ptrn_n-1} More...
class	ErrorExpr
class	HoleExpr
class	IdExpr
	sym More...
class	PrimaryExpr
	tag More...
class	LitExpr
	tok:type More...
class	DeclExpr
	decls e or e where decls if where is true. More...
class	TypeExpr
	Type level More...
class	RuleExpr
	Reform (type of a rule) Rule type. More...
class	UnionExpr
	t1 ∪ t2 More...
class	InjExpr
	value inj t1 ∪ t2 More...
class	MatchExpr
class	ArrowExpr
	dom -> codom More...
class	PiExpr
	One of: More...
class	LamExpr
	Wraps a LamDecl as Expr. More...
class	AppExpr
	callee arg More...
class	RetExpr
	ret ptrn = callee $ arg; body More...
class	SigmaExpr
	Just wraps TuplePtrn as Expr. More...
class	TupleExpr
	(elem_0, ..., elem_n-1) More...
class	SeqExpr
	«dbg: arity; body» or ‹dbg: arity; body› More...
class	ExtractExpr
	tuple#index More...
class	InsertExpr
	ins(tuple, index, value) More...
class	UniqExpr
	⦃ expr ⦄ More...
class	LetDecl
	let ptrn: type = value; More...
class	AxmDecl
	axm ptrn: type = value; More...
class	RecDecl
	.rec dbg: type = body More...
class	LamDecl
	One of: More...
class	CDecl
	cfun dbg dom -> codom More...
class	RuleDecl
	rewrite rules rule (x:T, y:T) : x+y => y+x (when ); all meta variables have to be introduced More...
class	Import
class	Module
class	Lexer
class	Parser
	Parses Mim code as AST. More...
class	Tok
class	DummyDecl
class	Scopes
class	Emitter
struct	S
struct	R
struct	AnnexInfo.sym
struct	AnnexInfo.id

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

Enumerations
enum class	Assoc {   N ,   L ,   R }
	Associativity of an infix expression. More...
enum class	Prec
	Expression precedences used by the parser and the dumper; ordered low to high. More...

Functions
AST	load_plugins (World &, View< Sym >)
AST	load_plugins (World &w, View< std::string > plugins)
AST	load_plugin (World &w, Sym sym)
AST	load_plugin (World &w, const std::string &plugin)
constexpr Assoc	prec_assoc (Prec p)
	Associativity of precedence level p.
constexpr bool	is_rassoc (Prec p)
constexpr bool	is_lassoc (Prec p)
constexpr bool	should_reduce (Prec curr, Prec op)
	Should a Pratt parser reduce when the current binding power is curr and the infix operator has precedence op?
static std::optional< nat_t >	isa_math_f (Emitter &e, const Def *type)
	If type is a math.F type of known precision/exponent, yields its bit width.
static u64	encode_f (Emitter &e, Loc loc, const Def *t, u64 bits)
	A float Tok stores its value as mim::f64 bits; re-encode them for the width of the annotated type t.
std::ostream operator
std::ostream &	operator<< (std::ostream &os, Tok tok)

Variables
constexpr size_t	Look_Ahead = 2
constexpr auto	Num_Keys = size_t(0) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1)

---

Class Documentation

mim::ast::AnnexInfo.sym

struct mim::ast::AnnexInfo.sym

Definition at line 38 of file ast.h.

Class Members
Sym	plugin
Sym	tag

mim::ast::AnnexInfo.id

struct mim::ast::AnnexInfo.id

Definition at line 42 of file ast.h.

Class Members
u8	curry
tag_t	tag
u8	trip

Typedef Documentation

Dbgs

using mim::ast::Dbgs = std::deque<Dbg>

Definition at line 25 of file ast.h.

Ptr

template<class T>

using mim::ast::Ptr = fe::Arena::Ptr<const T>

Definition at line 22 of file ast.h.

Ptrs

template<class T>

using mim::ast::Ptrs = std::deque<Ptr<T>>

Definition at line 24 of file ast.h.

Tag

using mim::ast::Tag = Tok::Tag

Definition at line 7 of file bind.cpp.

Enumeration Type Documentation

Assoc

enum class mim::ast::Assoc

strong

Associativity of an infix expression.

Enumerator
N
L
R

Definition at line 35 of file tok.h.

Prec

enum class mim::ast::Prec

strong

Expression precedences used by the parser and the dumper; ordered low to high.

Definition at line 38 of file tok.h.

Function Documentation

encode_f()

u64 mim::ast::encode_f ( Emitter & e, Loc loc, const Def * t, u64 bits )

static

A float Tok stores its value as mim::f64 bits; re-encode them for the width of the annotated type t.

Definition at line 194 of file emit.cpp.

References mim::error(), and isa_math_f().

Referenced by mim::ast::LitExpr::emit_().

is_lassoc()

bool mim::ast::is_lassoc ( Prec p )

constexpr

Definition at line 56 of file tok.h.

References L, and prec_assoc().

is_rassoc()

bool mim::ast::is_rassoc ( Prec p )

constexpr

Definition at line 55 of file tok.h.

References prec_assoc(), and R.

Referenced by should_reduce().

isa_math_f()

std::optional< nat_t > mim::ast::isa_math_f ( Emitter & e, const Def * type )

static

If type is a math.F type of known precision/exponent, yields its bit width.

Note that libmim must not depend on the generated math plugin header, so lookup the Axm at runtime instead.

Definition at line 181 of file emit.cpp.

References mim::App::callee().

Referenced by encode_f().

load_plugin() [1/2]

AST mim::ast::load_plugin ( World & w, const std::string & plugin )

inline

Definition at line 1147 of file ast.h.

References load_plugin().

load_plugin() [2/2]

AST mim::ast::load_plugin ( World & w, Sym sym )

inline

Definition at line 1146 of file ast.h.

References load_plugins().

Referenced by load_plugin().

load_plugins() [1/2]

AST mim::ast::load_plugins	(	World &	world,
		View< Sym >	plugins )

Definition at line 243 of file ast.cpp.

References mim::Flags::bootstrap, mim::World::driver(), and mim::Driver::flags().

Referenced by load_plugin(), and load_plugins().

load_plugins() [2/2]

AST mim::ast::load_plugins ( World & w, View< std::string > plugins )

inline

Definition at line 1143 of file ast.h.

References load_plugins().

operator<<()

std::ostream & mim::ast::operator<<	(	std::ostream &	os,
		Tok	tok )

Definition at line 30 of file tok.cpp.

prec_assoc()

Assoc mim::ast::prec_assoc ( Prec p )

constexpr

Associativity of precedence level p.

Definition at line 45 of file tok.h.

References CODE, and MIM_PREC.

Referenced by is_lassoc(), and is_rassoc().

should_reduce()

bool mim::ast::should_reduce ( Prec curr, Prec op )

constexpr

Should a Pratt parser reduce when the current binding power is curr and the infix operator has precedence op?

Definition at line 60 of file tok.h.

References is_rassoc().

Variable Documentation

Look_Ahead

size_t mim::ast::Look_Ahead = 2

constexpr

Definition at line 10 of file parser.h.

Num_Keys

auto mim::ast::Num_Keys = size_t(0) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1) + size_t(1)

constexpr

Definition at line 112 of file tok.h.