Name: dhall
Version: 1.27.0
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 7.10.3, 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/package.dhall
    dhall-lang/Prelude/Integer/package.dhall
    dhall-lang/Prelude/Integer/show
    dhall-lang/Prelude/Integer/toDouble
    dhall-lang/Prelude/JSON/array
    dhall-lang/Prelude/JSON/bool
    dhall-lang/Prelude/JSON/keyText
    dhall-lang/Prelude/JSON/keyValue
    dhall-lang/Prelude/JSON/Nesting
    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/string
    dhall-lang/Prelude/JSON/Tagged
    dhall-lang/Prelude/JSON/Type
    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/package.dhall
    dhall-lang/Prelude/Location/Type
    dhall-lang/Prelude/Map/Entry
    dhall-lang/Prelude/Map/empty
    dhall-lang/Prelude/Map/keys
    dhall-lang/Prelude/Map/keyText
    dhall-lang/Prelude/Map/keyValue
    dhall-lang/Prelude/Map/map
    dhall-lang/Prelude/Map/package.dhall
    dhall-lang/Prelude/Map/Type
    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/package.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/show
    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/Type
    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/*.txt
    dhall-lang/tests/import/data/*.dhall
    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/alpha-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/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/parser/success/text/*.dhall
    dhall-lang/tests/parser/success/text/*.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/access/*.dhall
    dhall-lang/tests/type-inference/success/simple/*.dhall
    dhall-lang/tests/type-inference/success/unit/*.dhall
    tests/format/*.dhall
    tests/lint/success/*.dhall
    tests/diff/*.dhall
    tests/diff/*.txt
    tests/recursive/*.dhall
    tests/regression/*.dhall
    tests/tags/*.dhall
    tests/tags/*.tags
    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.8.2.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.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.2.2.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.8 ,
        hashable                    >= 1.2      && < 1.3 ,
        lens-family-core            >= 1.0.0    && < 2.1 ,
        megaparsec                  >= 6.5.0    && < 7.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,
        prettyprinter               >= 1.5.1    && < 1.6 ,
        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.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.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.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.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
