language-lustre: A parser and AST for the Lustre language.
A parser and AST for the Lustre language (specifically Lustre V6).
Modules
[Index] [Quick Jump]
- Language
- Lustre
- Language.Lustre.AST
- Language.Lustre.Core
- Language.Lustre.Defines
- Language.Lustre.Driver
- Language.Lustre.Error
- Language.Lustre.ModelState
- Language.Lustre.Monad
- Language.Lustre.Name
- Language.Lustre.Panic
- Language.Lustre.Parser
- Language.Lustre.Phase
- Language.Lustre.Pretty
- Semantics
- Transform
- Language.Lustre.TypeCheck
- Language.Lustre.Utils
- Lustre
Downloads
- language-lustre-1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 1.0.0 |
|---|---|
| Change log | ChangeLog.md |
| Dependencies | alex-tools (>=0.4), array, base (>=4.7 && <5), bytestring, containers, GraphSCC, language-lustre, monadLib (>=3.8), panic, pretty, simple-get-opt (>=0.4 && <0.5), text [details] |
| License | ISC |
| Author | Iavor Diatchki |
| Maintainer | iavor.diatchki@gmail.com |
| Uploaded | by aschwerdfeger_galois at 2026-07-06T16:10:13Z |
| Category | Development |
| Source repo | this: git clone https://github.com/GaloisInc/lustre.git(tag v1.0.0) |
| Distributions | |
| Executables | lustre |
| Downloads | 4 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2026-07-06 [all 1 reports] |