amy-language
API
Generated with
amy-language/amyc/amyc.typer/TypeInferer

TypeInferer

amyc.typer.TypeInferer$
object TypeInferer extends Pipeline[Program, Program]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def constraintsExpr(expr: Expr)(using Context): List[(Type, Type)]
def constraintsFunDef(fd: FunDef)(using Context): List[(Type, Type)]
override def run(program: Program)(using Context): Program

Attributes

Definition Classes

Inherited methods

def andThen[G](thenn: Pipeline[Program, G]): Pipeline[F, G]

Attributes

Inherited from:
Pipeline

Concrete fields

override val name: String
Generated with