amyc.typer
package amyc.typer
Members list
Type members
Classlikes
object TypeAssigner extends Pipeline[Program, Program]
Attributes
- Supertypes
- Self type
-
TypeAssigner.type
object TypeChecker extends Pipeline[Program, Program]
Attributes
- Supertypes
- Self type
-
TypeChecker.type
object TypeInferer extends Pipeline[Program, Program]
Attributes
- Supertypes
- Self type
-
TypeInferer.type
In this article