kirin.dialects.ilist.stmts.Range

← Module overview

classRange¶source

kirin.dialects.ilist.stmts.Range

Bases: ir.Statement

class Range

Public import paths

• from kirin.dialects.ilist.interp import Range
• from kirin.dialects.ilist.typeinfer import Range
• from kirin.dialects.lowering.range import IListRange

Attributes

Name	Type	Default	Description
name	—	'range'
traits	—	frozenset({ir.Pure(), lowering.FromPythonRangeLike()})
start	ir.SSAValue	info.argument(types.Int)
stop	ir.SSAValue	info.argument(types.Int)
step	ir.SSAValue	info.argument(types.Int)
result	ir.ResultValue	info.result(IListType[types.Int, types.Any])