openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File dhall.cabal of Package ghc-dhall

Name: dhall
Version: 1.40.2
x-revision: 2
Cabal-Version: 2.0
Build-Type: Simple
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/NonEmpty/*.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  && < 2.1 ,
        aeson-pretty                               < 0.9 ,
        ansi-terminal               >= 0.6.3.1  && < 0.12,
        atomic-write                >= 0.2.0.7  && < 0.3 ,
        base16-bytestring           >= 1.0.0.0           ,
        bytestring                                 < 0.12,
        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.5 ,
        lens-family-core            >= 1.0.0    && < 2.2 ,
        -- megaparsec follows SemVer: https://github.com/mrkkrp/megaparsec/issues/469#issuecomment-927918469
        megaparsec                  >= 8        && < 10  ,
        mmorph                                     < 1.3 ,
        mtl                         >= 2.2.1    && < 2.3 ,
        network-uri                 >= 2.6      && < 2.7 ,
        optparse-applicative        >= 0.14.0.0 && < 0.18,
        parsers                     >= 0.12.4   && < 0.13,
        parser-combinators                               ,
        prettyprinter               >= 1.7.0    && < 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.19,
        text                        >= 0.11.1.0 && < 2.1 ,
        text-manipulate             >= 0.2.0.1  && < 0.4 ,
        th-lift-instances           >= 0.1.13   && < 0.2 ,
        time                        >= 1.1.4    && < 1.13,
        transformers                >= 0.5.2.0  && < 0.6 ,
        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:
        cryptohash-sha256
      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.Marshal.Decode
        Dhall.Marshal.Encode
        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.Import.Headers
        Dhall.Marshal.Internal
        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                                     ,
        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.6 ,
        http-client                                    ,
        http-client-tls                                ,
        lens-family-core                               ,
        megaparsec                                     ,
        prettyprinter                                  ,
        QuickCheck                >= 2.14     && < 2.15,
        quickcheck-instances      >= 0.3.12   && < 0.4 ,
        scientific                                     ,
        serialise                                      ,
        special-values                           < 0.2 ,
        spoon                                    < 0.4 ,
        system-filepath                                ,
        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.4 ,
        template-haskell                               ,
        temporary                 >= 1.2.1    && < 1.4 ,
        text                      >= 0.11.1.0 && < 1.3 ,
        time                                           ,
        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
    if os(windows)
      -- https://github.com/dhall-lang/dhall-haskell/issues/2237
      Buildable: False
    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

Places

File dhall.cabal of Package ghc-dhall

Places