Cabal revisions of dhall-1.32.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: dhall-Version: 1.32.0-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.5 ,- aeson-pretty < 0.9 ,- ansi-terminal >= 0.6.3.1 && < 0.11,- atomic-write >= 0.2.0.7 && < 0.3 ,- bytestring < 0.11,- case-insensitive < 1.3 ,- cborg >= 0.2.0.0 && < 0.3 ,- cborg-json >= 0.2.2.0 && < 0.3 ,- containers >= 0.5.0.0 && < 0.7 ,- contravariant < 1.6 ,- data-fix < 0.3 ,- deepseq < 1.5 ,- Diff >= 0.2 && < 0.5 ,- directory >= 1.3.0.0 && < 1.4 ,- dotgen >= 0.4.2 && < 0.5 ,- either >= 5 && < 5.1,- exceptions >= 0.8.3 && < 0.11,- filepath >= 1.4 && < 1.5 ,- 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.7 ,- http-client-tls >= 0.2.0 && < 0.4-- Other-Extensions:- BangPatterns- CPP- DefaultSignatures- DeriveAnyClass- DeriveDataTypeable- DeriveFunctor- DeriveGeneric- DeriveTraversable- FlexibleContexts- FlexibleInstances- GeneralizedNewtypeDeriving- MultiParamTypeClasses- NamedFieldPuns- OverloadedLists- OverloadedStrings- RankNTypes- RecordWildCards- ScopedTypeVariables- StandaloneDeriving- TupleSections- TypeFamilies- TypeOperators- UnicodeSyntax- if !flag(cross)- Other-Extensions:- TemplateHaskell-- Exposed-Modules:- Dhall- Dhall.Binary- Dhall.Context- Dhall.Core- Dhall.Crypto- Dhall.Diff- Dhall.DirectoryTree- Dhall.Format- Dhall.Freeze- Dhall.Import- Dhall.Lint- Dhall.Main- Dhall.Map- Dhall.Optics- Dhall.Parser- Dhall.Parser.Expression- Dhall.Parser.Token- Dhall.Pretty- Dhall.Repl- Dhall.Set- Dhall.Src- Dhall.Substitution- Dhall.Tags- Dhall.Tutorial- Dhall.TypeCheck- Dhall.Util- Dhall.Version- if !flag(cross)- Exposed-Modules:- Dhall.TH- 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.3 ,- 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.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+Name: dhall +Version: 1.32.0 +x-revision: 1 +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.5 , + aeson-pretty < 0.9 , + ansi-terminal >= 0.6.3.1 && < 0.11, + atomic-write >= 0.2.0.7 && < 0.3 , + bytestring < 0.11, + case-insensitive < 1.3 , + cborg >= 0.2.0.0 && < 0.3 , + cborg-json >= 0.2.2.0 && < 0.3 , + containers >= 0.5.0.0 && < 0.7 , + contravariant < 1.6 , + data-fix < 0.3 , + deepseq < 1.5 , + Diff >= 0.2 && < 0.5 , + directory >= 1.3.0.0 && < 1.4 , + dotgen >= 0.4.2 && < 0.5 , + either >= 5 && < 5.1, + exceptions >= 0.8.3 && < 0.11, + filepath >= 1.4 && < 1.5 , + 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.7 , + http-client-tls >= 0.2.0 && < 0.4 + + Other-Extensions: + BangPatterns + CPP + DefaultSignatures + DeriveAnyClass + DeriveDataTypeable + DeriveFunctor + DeriveGeneric + DeriveTraversable + FlexibleContexts + FlexibleInstances + GeneralizedNewtypeDeriving + MultiParamTypeClasses + NamedFieldPuns + OverloadedLists + OverloadedStrings + RankNTypes + RecordWildCards + ScopedTypeVariables + StandaloneDeriving + TupleSections + TypeFamilies + TypeOperators + UnicodeSyntax + if !flag(cross) + Other-Extensions: + TemplateHaskell + + Exposed-Modules: + Dhall + Dhall.Binary + Dhall.Context + Dhall.Core + Dhall.Crypto + Dhall.Diff + Dhall.DirectoryTree + Dhall.Format + Dhall.Freeze + Dhall.Import + Dhall.Lint + Dhall.Main + Dhall.Map + Dhall.Optics + Dhall.Parser + Dhall.Parser.Expression + Dhall.Parser.Token + Dhall.Pretty + Dhall.Repl + Dhall.Set + Dhall.Src + Dhall.Substitution + Dhall.Tags + Dhall.Tutorial + Dhall.TypeCheck + Dhall.Util + Dhall.Version + if !flag(cross) + Exposed-Modules: + Dhall.TH + 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.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
revision 2
Name: dhall Version: 1.32.0 -x-revision: 1 +x-revision: 2 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1 Hs-Source-Dirs: src Build-Depends: base >= 4.9.1.0 && < 5 , - aeson >= 1.0.0.0 && < 1.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 ,
revision 3
Name: dhall Version: 1.32.0 -x-revision: 2 +x-revision: 3 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1 if flag(with-http) Build-Depends: http-types >= 0.7.0 && < 0.13, - http-client >= 0.4.30 && < 0.7 , + http-client >= 0.4.30 && < 0.8 , http-client-tls >= 0.2.0 && < 0.4 Other-Extensions:
revision 4
Name: dhall Version: 1.32.0 -x-revision: 3 +x-revision: 4 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1 directory , filepath < 1.5 , mockery < 0.4 , - doctest >= 0.7.0 && < 0.17 + doctest >= 0.7.0 && < 0.18 Default-Language: Haskell2010 -- `doctest` doesn't work with `MIN_VERSION` macros before GHC 8 --