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, 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 (info)
Change log CHANGELOG.md
Dependencies aeson (>=1.0.0.0 && <1.6), aeson-pretty (<0.9), ansi-terminal (>=0.6.3.1 && <0.12), atomic-write (>=0.2.0.7 && <0.3), base (>=4.11.0.0 && <5), bytestring (<0.11), case-insensitive (<1.3), cborg (>=0.2.0.0 && <0.3), cborg-json (>=0.2.2.0 && <0.3), containers (>=0.5.8.0 && <0.7), contravariant (<1.6), cryptonite (>=0.23 && <1.0), data-fix (<0.4), deepseq (<1.5), dhall, Diff (>=0.2 && <0.5), directory (>=1.3.0.0 && <1.4), dotgen (>=0.4.2 && <0.5), either (>=5 && <5.1), exceptions (>=0.8.3 && <0.11), filepath (==1.4.*), ghcjs-base, ghcjs-xhr, half (>=0.2.2.3 && <0.4), hashable (>=1.2 && <1.4), haskeline (>=0.7.2.1 && <0.9), http-client (>=0.5.0 && <0.8), http-client-tls (>=0.2.0 && <0.4), http-types (>=0.7.0 && <0.13), lens-family-core (>=1.0.0 && <2.2), megaparsec (>=7 && <9.1), memory (>=0.14 && <0.16), mmorph (<1.2), mtl (>=2.2.1 && <2.3), network-uri (==2.6.*), optparse-applicative (>=0.14.0.0 && <0.17), parser-combinators, parsers (>=0.12.4 && <0.13), pretty-simple (<4.1), prettyprinter (>=1.5.1 && <1.8), prettyprinter-ansi-terminal (>=1.1.1 && <1.2), profunctors (>=3.1.2 && <5.7), repline (>=0.4.0.0 && <0.5), scientific (>=0.3.0.0 && <0.4), serialise (>=0.2.0.0 && <0.3), template-haskell (>=2.13.0.0 && <2.17), text (>=0.11.1.0 && <1.3), text-manipulate (>=0.2.0.1 && <0.3), th-lift-instances (>=0.1.13 && <0.2), transformers (>=0.2.0.0 && <0.6), transformers-compat (>=0.6.2 && <0.7), unordered-containers (>=0.1.3.0 && <0.3), uri-encode (<1.6), 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/tree/master/dhall
Uploaded by GabrielGonzalez at 2020-10-21T04:25:21Z
Distributions Arch:1.35.0, Fedora:1.32.0, LTSHaskell:1.19.1, NixOS:1.35.0, Stackage:1.24.0, openSUSE:1.33.1
Executables dhall
Downloads 40326 total (1747 in the last 30 days)
Rating 2.5 (votes: 5) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Flags

NameDescriptionDefaultType
with-http

Include support for importing dhall modules from HTTP URLs

EnabledManual
use-http-client-tls

Use http-client-tls for resolving HTTP imports by default (requires with-http to be enabled)

EnabledManual
cross

Disable TemplateHaskell to make cross-compiling easier

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees