Name: dhall Version: 1.32.0 x-revision: 4 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1 License: BSD3 License-File: LICENSE Copyright: 2017 Gabriel Gonzalez Author: Gabriel Gonzalez Maintainer: Gabriel439@gmail.com Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues Synopsis: A configuration language guaranteed to terminate Description: Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator. . Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form. . Read "Dhall.Tutorial" to learn how to use this library Category: Compiler Extra-Source-Files: benchmark/deep-nested-large-record/*.dhall benchmark/examples/*.dhall benchmark/examples/normalize/*.dhall man/dhall.1 CHANGELOG.md dhall-lang/Prelude/Bool/and dhall-lang/Prelude/Bool/build dhall-lang/Prelude/Bool/even dhall-lang/Prelude/Bool/fold dhall-lang/Prelude/Bool/not dhall-lang/Prelude/Bool/odd dhall-lang/Prelude/Bool/or dhall-lang/Prelude/Bool/package.dhall dhall-lang/Prelude/Bool/show dhall-lang/Prelude/Double/package.dhall dhall-lang/Prelude/Double/show dhall-lang/Prelude/Function/compose dhall-lang/Prelude/Function/identity dhall-lang/Prelude/Function/package.dhall dhall-lang/Prelude/Integer/abs dhall-lang/Prelude/Integer/add dhall-lang/Prelude/Integer/clamp dhall-lang/Prelude/Integer/equal dhall-lang/Prelude/Integer/greaterThan dhall-lang/Prelude/Integer/greaterThanEqual dhall-lang/Prelude/Integer/lessThan dhall-lang/Prelude/Integer/lessThanEqual dhall-lang/Prelude/Integer/multiply dhall-lang/Prelude/Integer/negate dhall-lang/Prelude/Integer/negative dhall-lang/Prelude/Integer/nonNegative dhall-lang/Prelude/Integer/nonPositive dhall-lang/Prelude/Integer/package.dhall dhall-lang/Prelude/Integer/positive dhall-lang/Prelude/Integer/show dhall-lang/Prelude/Integer/subtract dhall-lang/Prelude/Integer/toDouble dhall-lang/Prelude/Integer/toNatural dhall-lang/Prelude/JSON/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/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/unzip dhall-lang/Prelude/List/zip dhall-lang/Prelude/Location/Type dhall-lang/Prelude/Location/package.dhall dhall-lang/Prelude/Map/Entry dhall-lang/Prelude/Map/Type dhall-lang/Prelude/Map/empty dhall-lang/Prelude/Map/keyText dhall-lang/Prelude/Map/keyValue dhall-lang/Prelude/Map/keys dhall-lang/Prelude/Map/map dhall-lang/Prelude/Map/package.dhall dhall-lang/Prelude/Map/values dhall-lang/Prelude/Monoid dhall-lang/Prelude/Natural/build dhall-lang/Prelude/Natural/enumerate dhall-lang/Prelude/Natural/equal dhall-lang/Prelude/Natural/even dhall-lang/Prelude/Natural/fold dhall-lang/Prelude/Natural/greaterThan dhall-lang/Prelude/Natural/greaterThanEqual dhall-lang/Prelude/Natural/isZero dhall-lang/Prelude/Natural/lessThan dhall-lang/Prelude/Natural/lessThanEqual dhall-lang/Prelude/Natural/listMax dhall-lang/Prelude/Natural/listMin dhall-lang/Prelude/Natural/max dhall-lang/Prelude/Natural/min dhall-lang/Prelude/Natural/odd dhall-lang/Prelude/Natural/package.dhall dhall-lang/Prelude/Natural/product dhall-lang/Prelude/Natural/show dhall-lang/Prelude/Natural/sort dhall-lang/Prelude/Natural/subtract dhall-lang/Prelude/Natural/sum dhall-lang/Prelude/Natural/toDouble dhall-lang/Prelude/Natural/toInteger dhall-lang/Prelude/Optional/all dhall-lang/Prelude/Optional/any dhall-lang/Prelude/Optional/build dhall-lang/Prelude/Optional/concat dhall-lang/Prelude/Optional/default dhall-lang/Prelude/Optional/filter dhall-lang/Prelude/Optional/fold dhall-lang/Prelude/Optional/head dhall-lang/Prelude/Optional/last dhall-lang/Prelude/Optional/length dhall-lang/Prelude/Optional/map dhall-lang/Prelude/Optional/null dhall-lang/Prelude/Optional/package.dhall dhall-lang/Prelude/Optional/toList dhall-lang/Prelude/Optional/unzip dhall-lang/Prelude/Text/concat dhall-lang/Prelude/Text/concatMap dhall-lang/Prelude/Text/concatMapSep dhall-lang/Prelude/Text/concatSep dhall-lang/Prelude/Text/default dhall-lang/Prelude/Text/defaultMap dhall-lang/Prelude/Text/package.dhall dhall-lang/Prelude/Text/replicate dhall-lang/Prelude/Text/show dhall-lang/Prelude/Text/spaces dhall-lang/Prelude/XML/Type dhall-lang/Prelude/XML/attribute dhall-lang/Prelude/XML/element dhall-lang/Prelude/XML/emptyAttributes dhall-lang/Prelude/XML/leaf dhall-lang/Prelude/XML/package.dhall dhall-lang/Prelude/XML/render dhall-lang/Prelude/XML/text dhall-lang/Prelude/package.dhall dhall-lang/tests/alpha-normalization/success/unit/*.dhall dhall-lang/tests/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/1220efc43103e49b56c5bf089db8e0365bbfc455b8a2f0dc6ee5727a3586f85969fd 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/tags/*.dhall tests/tags/*.tags tests/th/*.dhall tests/tutorial/*.dhall Source-Repository head Type: git Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall Flag with-http Description: Include support for importing dhall modules from HTTP URLs Default: True Manual: True Flag cross Description: Disable TemplateHaskell to make cross-compiling easier Default: False Manual: True Library Hs-Source-Dirs: src Build-Depends: base >= 4.9.1.0 && < 5 , aeson >= 1.0.0.0 && < 1.6 , aeson-pretty < 0.9 , ansi-terminal >= 0.6.3.1 && < 0.11, atomic-write >= 0.2.0.7 && < 0.3 , bytestring < 0.11, case-insensitive < 1.3 , cborg >= 0.2.0.0 && < 0.3 , cborg-json >= 0.2.2.0 && < 0.3 , containers >= 0.5.0.0 && < 0.7 , contravariant < 1.6 , data-fix < 0.3 , deepseq < 1.5 , Diff >= 0.2 && < 0.5 , directory >= 1.3.0.0 && < 1.4 , dotgen >= 0.4.2 && < 0.5 , either >= 5 && < 5.1, exceptions >= 0.8.3 && < 0.11, filepath >= 1.4 && < 1.5 , 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 && < 8.1 , memory >= 0.14 && < 0.16, mtl >= 2.2.1 && < 2.3 , network-uri >= 2.6 && < 2.7 , optparse-applicative >= 0.14.0.0 && < 0.16, parsers >= 0.12.4 && < 0.13, parser-combinators , prettyprinter >= 1.5.1 && < 1.7 , prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 , pretty-simple < 4 , profunctors >= 3.1.2 && < 5.6 , repline >= 0.2.1.0 && < 0.4 , serialise >= 0.2.0.0 && < 0.3 , scientific >= 0.3.0.0 && < 0.4 , template-haskell >= 2.11.1.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 !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.8 , http-client-tls >= 0.2.0 && < 0.4 Other-Extensions: BangPatterns CPP DefaultSignatures DeriveAnyClass DeriveDataTypeable DeriveFunctor DeriveGeneric DeriveTraversable FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving MultiParamTypeClasses NamedFieldPuns OverloadedLists OverloadedStrings RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeOperators UnicodeSyntax if !flag(cross) Other-Extensions: TemplateHaskell Exposed-Modules: Dhall Dhall.Binary Dhall.Context Dhall.Core Dhall.Crypto Dhall.Diff Dhall.DirectoryTree Dhall.Format Dhall.Freeze Dhall.Import Dhall.Lint Dhall.Main Dhall.Map Dhall.Optics Dhall.Parser Dhall.Parser.Expression Dhall.Parser.Token Dhall.Pretty Dhall.Repl Dhall.Set Dhall.Src Dhall.Substitution Dhall.Tags Dhall.Tutorial Dhall.TypeCheck Dhall.Util Dhall.Version if !flag(cross) Exposed-Modules: Dhall.TH 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.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 , semigroups , serialise , special-values < 0.2 , spoon < 0.4 , tasty >= 0.11.2 && < 1.4 , tasty-expected-failure < 0.12, tasty-hunit >= 0.10 && < 0.11, tasty-quickcheck >= 0.9.2 && < 0.11, 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 -- `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