kirin.dialects.func.stmts.Lambda

← Module overview

classLambda¶source

kirin.dialects.func.stmts.Lambda

Bases: ir.Statement

class Lambda

Public import paths

• from kirin.dialects.func import Lambda
• from kirin.dialects.func.interp import Lambda
• from kirin.dialects.func.constprop import Lambda
• from kirin.dialects.func.typeinfer import Lambda
• from kirin.dialects.func.rewrite.lambdalifting import Lambda

Attributes

Name	Type	Default	Description
name	—	'lambda'
traits	—	frozenset({ir.Pure(), ir.HasSignature(), ir.SymbolOpInterface(), FuncOpCallableInterface(), ir.HasCFG(), ir.SSACFG()})
sym_name	str	info.attribute()
slots	tuple[str, ...]	info.attribute(default=())	The argument names of the function.
signature	Signature	info.attribute()	The signature of the function at declaration.
captured	tuple[ir.SSAValue, ...]	info.argument()
body	ir.Region	info.region(multi=True)
result	ir.ResultValue	info.result(types.MethodType)

methodcheck¶source

kirin.dialects.func.stmts.Lambda.check

def check() -> None

source

methodprint_impl¶source

kirin.dialects.func.stmts.Lambda.print_impl

def print_impl(printer: Printer) -> None

Parameters

Name	Type	Description
printer	Printer

source