Directories
¶
| Path | Synopsis |
|---|---|
|
Package ast defines the lossless syntax tree.
|
Package ast defines the lossless syntax tree. |
|
Package checker resolves names, infers local declaration types, validates assignments/returns, and records a type for every portable expression.
|
Package checker resolves names, infers local declaration types, validates assignments/returns, and records a type for every portable expression. |
|
Package compiler owns the public compilation pipeline.
|
Package compiler owns the public compilation pipeline. |
|
Package declaration defines compiler-owned type information supplied by runtime-library providers.
|
Package declaration defines compiler-owned type information supplied by runtime-library providers. |
|
Package formatter implements a deterministic, comment-preserving TypeRB printer.
|
Package formatter implements a deterministic, comment-preserving TypeRB printer. |
|
Package ir defines the resolved, target-independent representation consumed by every backend.
|
Package ir defines the resolved, target-independent representation consumed by every backend. |
|
Package lexer provides the lossless lexical layer used by both the compiler and formatter.
|
Package lexer provides the lossless lexical layer used by both the compiler and formatter. |
|
Package lower converts checked syntax AST into the normalized IR.
|
Package lower converts checked syntax AST into the normalized IR. |
|
Package packages generates target package-manager manifests from trbconfig.jsonc.
|
Package packages generates target package-manager manifests from trbconfig.jsonc. |
|
Package parser implements TypeRB's handwritten recursive-descent and Pratt parsers.
|
Package parser implements TypeRB's handwritten recursive-descent and Pratt parsers. |
|
Package playground serves the local TypeRB playground and guided tour.
|
Package playground serves the local TypeRB playground and guided tour. |
|
Package project owns trbconfig.jsonc discovery, validation, and persistence.
|
Package project owns trbconfig.jsonc discovery, validation, and persistence. |
|
Package repl implements TypeRB's project-aware interactive evaluator.
|
Package repl implements TypeRB's project-aware interactive evaluator. |
|
Package resolver turns syntax imports into project or compiler-known package identities before type checking.
|
Package resolver turns syntax imports into project or compiler-known package identities before type checking. |
|
Package stdlib describes compiler-known portable and platform packages.
|
Package stdlib describes compiler-known portable and platform packages. |
|
Package typeprovider loads compiler-owned declaration graphs for explicitly imported platform packages.
|
Package typeprovider loads compiler-owned declaration graphs for explicitly imported platform packages. |
|
rails
Package rails supplies TypeRB declarations for Rails and derives ActiveRecord model types from db/schema.rb.
|
Package rails supplies TypeRB declarations for Rails and derives ActiveRecord model types from db/schema.rb. |
|
rails/schema
Package schema defines the normalized AST for the subset of Rails schema DSL that contributes model types.
|
Package schema defines the normalized AST for the subset of Rails schema DSL that contributes model types. |
|
Package types contains target-independent semantic types.
|
Package types contains target-independent semantic types. |
Click to show internal directories.
Click to hide internal directories.