@hackage dhall1.42.3
A configuration language guaranteed to terminate
Categories
License
BSD-3-Clause
Maintainer
GenuineGabriella@gmail.com
Links
Versions
Installation
Dependencies (56)
- Diff >=0.2 && <1.1
- aeson >=1.0.0.0 && <2.3
- aeson-pretty <0.9
- ansi-terminal >=0.6.3.1 && <1.2
- atomic-write >=0.2.0.7 && <0.3
- base >=4.11.0.0 && <5 Show all…
Dependents (74)
@hackage/dhall-openapi, @hackage/cpkg, @hackage/seihou-core, @hackage/dhall-docs, @hackage/version-natural-dhall-instance, @hackage/ats-pkg, Show all…
Package Flags
with-http
(on by default)
Include support for importing dhall modules from HTTP URLs
use-http-client-tls
(on by default)
Use http-client-tls for resolving HTTP imports by default (requires with-http to be enabled)
cross
(off by default)
Disable TemplateHaskell to make cross-compiling easier
network-tests
(on by default)
Enable tests which depend on an internet connection
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