Name: dhall
Version: 1.37.1
x-revision: 1
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.4.3, GHC == 8.6.1
License: BSD3
License-File: LICENSE
Copyright: 2017 Gabriel Gonzalez
Author: Gabriel Gonzalez
Maintainer: Gabriel439@gmail.com
Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues
Synopsis: A configuration language guaranteed to terminate
Description:
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
Category: Compiler
Data-Files:
man/dhall.1
Extra-Source-Files:
benchmark/deep-nested-large-record/*.dhall
benchmark/examples/*.dhall
benchmark/examples/normalize/*.dhall
CHANGELOG.md
dhall-lang/Prelude/Bool/and
dhall-lang/Prelude/Bool/build
dhall-lang/Prelude/Bool/even
dhall-lang/Prelude/Bool/fold
dhall-lang/Prelude/Bool/not
dhall-lang/Prelude/Bool/odd
dhall-lang/Prelude/Bool/or
dhall-lang/Prelude/Bool/package.dhall
dhall-lang/Prelude/Bool/show
dhall-lang/Prelude/Bool/*.dhall
dhall-lang/Prelude/Double/package.dhall
dhall-lang/Prelude/Double/show
dhall-lang/Prelude/Double/*.dhall
dhall-lang/Prelude/Function/compose
dhall-lang/Prelude/Function/identity
dhall-lang/Prelude/Function/package.dhall
dhall-lang/Prelude/Function/*.dhall
dhall-lang/Prelude/Integer/abs
dhall-lang/Prelude/Integer/add
dhall-lang/Prelude/Integer/clamp
dhall-lang/Prelude/Integer/equal
dhall-lang/Prelude/Integer/greaterThan
dhall-lang/Prelude/Integer/greaterThanEqual
dhall-lang/Prelude/Integer/lessThan
dhall-lang/Prelude/Integer/lessThanEqual
dhall-lang/Prelude/Integer/multiply
dhall-lang/Prelude/Integer/negate
dhall-lang/Prelude/Integer/negative
dhall-lang/Prelude/Integer/nonNegative
dhall-lang/Prelude/Integer/nonPositive
dhall-lang/Prelude/Integer/package.dhall
dhall-lang/Prelude/Integer/positive
dhall-lang/Prelude/Integer/show
dhall-lang/Prelude/Integer/subtract
dhall-lang/Prelude/Integer/toDouble
dhall-lang/Prelude/Integer/toNatural
dhall-lang/Prelude/Integer/*.dhall
dhall-lang/Prelude/JSON/Format
dhall-lang/Prelude/JSON/Nesting
dhall-lang/Prelude/JSON/Tagged
dhall-lang/Prelude/JSON/Type
dhall-lang/Prelude/JSON/array
dhall-lang/Prelude/JSON/bool
dhall-lang/Prelude/JSON/core.dhall
dhall-lang/Prelude/JSON/double
dhall-lang/Prelude/JSON/integer
dhall-lang/Prelude/JSON/keyText
dhall-lang/Prelude/JSON/keyValue
dhall-lang/Prelude/JSON/natural
dhall-lang/Prelude/JSON/null
dhall-lang/Prelude/JSON/number
dhall-lang/Prelude/JSON/object
dhall-lang/Prelude/JSON/omitNullFields
dhall-lang/Prelude/JSON/package.dhall
dhall-lang/Prelude/JSON/render
dhall-lang/Prelude/JSON/renderAs
dhall-lang/Prelude/JSON/renderCompact.dhall
dhall-lang/Prelude/JSON/renderInteger.dhall
dhall-lang/Prelude/JSON/renderYAML
dhall-lang/Prelude/JSON/string
dhall-lang/Prelude/JSON/tagInline
dhall-lang/Prelude/JSON/tagNested
dhall-lang/Prelude/JSON/*.dhall
dhall-lang/Prelude/List/all
dhall-lang/Prelude/List/any
dhall-lang/Prelude/List/build
dhall-lang/Prelude/List/concat
dhall-lang/Prelude/List/concatMap
dhall-lang/Prelude/List/default
dhall-lang/Prelude/List/drop
dhall-lang/Prelude/List/empty
dhall-lang/Prelude/List/filter
dhall-lang/Prelude/List/fold
dhall-lang/Prelude/List/generate
dhall-lang/Prelude/List/head
dhall-lang/Prelude/List/index
dhall-lang/Prelude/List/indexed
dhall-lang/Prelude/List/iterate
dhall-lang/Prelude/List/last
dhall-lang/Prelude/List/length
dhall-lang/Prelude/List/map
dhall-lang/Prelude/List/null
dhall-lang/Prelude/List/package.dhall
dhall-lang/Prelude/List/partition
dhall-lang/Prelude/List/replicate
dhall-lang/Prelude/List/reverse
dhall-lang/Prelude/List/shifted
dhall-lang/Prelude/List/take
dhall-lang/Prelude/List/unpackOptionals
dhall-lang/Prelude/List/unzip
dhall-lang/Prelude/List/zip
dhall-lang/Prelude/List/*.dhall
dhall-lang/Prelude/Location/Type
dhall-lang/Prelude/Location/package.dhall
dhall-lang/Prelude/Location/*.dhall
dhall-lang/Prelude/Map/Entry
dhall-lang/Prelude/Map/Type
dhall-lang/Prelude/Map/empty
dhall-lang/Prelude/Map/keyText
dhall-lang/Prelude/Map/keyValue
dhall-lang/Prelude/Map/keys
dhall-lang/Prelude/Map/map
dhall-lang/Prelude/Map/package.dhall
dhall-lang/Prelude/Map/values
dhall-lang/Prelude/Map/*.dhall
dhall-lang/Prelude/Monoid
dhall-lang/Prelude/Natural/build
dhall-lang/Prelude/Natural/enumerate
dhall-lang/Prelude/Natural/equal
dhall-lang/Prelude/Natural/even
dhall-lang/Prelude/Natural/fold
dhall-lang/Prelude/Natural/greaterThan
dhall-lang/Prelude/Natural/greaterThanEqual
dhall-lang/Prelude/Natural/isZero
dhall-lang/Prelude/Natural/lessThan
dhall-lang/Prelude/Natural/lessThanEqual
dhall-lang/Prelude/Natural/listMax
dhall-lang/Prelude/Natural/listMin
dhall-lang/Prelude/Natural/max
dhall-lang/Prelude/Natural/min
dhall-lang/Prelude/Natural/odd
dhall-lang/Prelude/Natural/package.dhall
dhall-lang/Prelude/Natural/product
dhall-lang/Prelude/Natural/show
dhall-lang/Prelude/Natural/sort
dhall-lang/Prelude/Natural/subtract
dhall-lang/Prelude/Natural/sum
dhall-lang/Prelude/Natural/toDouble
dhall-lang/Prelude/Natural/toInteger
dhall-lang/Prelude/Natural/*.dhall
dhall-lang/Prelude/Operator/package.dhall
dhall-lang/Prelude/Optional/all
dhall-lang/Prelude/Optional/any
dhall-lang/Prelude/Optional/build
dhall-lang/Prelude/Optional/concat
dhall-lang/Prelude/Optional/default
dhall-lang/Prelude/Optional/filter
dhall-lang/Prelude/Optional/fold
dhall-lang/Prelude/Optional/head
dhall-lang/Prelude/Optional/last
dhall-lang/Prelude/Optional/length
dhall-lang/Prelude/Optional/map
dhall-lang/Prelude/Optional/null
dhall-lang/Prelude/Optional/package.dhall
dhall-lang/Prelude/Optional/toList
dhall-lang/Prelude/Optional/unzip
dhall-lang/Prelude/Optional/*.dhall
dhall-lang/Prelude/Text/concat
dhall-lang/Prelude/Text/concatMap
dhall-lang/Prelude/Text/concatMapSep
dhall-lang/Prelude/Text/concatSep
dhall-lang/Prelude/Text/default
dhall-lang/Prelude/Text/defaultMap
dhall-lang/Prelude/Text/package.dhall
dhall-lang/Prelude/Text/replace.dhall
dhall-lang/Prelude/Text/replicate
dhall-lang/Prelude/Text/show
dhall-lang/Prelude/Text/spaces
dhall-lang/Prelude/Text/*.dhall
dhall-lang/Prelude/XML/Type
dhall-lang/Prelude/XML/attribute
dhall-lang/Prelude/XML/element
dhall-lang/Prelude/XML/emptyAttributes
dhall-lang/Prelude/XML/leaf
dhall-lang/Prelude/XML/package.dhall
dhall-lang/Prelude/XML/render
dhall-lang/Prelude/XML/text
dhall-lang/Prelude/XML/*.dhall
dhall-lang/Prelude/*.dhall
dhall-lang/Prelude/package.dhall
dhall-lang/tests/alpha-normalization/success/unit/*.dhall
dhall-lang/tests/alpha-normalization/success/regression/*.dhall
dhall-lang/tests/binary-decode/failure/unit/*.dhallb
dhall-lang/tests/binary-decode/success/unit/*.dhall
dhall-lang/tests/binary-decode/success/unit/*.dhallb
dhall-lang/tests/binary-decode/success/unit/imports/*.dhall
dhall-lang/tests/binary-decode/success/unit/imports/*.dhallb
dhall-lang/tests/import/cache/dhall/12203871180b87ecaba8b53fffb2a8b52d3fce98098fab09a6f759358b9e8042eedc
dhall-lang/tests/import/cache/dhall/1220618f785ce8f3930a9144398f576f0a992544b51212bc9108c31b4e670dc6ed21
dhall-lang/tests/import/data/*.dhall
dhall-lang/tests/import/data/*.txt
dhall-lang/tests/import/failure/*.dhall
dhall-lang/tests/import/failure/unit/*.dhall
dhall-lang/tests/import/success/*.dhall
dhall-lang/tests/import/success/unit/*.dhall
dhall-lang/tests/import/success/unit/asLocation/*.dhall
dhall-lang/tests/normalization/success/*.dhall
dhall-lang/tests/normalization/success/haskell-tutorial/access/*.dhall
dhall-lang/tests/normalization/success/haskell-tutorial/combineTypes/*.dhall
dhall-lang/tests/normalization/success/haskell-tutorial/prefer/*.dhall
dhall-lang/tests/normalization/success/haskell-tutorial/projection/*.dhall
dhall-lang/tests/normalization/success/regression/*.dhall
dhall-lang/tests/normalization/success/simple/*.dhall
dhall-lang/tests/normalization/success/simplifications/*.dhall
dhall-lang/tests/normalization/success/unit/*.dhall
dhall-lang/tests/parser/failure/*.dhall
dhall-lang/tests/parser/failure/spacing/*.dhall
dhall-lang/tests/parser/failure/unit/*.dhall
dhall-lang/tests/parser/success/*.dhall
dhall-lang/tests/parser/success/*.dhallb
dhall-lang/tests/parser/success/text/*.dhall
dhall-lang/tests/parser/success/text/*.dhallb
dhall-lang/tests/parser/success/unit/*.dhall
dhall-lang/tests/parser/success/unit/*.dhallb
dhall-lang/tests/parser/success/unit/operators/*.dhall
dhall-lang/tests/parser/success/unit/operators/*.dhallb
dhall-lang/tests/parser/success/unit/import/*.dhall
dhall-lang/tests/parser/success/unit/import/*.dhallb
dhall-lang/tests/parser/success/unit/import/urls/*.dhall
dhall-lang/tests/parser/success/unit/import/urls/*.dhallb
dhall-lang/tests/semantic-hash/success/*.dhall
dhall-lang/tests/semantic-hash/success/*.hash
dhall-lang/tests/semantic-hash/success/haskell-tutorial/access/*.dhall
dhall-lang/tests/semantic-hash/success/haskell-tutorial/access/*.hash
dhall-lang/tests/semantic-hash/success/haskell-tutorial/combineTypes/*.dhall
dhall-lang/tests/semantic-hash/success/haskell-tutorial/combineTypes/*.hash
dhall-lang/tests/semantic-hash/success/haskell-tutorial/prefer/*.dhall
dhall-lang/tests/semantic-hash/success/haskell-tutorial/prefer/*.hash
dhall-lang/tests/semantic-hash/success/haskell-tutorial/projection/*.dhall
dhall-lang/tests/semantic-hash/success/haskell-tutorial/projection/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/and/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/and/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/build/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/build/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/even/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/even/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/fold/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/fold/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/not/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/not/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/odd/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/odd/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/or/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/or/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Bool/show/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Bool/show/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Double/show/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Double/show/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Integer/show/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Integer/show/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Integer/toDouble/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Integer/toDouble/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/all/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/all/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/any/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/any/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/build/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/build/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/concat/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/concat/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/concatMap/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/concatMap/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/filter/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/filter/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/fold/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/fold/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/generate/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/generate/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/head/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/head/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/indexed/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/indexed/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/iterate/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/iterate/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/last/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/last/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/length/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/length/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/map/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/map/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/null/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/null/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/replicate/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/replicate/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/reverse/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/reverse/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/shifted/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/shifted/*.hash
dhall-lang/tests/semantic-hash/success/prelude/List/unzip/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/List/unzip/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/build/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/build/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/enumerate/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/enumerate/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/even/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/even/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/fold/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/fold/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/isZero/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/isZero/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/odd/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/odd/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/product/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/product/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/show/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/show/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/sum/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/sum/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/toDouble/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/toDouble/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Natural/toInteger/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Natural/toInteger/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/all/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/all/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/any/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/any/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/build/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/build/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/concat/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/concat/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/filter/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/filter/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/fold/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/fold/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/head/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/head/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/last/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/last/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/length/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/length/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/map/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/map/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/null/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/null/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/toList/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/toList/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Optional/unzip/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Optional/unzip/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Text/concat/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Text/concat/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMap/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMap/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMapSep/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMapSep/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Text/concatSep/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Text/concatSep/*.hash
dhall-lang/tests/semantic-hash/success/prelude/Text/show/*.dhall
dhall-lang/tests/semantic-hash/success/prelude/Text/show/*.hash
dhall-lang/tests/semantic-hash/success/simple/*.dhall
dhall-lang/tests/semantic-hash/success/simple/*.hash
dhall-lang/tests/semantic-hash/success/simplifications/*.dhall
dhall-lang/tests/semantic-hash/success/simplifications/*.hash
dhall-lang/tests/type-inference/failure/*.dhall
dhall-lang/tests/type-inference/success/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/and/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/build/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/even/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/fold/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/not/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/odd/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/or/*.dhall
dhall-lang/tests/type-inference/success/prelude/Bool/show/*.dhall
dhall-lang/tests/type-inference/success/prelude/Double/show/*.dhall
dhall-lang/tests/type-inference/success/prelude/Integer/show/*.dhall
dhall-lang/tests/type-inference/success/prelude/Integer/toDouble/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/all/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/any/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/build/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/concat/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/concatMap/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/filter/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/fold/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/generate/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/head/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/indexed/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/iterate/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/last/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/length/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/map/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/null/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/replicate/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/reverse/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/shifted/*.dhall
dhall-lang/tests/type-inference/success/prelude/List/unzip/*.dhall
dhall-lang/tests/type-inference/success/prelude/Monoid/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/build/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/enumerate/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/even/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/fold/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/isZero/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/odd/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/product/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/show/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/sum/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/toDouble/*.dhall
dhall-lang/tests/type-inference/success/prelude/Natural/toInteger/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/all/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/any/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/build/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/concat/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/filter/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/fold/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/head/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/last/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/length/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/map/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/null/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/toList/*.dhall
dhall-lang/tests/type-inference/success/prelude/Optional/unzip/*.dhall
dhall-lang/tests/type-inference/success/prelude/Text/concat/*.dhall
dhall-lang/tests/type-inference/success/prelude/Text/concatMap/*.dhall
dhall-lang/tests/type-inference/success/prelude/Text/concatMapSep/*.dhall
dhall-lang/tests/type-inference/success/prelude/Text/concatSep/*.dhall
dhall-lang/tests/type-inference/success/regression/*.dhall
dhall-lang/tests/type-inference/success/simple/*.dhall
dhall-lang/tests/type-inference/success/simple/access/*.dhall
dhall-lang/tests/type-inference/success/unit/*.dhall
tests/diff/*.dhall
tests/diff/*.txt
tests/format/*.dhall
tests/freeze/*.dhall
tests/lint/success/*.dhall
tests/recursive/*.dhall
tests/regression/*.dhall
tests/schemas/*.dhall
tests/tags/*.dhall
tests/tags/*.tags
tests/th/*.dhall
tests/tutorial/*.dhall
Source-Repository head
Type: git
Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall
Flag with-http
Description: Include support for importing dhall modules from HTTP URLs
Default: True
Manual: True
Flag use-http-client-tls
Description: Use http-client-tls for resolving HTTP imports by default
(requires with-http to be enabled)
Default: True
Manual: True
Flag cross
Description: Disable TemplateHaskell to make cross-compiling easier
Default: False
Manual: True
Library
Hs-Source-Dirs: src
Build-Depends:
base >= 4.11.0.0 && < 5 ,
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 ,
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 ,
data-fix < 0.4 ,
deepseq < 1.5 ,
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 && < 1.5 ,
half >= 0.2.2.3 && < 0.4 ,
haskeline >= 0.7.2.1 && < 0.9 ,
hashable >= 1.2 && < 1.4 ,
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 && < 2.7 ,
optparse-applicative >= 0.14.0.0 && < 0.17,
parsers >= 0.12.4 && < 0.13,
parser-combinators ,
prettyprinter >= 1.5.1 && < 1.8 ,
prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 ,
pretty-simple < 4.1 ,
profunctors >= 3.1.2 && < 5.7 ,
repline >= 0.4.0.0 && < 0.5 ,
serialise >= 0.2.0.0 && < 0.3 ,
scientific >= 0.3.0.0 && < 0.4 ,
template-haskell >= 2.13.0.0 && < 2.17,
text >= 0.11.1.0 && < 1.3 ,
text-manipulate >= 0.2.0.1 && < 0.4 ,
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
if flag(with-http)
CPP-Options:
-DWITH_HTTP
if flag(use-http-client-tls)
CPP-Options:
-DUSE_HTTP_CLIENT_TLS
if impl(ghcjs)
Hs-Source-Dirs: ghcjs-src
Build-Depends:
ghcjs-base ,
ghcjs-xhr
else
Hs-Source-Dirs: ghc-src
Build-Depends:
cryptonite >= 0.23 && < 1.0
if flag(with-http)
Build-Depends:
http-types >= 0.7.0 && < 0.13,
http-client >= 0.5.0 && < 0.8
if flag(use-http-client-tls)
Build-Depends:
http-client-tls >= 0.2.0 && < 0.4
Other-Extensions:
BangPatterns
CPP
DefaultSignatures
DeriveAnyClass
DeriveDataTypeable
DeriveFunctor
DeriveGeneric
DeriveTraversable
FlexibleContexts
FlexibleInstances
GeneralizedNewtypeDeriving
MultiParamTypeClasses
NamedFieldPuns
OverloadedLists
OverloadedStrings
RankNTypes
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
TupleSections
TypeFamilies
TypeOperators
UnicodeSyntax
if !flag(cross)
Other-Extensions:
TemplateHaskell
Exposed-Modules:
Dhall
Dhall.Binary
Dhall.Context
Dhall.Core
Dhall.Crypto
Dhall.Diff
Dhall.DirectoryTree
Dhall.Format
Dhall.Freeze
Dhall.Import
Dhall.Lint
Dhall.Main
Dhall.Map
Dhall.Optics
Dhall.Parser
Dhall.Parser.Expression
Dhall.Parser.Token
Dhall.Pretty
Dhall.Repl
Dhall.Schemas
Dhall.Set
Dhall.Src
Dhall.Substitution
Dhall.Tags
Dhall.Tutorial
Dhall.TypeCheck
Dhall.Util
Dhall.Version
if !flag(cross)
Exposed-Modules:
Dhall.TH
if impl(ghc >= 8.6.1)
Exposed-Modules:
Dhall.Deriving
Other-Modules:
Dhall.Eval
Dhall.Import.Types
Dhall.Normalize
Dhall.Parser.Combinators
Dhall.Pretty.Internal
Dhall.Syntax
Dhall.URL
Paths_dhall
Autogen-Modules:
Paths_dhall
if flag(with-http)
Other-Modules:
Dhall.Import.HTTP
Dhall.Import.Manager
GHC-Options: -Wall -fwarn-incomplete-uni-patterns
Default-Language: Haskell2010
Executable dhall
Hs-Source-Dirs: dhall
Main-Is: Main.hs
Build-Depends: base, dhall
GHC-Options: -Wall -rtsopts
Default-Language: Haskell2010
Test-Suite tasty
Type: exitcode-stdio-1.0
Hs-Source-Dirs: tests
Main-Is: Dhall/Test/Main.hs
GHC-Options: -Wall
Other-Modules:
Dhall.Test.Dhall
Dhall.Test.Diff
Dhall.Test.Tags
Dhall.Test.Format
Dhall.Test.Freeze
Dhall.Test.Import
Dhall.Test.Lint
Dhall.Test.Normalization
Dhall.Test.Parser
Dhall.Test.QuickCheck
Dhall.Test.Regression
Dhall.Test.Schemas
Dhall.Test.SemanticHash
Dhall.Test.Substitution
Dhall.Test.TH
Dhall.Test.Tutorial
Dhall.Test.TypeInference
Dhall.Test.Util
Build-Depends:
base >= 4 && < 5 ,
bytestring < 0.11,
cborg >= 0.2.0.0 && < 0.3 ,
containers ,
data-fix ,
deepseq >= 1.2.0.1 && < 1.5 ,
dhall ,
directory ,
either ,
filepath ,
foldl < 1.5 ,
generic-random >= 1.3.0.0 && < 1.4 ,
http-client ,
http-client-tls ,
lens-family-core ,
megaparsec ,
prettyprinter ,
QuickCheck >= 2.10 && < 2.15,
quickcheck-instances >= 0.3.12 && < 0.4 ,
scientific ,
serialise ,
special-values < 0.2 ,
spoon < 0.4 ,
tasty >= 0.11.2 && < 1.5 ,
tasty-expected-failure < 0.13,
tasty-hunit >= 0.10 && < 0.11,
tasty-quickcheck >= 0.9.2 && < 0.11,
tasty-silver < 3.3 ,
template-haskell ,
text >= 0.11.1.0 && < 1.3 ,
transformers ,
turtle < 1.6 ,
unordered-containers ,
vector >= 0.11.0.0 && < 0.13
if flag(with-http)
CPP-Options:
-DWITH_HTTP
Default-Language: Haskell2010
Test-Suite doctest
Type: exitcode-stdio-1.0
Hs-Source-Dirs: doctest
Main-Is: Main.hs
GHC-Options: -Wall
Build-Depends:
base ,
directory ,
filepath < 1.5 ,
mockery < 0.4 ,
doctest >= 0.7.0 && < 0.18
Default-Language: Haskell2010
Benchmark dhall-parser
Type: exitcode-stdio-1.0
Hs-Source-Dirs: benchmark/parser
Main-Is: Main.hs
Build-Depends:
base >= 4 && < 5 ,
bytestring ,
containers >= 0.5.0.0 && < 0.7,
dhall ,
directory ,
gauge >= 0.2.3 && < 0.3,
text >= 0.11.1.0 && < 1.3
Default-Language: Haskell2010
Other-Extensions:
TypeApplications
ghc-options: -rtsopts -Wall
Benchmark deep-nested-large-record
Type: exitcode-stdio-1.0
Hs-Source-Dirs: benchmark/deep-nested-large-record
Main-Is: Main.hs
Build-Depends:
base >= 4 && < 5 ,
containers >= 0.5.0.0 && < 0.7,
dhall ,
gauge >= 0.2.3 && < 0.3
Default-Language: Haskell2010
ghc-options: -Wall