| com.io7m.jpra.compiler.core |
Shared compiler types.
|
| com.io7m.jpra.compiler.core.checker |
Type checking.
|
| com.io7m.jpra.compiler.core.driver |
Driver.
|
| com.io7m.jpra.compiler.core.parser |
Parser.
|
| com.io7m.jpra.compiler.core.pipeline |
Compiler pipeline.
|
| com.io7m.jpra.compiler.core.resolver |
Name resolution.
|
| com.io7m.jpra.compiler.frontend |
Command line compiler frontend.
|
| com.io7m.jpra.compiler.java |
Java backend for the compiler.
|
| com.io7m.jpra.core |
Core types.
|
| com.io7m.jpra.documentation |
Documentation.
|
| com.io7m.jpra.model |
Types and functions implementing the jpra type_model.
|
| com.io7m.jpra.model.contexts |
Context types.
|
| com.io7m.jpra.model.loading |
Model loading.
|
| com.io7m.jpra.model.names |
Unresolved name types.
|
| com.io7m.jpra.model.size_expressions |
Size expressions.
|
| com.io7m.jpra.model.statements |
Statements.
|
| com.io7m.jpra.model.type_declarations |
Type declarations.
|
| com.io7m.jpra.model.type_expressions |
Type expressions.
|
| com.io7m.jpra.model.types |
Types.
|
| com.io7m.jpra.runtime.java |
Runtime components.
|