dhall-1.30.0: dhall.cabal
Name: dhall
Version: 1.30.0
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.0.2, 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
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/Double/package.dhall
dhall-lang/Prelude/Double/show
dhall-lang/Prelude/Function/compose
dhall-lang/Prelude/Function/identity
dhall-lang/Prelude/Function/package.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/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/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/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/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/unzip
dhall-lang/Prelude/Location/Type
dhall-lang/Prelude/Location/package.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/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/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/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/show
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/package.dhall
dhall-lang/tests/alpha-normalization/success/unit/*.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/import/cache/dhall/1220efc43103e49b56c5bf089db8e0365bbfc455b8a2f0dc6ee5727a3586f85969fd
dhall-lang/tests/import/data/*.dhall
dhall-lang/tests/import/data/*.txt
dhall-lang/tests/import/data/fieldOrder/*.dhall
dhall-lang/tests/import/failure/*.dhall
dhall-lang/tests/import/success/*.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/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/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/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/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/lint/success/*.dhall
tests/recursive/*.dhall
tests/regression/*.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 cross
Description: Disable TemplateHaskell to make cross-compiling easier
Default: False
Manual: True
Library
Hs-Source-Dirs: src
Build-Depends:
base >= 4.9.1.0 && < 5 ,
aeson >= 1.0.0.0 && < 1.5 ,
aeson-pretty < 0.9 ,
ansi-terminal >= 0.6.3.1 && < 0.11,
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.0.0 && < 0.7 ,
contravariant < 1.6 ,
data-fix < 0.3 ,
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 ,
haskeline >= 0.7.2.1 && < 0.9 ,
hashable >= 1.2 && < 1.4 ,
lens-family-core >= 1.0.0 && < 2.1 ,
megaparsec >= 7 && < 8.1 ,
memory >= 0.14 && < 0.16,
mtl >= 2.2.1 && < 2.3 ,
network-uri >= 2.6 && < 2.7 ,
optparse-applicative >= 0.14.0.0 && < 0.16,
parsers >= 0.12.4 && < 0.13,
parser-combinators ,
prettyprinter >= 1.5.1 && < 1.7 ,
prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 ,
pretty-simple < 4 ,
profunctors >= 3.1.2 && < 5.6 ,
repline >= 0.2.1.0 && < 0.3 ,
serialise >= 0.2.0.0 && < 0.3 ,
scientific >= 0.3.0.0 && < 0.4 ,
template-haskell >= 2.11.1.0 && < 2.16,
text >= 0.11.1.0 && < 1.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
if !impl(ghc >= 8.0) && !impl(eta >= 0.8.4)
Build-Depends: semigroups == 0.18.*
Build-Depends: transformers == 0.4.2.*
Build-Depends: fail == 4.9.*
if flag(with-http)
CPP-Options:
-DWITH_HTTP
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.4.30 && < 0.7 ,
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.Set
Dhall.Src
Dhall.Substitution
Dhall.Tags
Dhall.Tutorial
Dhall.TypeCheck
Dhall.Util
Dhall.Version
if !flag(cross)
Exposed-Modules:
Dhall.TH
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.Import
Dhall.Test.Lint
Dhall.Test.Normalization
Dhall.Test.Parser
Dhall.Test.QuickCheck
Dhall.Test.Regression
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 ,
lens-family-core >= 1.0.0 && < 2.1 ,
megaparsec ,
prettyprinter ,
QuickCheck >= 2.10 && < 2.14,
quickcheck-instances >= 0.3.12 && < 0.4 ,
scientific ,
semigroups ,
serialise ,
special-values < 0.2 ,
spoon < 0.4 ,
tasty >= 0.11.2 && < 1.3 ,
tasty-expected-failure < 0.12,
tasty-hunit >= 0.10 && < 0.11,
tasty-quickcheck >= 0.9.2 && < 0.11,
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.17
Default-Language: Haskell2010
-- `doctest` doesn't work with `MIN_VERSION` macros before GHC 8
--
-- See: https://ghc.haskell.org/trac/ghc/ticket/10970
if impl(ghc < 8.0)
Buildable: False
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,
serialise ,
text >= 0.11.1.0 && < 1.3
Default-Language: Haskell2010
Other-Extensions:
TypeApplications
ghc-options: -rtsopts
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