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