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

TypeAssigner

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def assign(tree: Tree)(using Context): Tree
def assignCall(expr: Call)(using Context): Tree
def assignError(expr: Error)(using Context): Tree
def assignFunRef(f: FunRef)(using Context): Tree
def assignIdPattern(expr: IdPattern)(using Context): Tree
def assignInfixCall(expr: InfixCall)(using Context): Tree
def assignIte(expr: Ite)(using Context): Ite
def assignLet(expr: Let)(using Context): Tree
def assignLiteralPattern[T](expr: LiteralPattern[T])(using Context): Tree
def assignMatch(expr: Match)(using Context): Tree
def assignMatchCase(expr: MatchCase)(using Context): Tree
def assignModule(module: ModuleDef)(using Context): ModuleDef
def assignNeg(expr: Neg)(using Context): Tree
def assignNot(expr: Not)(using Context): Tree
def assignParamDef(df: ParamDef)(using Context): Tree
def assignProgram(prog: Program)(using Context): Program
def assignSequence(seq: Sequence)(using Context): Tree
def assignType(tt: TypeTree)(using Context): Tree
def bound(lhs: Type, rhs: Type)(using Context): Type
def infer(tree: Tree)(using Context): Tree
def isBounded(tpe: Type)(using Context): Boolean
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