#include <thorin/ast/ast.h>

Inheritance diagram for thorin::ast::LamDecl::Dom:

Public Member Functions
	Dom (Loc loc, bool is_implicit, Ptr< Ptrn > &&ptrn, Ptr< Expr > &&filter)

const Expr *	filter () const

void	bind (Scopes &scopes, bool quiet=false) const override

Lam *	emit_value (Emitter &) const

std::ostream &	stream (Tab &, std::ostream &) const override

Public Member Functions inherited from thorin::ast::PiExpr::Dom
	Dom (Loc loc, bool is_implicit, Ptr< Ptrn > &&ptrn)

bool	is_implicit () const

const Ptrn *	ptrn () const

const IdPtrn *	ret () const

void	add_ret (AST &ast, Ptr< Expr > &&type) const

virtual void	emit_type (Emitter &) const

std::ostream &	stream (Tab &, std::ostream &) const override

Public Member Functions inherited from thorin::ast::Node
Loc	loc () const

void	dump () const

Friends
class	LamDecl

Additional Inherited Members
Protected Member Functions inherited from thorin::ast::Node
	Node (Loc loc)

virtual	~Node ()

Protected Attributes inherited from thorin::ast::PiExpr::Dom
Pi *	pi_ = nullptr

Pi *	decl_ = nullptr

Detailed Description

Definition at line 818 of file ast.h.

Constructor & Destructor Documentation

◆ Dom()

thorin::ast::LamDecl::Dom::Dom	(	Loc	loc,
		bool	is_implicit,
		Ptr< Ptrn > &&	ptrn,
		Ptr< Expr > &&	filter
	)

inline

Definition at line 820 of file ast.h.

Member Function Documentation

◆ bind()

void thorin::ast::LamDecl::Dom::bind	(	Scopes &	scopes,
		bool	quiet = `false`
	)		const

overridevirtual

Reimplemented from thorin::ast::PiExpr::Dom.

Definition at line 284 of file bind.cpp.

References thorin::ast::PiExpr::Dom::bind().

◆ emit_value()

Lam * thorin::ast::LamDecl::Dom::emit_value ( Emitter & e ) const

Definition at line 403 of file emit.cpp.

◆ filter()

const Expr * thorin::ast::LamDecl::Dom::filter ( ) const

inline

Definition at line 824 of file ast.h.

◆ stream()

std::ostream & thorin::ast::LamDecl::Dom::stream	(	Tab &	tab,
		std::ostream &	os
	)		const

overridevirtual

Implements thorin::ast::Node.

Definition at line 188 of file stream.cpp.

References thorin::print().

Friends And Related Symbol Documentation

◆ LamDecl

friend class LamDecl

friend

Definition at line 834 of file ast.h.

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

include/thorin/ast/ast.h
src/thorin/ast/bind.cpp
src/thorin/ast/emit.cpp
src/thorin/ast/stream.cpp

Public Member Functions

Friends

Additional Inherited Members