Skip to content
kirin-toolchain
Typeinfer
Initializing search
kirin-toolchain
Home
Cookbook
Blog
API Reference
kirin-toolchain
kirin-toolchain
Home
Home
Installation
Declarations
Interpretation
Analysis
Dialects
Dialects
Python
Python
Core
Data
Syntax Sugar
Special Functions
Function
Control Flow
Structural Control Flow
Immutable List
Compiler 101
Comparison
Contributing
Cookbook
Cookbook
examples
examples
Beer Dialect
Beer Dialect
Advance Rewrite
Blog
Blog
Archive
Archive
2024
API Reference
API Reference
Prelude
IR
IR
Nodes
Nodes
Base
Block
Region
Stmt
View
SSA values
Attributes
Attributes
Abc
Py
Types
Traits
Traits
Abc
Basic
Callable
Symbol
Lowering
Lowering
Call
Context
Region
Region
Ssacfg
Dialect
Dialect Group
Method
Interpreter
Interpreter
Abstract
Base
Concrete
Exceptions
Frame
Impl
Result
State
Table
Value
Python Lowering
Python Lowering
Binding
Core
Dialect
Frame
Result
State
Stream
Analysis
Analysis
CFG
Call Graph
Forward Dataflow
Type Inference
Type Inference
Analysis
Solve
Constant Propagation
Constant Propagation
Lattice
Prop
Rewrite
Rewrite
Generic
Generic
Abc
Alias
Apply type
Call2invoke
Chain
Compactify
Cse
Dce
Fixpoint
Fold
Getfield
Getitem
Inline
Result
Walk
Wrap const
Aggressive
Aggressive
Fold
Rules
Method Pass
Method Pass
Abc
Fold
Inline
Typeinfer
Typeinfer
Table of contents
typeinfer
Aggressive
Aggressive
Fold
Code Generation
Pretty Printing
Pretty Printing
Printable
Printer
IR declaration
IR declaration
Base
Camel2snake
Info
Scan fields
Verify
Emit
Emit
Dialect
Init
Name
Property
Repr
Traits
Typecheck
Verify
Exceptions
Data Structures
Data Structures
Lattice
Graph
IdTable
Source
WorkList
Table of contents
typeinfer
Typeinfer
Back to top