dhall: A configuration language guaranteed to terminate
Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator.
Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.
Read Dhall.Tutorial to learn how to use this library
Modules
[Index] [Quick Jump]
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| with-http | Include support for importing dhall modules from HTTP URLs | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- dhall-1.17.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, 1.0.1, 1.0.2, 1.1.0, 1.2.0, 1.3.0, 1.4.0, 1.4.1, 1.4.2, 1.5.0, 1.5.1, 1.6.0, 1.7.0, 1.8.0, 1.8.1, 1.8.2, 1.9.0, 1.9.1, 1.10.0, 1.11.0, 1.11.1, 1.12.0, 1.13.0, 1.13.1, 1.14.0, 1.15.0, 1.15.1, 1.16.0, 1.16.1, 1.17.0, 1.18.0, 1.19.0, 1.19.1, 1.20.0, 1.20.1, 1.21.0, 1.22.0, 1.23.0, 1.24.0, 1.25.0, 1.26.0, 1.26.1, 1.27.0, 1.28.0, 1.29.0, 1.30.0, 1.31.0, 1.31.1, 1.32.0, 1.33.0, 1.33.1, 1.34.0, 1.35.0, 1.36.0, 1.37.0, 1.37.1, 1.38.0, 1.38.1, 1.39.0, 1.40.0, 1.40.1, 1.40.2, 1.41.0, 1.41.1, 1.41.2, 1.42.0, 1.42.1 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | ansi-terminal (>=0.6.3.1 && <0.9), base (>=4.8.2.0 && <5), bytestring (<0.11), case-insensitive (<1.3), cborg (>=0.2.0.0 && <0.3), containers (>=0.5.0.0 && <0.6), contravariant (<1.6), cryptonite (>=0.23 && <1.0), dhall, Diff (>=0.2 && <0.4), directory (>=1.2.7.1 && <1.4), exceptions (>=0.8.3 && <0.11), filepath (>=1.4 && <1.5), hashable (<1.3), haskeline (>=0.7.3.0 && <0.8), http-client (>=0.4.30 && <0.6), http-client-tls (>=0.2.0 && <0.4), insert-ordered-containers (>=0.2.1.0 && <0.3), lens-family-core (>=1.0.0 && <1.3), megaparsec (>=6.1.1 && <6.6), memory (>=0.14 && <0.15), mtl (>=2.2.1 && <2.3), optparse-applicative (<0.15), parsers (>=0.12.4 && <0.13), prettyprinter (>=1.2.0.1 && <1.3), prettyprinter-ansi-terminal (>=1.1.1 && <1.2), repline (>=0.1.6.0 && <0.2), scientific (>=0.3.0.0 && <0.4), semigroups (>=0.18 && <0.19), serialise (>=0.2.0.0 && <0.3), template-haskell (<2.14), text (>=0.11.1.0 && <1.3), transformers (>=0.2.0.0 && <0.6), unordered-containers (>=0.1.3.0 && <0.3), vector (>=0.11.0.0 && <0.13) [details] |
| License | BSD-3-Clause |
| Copyright | 2017 Gabriel Gonzalez |
| Author | Gabriel Gonzalez |
| Maintainer | Gabriel439@gmail.com |
| Category | Compiler |
| Bug tracker | https://github.com/dhall-lang/dhall-haskell/issues |
| Source repo | head: git clone https://github.com/dhall-lang/dhall-haskell |
| Uploaded | by GabrielGonzalez at 2018-08-31T14:40:16Z |
| Distributions | Arch:1.41.2, Debian:1.32.0, Fedora:1.41.2, LTSHaskell:1.42.1, NixOS:1.42.1 |
| Reverse Dependencies | 56 direct, 4 indirect [details] |
| Executables | dhall |
| Downloads | 70546 total (315 in the last 30 days) |
| Rating | 2.75 (votes: 8) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2018-08-31 [all 1 reports] |