Directories
¶
| Path | Synopsis |
|---|---|
|
Package artifactio safely materializes compiler artifact sets.
|
Package artifactio safely materializes compiler artifact sets. |
|
Package bddtest hosts the Godog step definitions and per-scenario World for the goplus spec suite.
|
Package bddtest hosts the Godog step definitions and per-scenario World for the goplus spec suite. |
|
Package cli implements the goplus command-line interface.
|
Package cli implements the goplus command-line interface. |
|
Package core is goplus's dependent type theory (v0.7.0): first-order terms over nat and enum-tag data, normalization by evaluation, definitional equality, a linear-arithmetic decider, structural termination checking, and the QTT quantity semiring.
|
Package core is goplus's dependent type theory (v0.7.0): first-order terms over nat and enum-tag data, normalization by evaluation, definitional equality, a linear-arithmetic decider, structural termination checking, and the QTT quantity semiring. |
|
Package diag defines goplus's user-facing diagnostics.
|
Package diag defines goplus's user-facing diagnostics. |
|
Package directive parses and renders goplus directive comments:
|
Package directive parses and renders goplus directive comments: |
|
Package emit assembles, formats, and writes generated Go files.
|
Package emit assembles, formats, and writes generated Go files. |
|
Package gen orchestrates generation: it drives parsing, naming, lowering, and emission for every package matched by the CLI's patterns.
|
Package gen orchestrates generation: it drives parsing, naming, lowering, and emission for every package matched by the CLI's patterns. |
|
Package goml implements the v0 goml front end: an ML-family surface (SML/OCaml/Idris2/Lean4 flavored) for the Go+ core.
|
Package goml implements the v0 goml front end: an ML-family surface (SML/OCaml/Idris2/Lean4 flavored) for the Go+ core. |
|
Package javabackend emits deterministic Java 25 source from the typed Go shadow produced by the Go+ front end.
|
Package javabackend emits deterministic Java 25 source from the typed Go shadow produced by the Go+ front end. |
|
Package javaclass reads Java class metadata directly from JAR/JMOD files.
|
Package javaclass reads Java class metadata directly from JAR/JMOD files. |
|
Package javaffi prepares target-tagged java: imports for the ordinary Go+ elaborator.
|
Package javaffi prepares target-tagged java: imports for the ordinary Go+ elaborator. |
|
Package javatool compiles Java 25 artifact sets without relying on Maven, Gradle, or the JDK jar command.
|
Package javatool compiles Java 25 artifact sets without relying on Maven, Gradle, or the JDK jar command. |
|
Package lower computes and applies the text edits that turn Go+ source into Go.
|
Package lower computes and applies the text edits that turn Go+ source into Go. |
|
The server's dispatch layer, authored in goplus: incoming work is an enum, routing is a match, and extending the server means adding a variant and an arm — the language serving itself.
|
The server's dispatch layer, authored in goplus: incoming work is an enum, routing is a match, and extending the server means adding a variant and an arm — the language serving itself. |
|
Package mavencentral creates and uploads Maven Central Portal bundles.
|
Package mavencentral creates and uploads Maven Central Portal bundles. |
|
Package naming implements the lowered-name scheme: a lowered function keeps its method's own name when that name is unique in the package, falling back to the receiver-prefixed concatenation when it collides — the same discipline enum variant structs use.
|
Package naming implements the lowered-name scheme: a lowered function keeps its method's own name when that name is unique in the package, falling back to the receiver-prefixed concatenation when it collides — the same discipline enum variant structs use. |
|
Package projectconfig loads the target configuration for a Go+ module.
|
Package projectconfig loads the target configuration for a Go+ module. |
|
Package registry indexes the generic methods visible to a compilation: those declared in the packages being generated, plus those advertised by dependency packages via //goplus:method markers in their distributed Go.
|
Package registry indexes the generic methods visible to a compilation: those declared in the packages being generated, plus those advertised by dependency packages via //goplus:method markers in their distributed Go. |
|
Package resolve rewrites Go+ method-syntax uses of generic methods into calls (or closures) over the lowered package-level functions.
|
Package resolve rewrites Go+ method-syntax uses of generic methods into calls (or closures) over the lowered package-level functions. |
|
Package sourcemap maps positions in emitted Go back to .gp source.
|
Package sourcemap maps positions in emitted Go back to .gp source. |
|
Package syntax parses .gp source: Go grammar plus Go+'s extensions — type parameters on methods (v0.1.0), enum declarations and match statements (v0.2.0).
|
Package syntax parses .gp source: Go grammar plus Go+'s extensions — type parameters on methods (v0.1.0), enum declarations and match statements (v0.2.0). |
|
parser
Go+ extension nodes and entry points.
|
Go+ extension nodes and entry points. |
|
Package toolchain delegates to the standard go tool.
|
Package toolchain delegates to the standard go tool. |
|
Package version is the single source of the toolchain version — a leaf package so both the CLI and the emitter (which stamps generated files) can share it without cycles.
|
Package version is the single source of the toolchain version — a leaf package so both the CLI and the emitter (which stamps generated files) can share it without cycles. |
Click to show internal directories.
Click to hide internal directories.