@hackage / dhall

A configuration language guaranteed to terminate

Latest1.42.3

About

Metadata

  • Last updated , by GabrielGonzalez
  • License BSD-3-Clause
  • Categories Compilers and Interpreters

  • Maintained by: GenuineGabriella@gmail.com

  • Lottery factor: 2

Links

Installation

Package Flags

Use the -f option with cabal commands to enable 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

Readme

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