dhall: A configuration language guaranteed to terminate

[ bsd3, compiler, library, program ] [ Propose Tags ]

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

Versions [faq] 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 (info)
Change log CHANGELOG.md
Dependencies ansi-wl-pprint (<0.7), base (>=4.8.0.0 && <5), bytestring (<0.11), case-insensitive (<1.3), charset (<0.4), containers (>=0.5.0.0 && <0.6), dhall, http-client (>=0.4.30 && <0.6), http-client-tls (>=0.2.0 && <0.4), lens (>=2.4 && <4.16), neat-interpolation (>=0.3.2.1 && <0.4), optparse-generic (>=1.1.1 && <1.2), parsers (>=0.12.4 && <0.13), system-fileio (>=0.2.1 && <0.4), system-filepath (>=0.3.1 && <0.5), text (>=0.11.1.0 && <1.3), text-format (<0.4), transformers (>=0.2.0.0 && <0.6), trifecta (>=1.6 && <1.8), 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/Gabriel439/Haskell-Dhall-Library/issues
Source repo head: git clone https://github.com/Gabriel439/Haskell-Dhall-Library
Uploaded by GabrielGonzalez at Sat Jun 17 20:33:04 UTC 2017
Distributions LTSHaskell:1.19.1, NixOS:1.24.0, Stackage:1.24.0
Executables dhall
Downloads 12037 total (841 in the last 30 days)
Rating 2.5 (votes: 4) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2017-06-17 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees