From 9ac45f94e9e368428e29ce542727076e1fc8c26a Mon Sep 17 00:00:00 2001 From: all-cabal-tool Date: Fri, 7 Jun 2019 00:27:08 +0000 Subject: [PATCH] Update from Hackage at 2019-06-07T00:23:11Z --- dhall-bash/1.0.21/dhall-bash.cabal | 51 +++ dhall-bash/1.0.21/dhall-bash.json | 1 + dhall-json/1.3.0/dhall-json.cabal | 144 +++++++ dhall-json/1.3.0/dhall-json.json | 1 + dhall-text/1.0.18/dhall-text.cabal | 33 ++ dhall-text/1.0.18/dhall-text.json | 1 + dhall/1.24.0/dhall.cabal | 622 +++++++++++++++++++++++++++++ dhall/1.24.0/dhall.json | 1 + 8 files changed, 854 insertions(+) create mode 100644 dhall-bash/1.0.21/dhall-bash.cabal create mode 100644 dhall-bash/1.0.21/dhall-bash.json create mode 100644 dhall-json/1.3.0/dhall-json.cabal create mode 100644 dhall-json/1.3.0/dhall-json.json create mode 100644 dhall-text/1.0.18/dhall-text.cabal create mode 100644 dhall-text/1.0.18/dhall-text.json create mode 100644 dhall/1.24.0/dhall.cabal create mode 100644 dhall/1.24.0/dhall.json diff --git a/dhall-bash/1.0.21/dhall-bash.cabal b/dhall-bash/1.0.21/dhall-bash.cabal new file mode 100644 index 00000000000..d32c12541c4 --- /dev/null +++ b/dhall-bash/1.0.21/dhall-bash.cabal @@ -0,0 +1,51 @@ +Name: dhall-bash +Version: 1.0.21 +Cabal-Version: >=1.8.0.2 +Build-Type: Simple +Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 +License: BSD3 +License-File: LICENSE +Copyright: 2017 Gabriel Gonzalez +Author: Gabriel Gonzalez +Maintainer: Gabriel439@gmail.com +Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues +Synopsis: Compile Dhall to Bash +Description: + Use this package if you want to compile Dhall expressions to Bash. + You can use this package as a library or an executable: + . + * See the "Dhall.Bash" module if you want to use this package as a library + . + * Use the @dhall-to-bash@ if you want an executable + . + The "Dhall.Bash" module also contains instructions for how to use this + package +Category: Compiler +Source-Repository head + Type: git + Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash + +Library + Hs-Source-Dirs: src + Build-Depends: + base >= 4.8.0.0 && < 5 , + bytestring < 0.11, + containers < 0.7 , + dhall >= 1.22.0 && < 1.25, + neat-interpolation < 0.4 , + shell-escape < 0.3 , + text >= 0.2 && < 1.3 + Exposed-Modules: Dhall.Bash + GHC-Options: -Wall + +Executable dhall-to-bash + Hs-Source-Dirs: exec + Main-Is: Main.hs + Build-Depends: + base , + bytestring , + dhall , + dhall-bash , + optparse-generic >= 1.1.1 && < 1.4 , + text + GHC-Options: -Wall diff --git a/dhall-bash/1.0.21/dhall-bash.json b/dhall-bash/1.0.21/dhall-bash.json new file mode 100644 index 00000000000..bb250decf88 --- /dev/null +++ b/dhall-bash/1.0.21/dhall-bash.json @@ -0,0 +1 @@ +{"package-hashes":{"MD5":"9ccac55a646b868637cc87cb71cf0e19","Skein512_512":"05802153c10c7f874590e7c393bc2793b470b86647b7f451b4874605c0d1eec990087ce3efd35de1c3a0f246c9a3411ccde766c7055e20a0343fdea2c89b163d","SHA1":"cf38111e3dcf1d798b7f2aad24bb36b9448fc7f7","SHA512":"c6168a3e87e1a3585e0e0117522a395869e3f273b0b48780a3d6ce5aadad7bda45baf377b0f783de786d8b21a64135487f24c87d23d3b48e4d55df2136deafe9","SHA256":"2801d68cba9682a493b7ff54e3773aa262c59db7e37174fcd7a6faa033073b1b"},"package-locations":["https://hackage.haskell.org/package/dhall-bash-1.0.21/dhall-bash-1.0.21.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/dhall-bash-1.0.21.tar.gz"],"package-size":5338} \ No newline at end of file diff --git a/dhall-json/1.3.0/dhall-json.cabal b/dhall-json/1.3.0/dhall-json.cabal new file mode 100644 index 00000000000..c909ef0ce6b --- /dev/null +++ b/dhall-json/1.3.0/dhall-json.cabal @@ -0,0 +1,144 @@ +Name: dhall-json +Version: 1.3.0 +Cabal-Version: >=1.8.0.2 +Build-Type: Simple +Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 +License: BSD3 +License-File: LICENSE +Copyright: 2017 Gabriel Gonzalez +Author: Gabriel Gonzalez +Maintainer: Gabriel439@gmail.com +Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues +Synopsis: Convert between Dhall and JSON or YAML +Description: + Use this package if you want to convert between Dhall expressions and JSON + or YAML. You can use this package as a library or an executable: + . + * See the "Dhall.JSON" module if you want to use this package as a library + . + * Use the @dhall-to-json@ or @dhall-to-yaml@ programs from this package if + you want an executable + . + The "Dhall.JSON" module also contains instructions for how to use this + package +Category: Compiler +Extra-Source-Files: + CHANGELOG.md + tasty/data/*.dhall + tasty/data/*.json + +Source-Repository head + Type: git + Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json + +Flag yaml-pre-0_11 + Default: False + Manual: False + +Library + Hs-Source-Dirs: src + Build-Depends: + base >= 4.8.0.0 && < 5 , + aeson >= 1.0.0.0 && < 1.5 , + aeson-pretty < 0.9 , + bytestring < 0.11, + containers , + dhall >= 1.22.0 && < 1.25, + exceptions >= 0.8.3 && < 0.11, + lens >= 2.5 && < 4.18, + optparse-applicative >= 0.14.0.0 && < 0.15, + scientific >= 0.3.0.0 && < 0.4 , + text >= 0.11.1.0 && < 1.3 , + unordered-containers < 0.3 , + vector + Exposed-Modules: + Dhall.JSON + Dhall.JSONToDhall + Dhall.Yaml + GHC-Options: -Wall + if flag(yaml-pre-0_11) + Build-Depends: + yaml >= 0.5.0 && < 0.11 + else + Build-Depends: + libyaml >= 0.1.1.0 && < 0.2 , + yaml >= 0.11.0 && < 0.12 + +Executable dhall-to-json + Hs-Source-Dirs: dhall-to-json + Main-Is: Main.hs + Build-Depends: + base , + aeson , + aeson-pretty >= 0.8.5 && < 0.9 , + bytestring < 0.11, + dhall , + dhall-json , + optparse-applicative , + text + Other-Modules: + Paths_dhall_json + GHC-Options: -Wall + +Executable dhall-to-yaml + Hs-Source-Dirs: dhall-to-yaml + Main-Is: Main.hs + Build-Depends: + base , + aeson , + bytestring < 0.11, + dhall , + dhall-json , + optparse-applicative , + text + GHC-Options: -Wall + +Executable json-to-dhall + Hs-Source-Dirs: json-to-dhall + Main-Is: Main.hs + Build-Depends: + base , + aeson , + bytestring < 0.11 , + dhall , + dhall-json , + exceptions >= 0.8.3 && < 0.11 , + optparse-applicative , + text < 1.3 + if !impl(ghc >= 8.0) && !impl(eta >= 0.8.4) + Build-Depends: semigroups == 0.18.* + Other-Modules: + Paths_dhall_json + GHC-Options: -Wall + +Executable yaml-to-dhall + Hs-Source-Dirs: yaml-to-dhall + Main-Is: Main.hs + Build-Depends: + base , + aeson , + bytestring < 0.11 , + dhall , + dhall-json , + exceptions >= 0.8.3 && < 0.11 , + optparse-applicative , + text < 1.3 + if !impl(ghc >= 8.0) && !impl(eta >= 0.8.4) + Build-Depends: semigroups == 0.18.* + Other-Modules: + Paths_dhall_json + GHC-Options: -Wall + +Test-Suite tasty + Type: exitcode-stdio-1.0 + Hs-Source-Dirs: tasty + Main-Is: Main.hs + Build-Depends: + base, + aeson , + bytestring , + dhall , + dhall-json , + tasty < 1.3, + text , + tasty-hunit >= 0.2 diff --git a/dhall-json/1.3.0/dhall-json.json b/dhall-json/1.3.0/dhall-json.json new file mode 100644 index 00000000000..4dc55e802a2 --- /dev/null +++ b/dhall-json/1.3.0/dhall-json.json @@ -0,0 +1 @@ +{"package-hashes":{"MD5":"134fe435578e5a8fc51d0d7587d73656","Skein512_512":"aa07e0b8ce62d9592dbfe208d76d644ccc5d610fcea86771d72948920fdd6814a2004019c64bd434e5bd79842d7ed038483fdbd4d914e25cf0ac00ad0b3a3b62","SHA1":"e00b81dfa54cff2f49e3d6ac55848597e6556f5f","SHA512":"57f22fd80024bc45786b08df9a8661e5a69c65dabb8a7cea4297ee95ace329ebdf8e70315e442112af763e4ed1bc4cc5a231321220755d1f35a545cd4adbaff1","SHA256":"f1cab9ae9a93559cb66c38626a1a4c968d60f12795ac0a9755994e053518d19c"},"package-locations":["https://hackage.haskell.org/package/dhall-json-1.3.0/dhall-json-1.3.0.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/dhall-json-1.3.0.tar.gz"],"package-size":17764} \ No newline at end of file diff --git a/dhall-text/1.0.18/dhall-text.cabal b/dhall-text/1.0.18/dhall-text.cabal new file mode 100644 index 00000000000..3817e8e3eb8 --- /dev/null +++ b/dhall-text/1.0.18/dhall-text.cabal @@ -0,0 +1,33 @@ +Name: dhall-text +Version: 1.0.18 +Cabal-Version: >=1.8.0.2 +Build-Type: Simple +Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 +License: BSD3 +License-File: LICENSE +Copyright: 2017 Gabriel Gonzalez +Author: Gabriel Gonzalez +Maintainer: Gabriel439@gmail.com +Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues +Synopsis: Template text using Dhall +Description: + This package provides a @dhall-to-text@ executable that templates text using + the Dhall configuration language +Category: Compiler +Extra-Source-Files: + README.md +Source-Repository head + Type: git + Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text + +Executable dhall-to-text + Hs-Source-Dirs: exec + Main-Is: Main.hs + Build-Depends: + base >= 4.8.0.0 && < 5 , + dhall >= 1.15.0 && < 1.25, + optparse-applicative < 0.15, + text >= 0.11.1.0 && < 1.3 + GHC-Options: -Wall + Other-Modules: + Paths_dhall_text diff --git a/dhall-text/1.0.18/dhall-text.json b/dhall-text/1.0.18/dhall-text.json new file mode 100644 index 00000000000..65edbcd0b89 --- /dev/null +++ b/dhall-text/1.0.18/dhall-text.json @@ -0,0 +1 @@ +{"package-hashes":{"MD5":"c4c4b3f4747b186b02db0de567a7bd23","Skein512_512":"657e8747a1afcc05d53ecadef0b994abe94fbd90e11b9349c02dbb8d9e5abc3f08df28a8c4ab5211f6d242a4a18a363489b6c488274510369d01070dc59fe497","SHA1":"80b4553bb41197e4eaed9b14434efff1a8d750e6","SHA512":"6b8d966dd71ef952c691bb747daaaaa09fd050d596cd5233cac23ec99ece50b676bca0666bbca4660f7ba3b11d5246254cf58b02d744d3b183ccc8edbe1a4930","SHA256":"4d6f9477806cfe32ee415ca5763c1c0ded7b3137215a619a2fd663fa8e919bdb"},"package-locations":["https://hackage.haskell.org/package/dhall-text-1.0.18/dhall-text-1.0.18.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/dhall-text-1.0.18.tar.gz"],"package-size":2984} \ No newline at end of file diff --git a/dhall/1.24.0/dhall.cabal b/dhall/1.24.0/dhall.cabal new file mode 100644 index 00000000000..fde619d3e5d --- /dev/null +++ b/dhall/1.24.0/dhall.cabal @@ -0,0 +1,622 @@ +Name: dhall +Version: 1.24.0 +Cabal-Version: >=1.10 +Build-Type: Simple +Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 +License: BSD3 +License-File: LICENSE +Copyright: 2017 Gabriel Gonzalez +Author: Gabriel Gonzalez +Maintainer: Gabriel439@gmail.com +Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues +Synopsis: A configuration language guaranteed to terminate +Description: + Dhall is an explicitly typed configuration language that is not Turing + complete. Despite being Turing incomplete, Dhall is a real programming + language with a type-checker and evaluator. + . + Use this library to parse, type-check, evaluate, and pretty-print the Dhall + configuration language. This package also includes an executable which + type-checks a Dhall file and reduces the file to a fully evaluated normal + form. + . + Read "Dhall.Tutorial" to learn how to use this library +Category: Compiler +Extra-Source-Files: + benchmark/deep-nested-large-record/*.dhall + benchmark/examples/*.dhall + benchmark/examples/normalize/*.dhall + CHANGELOG.md + dhall-lang/Prelude/Bool/and + dhall-lang/Prelude/Bool/build + dhall-lang/Prelude/Bool/even + dhall-lang/Prelude/Bool/fold + dhall-lang/Prelude/Bool/not + dhall-lang/Prelude/Bool/odd + dhall-lang/Prelude/Bool/or + dhall-lang/Prelude/Bool/package.dhall + dhall-lang/Prelude/Bool/show + dhall-lang/Prelude/Double/package.dhall + dhall-lang/Prelude/Double/show + dhall-lang/Prelude/Function/compose + dhall-lang/Prelude/Function/package.dhall + dhall-lang/Prelude/Integer/package.dhall + dhall-lang/Prelude/Integer/show + dhall-lang/Prelude/Integer/toDouble + dhall-lang/Prelude/JSON/keyText + dhall-lang/Prelude/JSON/keyValue + dhall-lang/Prelude/JSON/Nesting + dhall-lang/Prelude/JSON/package.dhall + dhall-lang/Prelude/JSON/Tagged + 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/filter + dhall-lang/Prelude/List/fold + dhall-lang/Prelude/List/generate + dhall-lang/Prelude/List/head + dhall-lang/Prelude/List/indexed + dhall-lang/Prelude/List/iterate + dhall-lang/Prelude/List/last + dhall-lang/Prelude/List/length + dhall-lang/Prelude/List/map + dhall-lang/Prelude/List/null + dhall-lang/Prelude/List/package.dhall + dhall-lang/Prelude/List/replicate + dhall-lang/Prelude/List/reverse + dhall-lang/Prelude/List/shifted + dhall-lang/Prelude/List/unzip + dhall-lang/Prelude/Monoid + dhall-lang/Prelude/Natural/build + dhall-lang/Prelude/Natural/enumerate + dhall-lang/Prelude/Natural/even + dhall-lang/Prelude/Natural/fold + dhall-lang/Prelude/Natural/isZero + 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/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/filter + dhall-lang/Prelude/Optional/fold + dhall-lang/Prelude/Optional/head + dhall-lang/Prelude/Optional/last + dhall-lang/Prelude/Optional/length + dhall-lang/Prelude/Optional/map + dhall-lang/Prelude/Optional/null + dhall-lang/Prelude/Optional/package.dhall + dhall-lang/Prelude/Optional/toList + dhall-lang/Prelude/Optional/unzip + dhall-lang/Prelude/package.dhall + dhall-lang/Prelude/Text/concat + dhall-lang/Prelude/Text/concatMap + dhall-lang/Prelude/Text/concatMapSep + dhall-lang/Prelude/Text/concatSep + dhall-lang/Prelude/Text/package.dhall + dhall-lang/Prelude/Text/show + dhall-lang/tests/binary-decode/success/unit/*.dhall + dhall-lang/tests/binary-decode/success/unit/*.dhallb + dhall-lang/tests/import/data/*.txt + dhall-lang/tests/import/data/*.dhall + dhall-lang/tests/import/data/fieldOrder/*.dhall + dhall-lang/tests/import/failure/*.dhall + dhall-lang/tests/import/success/*.dhall + dhall-lang/tests/normalization/success/*.dhall + dhall-lang/tests/normalization/success/haskell-tutorial/access/*.dhall + dhall-lang/tests/normalization/success/haskell-tutorial/combineTypes/*.dhall + dhall-lang/tests/normalization/success/haskell-tutorial/prefer/*.dhall + dhall-lang/tests/normalization/success/haskell-tutorial/projection/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/and/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/and/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/build/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/build/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/even/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/even/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/not/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/not/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/odd/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/odd/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/or/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/or/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Bool/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Double/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Double/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Integer/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Integer/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Integer/toDouble/*.dhall + dhall-lang/tests/normalization/success/prelude/Integer/toDouble/*.dhall + dhall-lang/tests/normalization/success/prelude/List/all/*.dhall + dhall-lang/tests/normalization/success/prelude/List/all/*.dhall + dhall-lang/tests/normalization/success/prelude/List/any/*.dhall + dhall-lang/tests/normalization/success/prelude/List/any/*.dhall + dhall-lang/tests/normalization/success/prelude/List/build/*.dhall + dhall-lang/tests/normalization/success/prelude/List/build/*.dhall + dhall-lang/tests/normalization/success/prelude/List/concat/*.dhall + dhall-lang/tests/normalization/success/prelude/List/concat/*.dhall + dhall-lang/tests/normalization/success/prelude/List/concatMap/*.dhall + dhall-lang/tests/normalization/success/prelude/List/concatMap/*.dhall + dhall-lang/tests/normalization/success/prelude/List/filter/*.dhall + dhall-lang/tests/normalization/success/prelude/List/filter/*.dhall + dhall-lang/tests/normalization/success/prelude/List/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/List/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/List/generate/*.dhall + dhall-lang/tests/normalization/success/prelude/List/generate/*.dhall + dhall-lang/tests/normalization/success/prelude/List/head/*.dhall + dhall-lang/tests/normalization/success/prelude/List/head/*.dhall + dhall-lang/tests/normalization/success/prelude/List/indexed/*.dhall + dhall-lang/tests/normalization/success/prelude/List/indexed/*.dhall + dhall-lang/tests/normalization/success/prelude/List/iterate/*.dhall + dhall-lang/tests/normalization/success/prelude/List/iterate/*.dhall + dhall-lang/tests/normalization/success/prelude/List/last/*.dhall + dhall-lang/tests/normalization/success/prelude/List/last/*.dhall + dhall-lang/tests/normalization/success/prelude/List/length/*.dhall + dhall-lang/tests/normalization/success/prelude/List/length/*.dhall + dhall-lang/tests/normalization/success/prelude/List/map/*.dhall + dhall-lang/tests/normalization/success/prelude/List/map/*.dhall + dhall-lang/tests/normalization/success/prelude/List/null/*.dhall + dhall-lang/tests/normalization/success/prelude/List/null/*.dhall + dhall-lang/tests/normalization/success/prelude/List/replicate/*.dhall + dhall-lang/tests/normalization/success/prelude/List/replicate/*.dhall + dhall-lang/tests/normalization/success/prelude/List/reverse/*.dhall + dhall-lang/tests/normalization/success/prelude/List/reverse/*.dhall + dhall-lang/tests/normalization/success/prelude/List/shifted/*.dhall + dhall-lang/tests/normalization/success/prelude/List/shifted/*.dhall + dhall-lang/tests/normalization/success/prelude/List/unzip/*.dhall + dhall-lang/tests/normalization/success/prelude/List/unzip/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/build/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/build/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/enumerate/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/enumerate/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/even/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/even/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/isZero/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/isZero/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/odd/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/odd/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/product/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/product/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/sum/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/sum/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/toDouble/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/toDouble/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/toInteger/*.dhall + dhall-lang/tests/normalization/success/prelude/Natural/toInteger/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/all/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/all/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/any/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/any/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/build/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/build/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/concat/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/concat/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/filter/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/filter/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/fold/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/head/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/head/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/last/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/last/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/length/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/length/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/map/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/map/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/null/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/null/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/toList/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/toList/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/unzip/*.dhall + dhall-lang/tests/normalization/success/prelude/Optional/unzip/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concat/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concat/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concatMap/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concatMap/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concatMapSep/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concatMapSep/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concatSep/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/concatSep/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/show/*.dhall + dhall-lang/tests/normalization/success/prelude/Text/show/*.dhall + dhall-lang/tests/normalization/success/simple/*.dhall + dhall-lang/tests/normalization/success/simplifications/*.dhall + dhall-lang/tests/normalization/success/unit/*.dhall + dhall-lang/tests/alpha-normalization/success/unit/*.dhall + dhall-lang/tests/parser/failure/*.dhall + dhall-lang/tests/parser/success/*.dhall + dhall-lang/tests/parser/success/*.dhallb + dhall-lang/tests/parser/success/unit/*.dhall + dhall-lang/tests/parser/success/unit/*.dhallb + dhall-lang/tests/parser/success/unit/import/*.dhall + dhall-lang/tests/parser/success/unit/import/*.dhallb + dhall-lang/tests/parser/success/text/*.dhall + dhall-lang/tests/parser/success/text/*.dhallb + dhall-lang/tests/typecheck/data/*.dhall + dhall-lang/tests/typecheck/failure/*.dhall + dhall-lang/tests/typecheck/success/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/and/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/and/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/even/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/even/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/not/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/not/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/odd/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/odd/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/or/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/or/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Bool/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Double/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Double/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Integer/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Integer/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Integer/toDouble/*.dhall + dhall-lang/tests/typecheck/success/prelude/Integer/toDouble/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/all/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/all/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/any/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/any/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/concat/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/concat/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/concatMap/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/concatMap/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/filter/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/filter/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/generate/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/generate/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/head/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/head/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/indexed/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/indexed/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/iterate/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/iterate/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/last/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/last/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/length/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/length/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/map/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/map/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/null/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/null/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/replicate/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/replicate/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/reverse/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/reverse/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/shifted/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/shifted/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/unzip/*.dhall + dhall-lang/tests/typecheck/success/prelude/List/unzip/*.dhall + dhall-lang/tests/typecheck/success/prelude/Monoid/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/enumerate/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/enumerate/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/even/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/even/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/isZero/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/isZero/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/odd/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/odd/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/product/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/product/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/show/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/sum/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/sum/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/toDouble/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/toDouble/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/toInteger/*.dhall + dhall-lang/tests/typecheck/success/prelude/Natural/toInteger/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/all/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/all/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/any/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/any/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/build/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/concat/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/concat/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/filter/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/filter/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/fold/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/head/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/head/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/last/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/last/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/length/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/length/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/map/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/map/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/null/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/null/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/toList/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/toList/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/unzip/*.dhall + dhall-lang/tests/typecheck/success/prelude/Optional/unzip/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concat/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concat/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concatMap/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concatMap/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concatMapSep/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concatMapSep/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concatSep/*.dhall + dhall-lang/tests/typecheck/success/prelude/Text/concatSep/*.dhall + dhall-lang/tests/typecheck/success/simple/access/*.dhall + dhall-lang/tests/typecheck/success/simple/*.dhall + tests/format/*.dhall + tests/lint/success/*.dhall + tests/regression/*.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.8.2.0 && < 5 , + aeson >= 1.0.0.0 && < 1.5 , + aeson-pretty < 0.9 , + ansi-terminal >= 0.6.3.1 && < 0.10, + bytestring < 0.11, + case-insensitive < 1.3 , + cborg >= 0.2.0.0 && < 0.3 , + cborg-json < 0.3 , + containers >= 0.5.0.0 && < 0.7 , + contravariant < 1.6 , + cryptonite >= 0.23 && < 1.0 , + Diff >= 0.2 && < 0.4 , + directory >= 1.2.2.0 && < 1.4 , + dotgen >= 0.4.2 && < 0.5 , + exceptions >= 0.8.3 && < 0.11, + filepath >= 1.4 && < 1.5 , + haskeline >= 0.7.2.1 && < 0.8 , + lens-family-core >= 1.0.0 && < 1.3 , + megaparsec >= 6.5.0 && < 7.1 , + memory >= 0.14 && < 0.15, + mtl >= 2.2.1 && < 2.3 , + optparse-applicative >= 0.14.0.0 && < 0.15, + parsers >= 0.12.4 && < 0.13, + prettyprinter >= 1.2.0.1 && < 1.3 , + prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 , + profunctors >= 3.1.2 && < 5.5 , + repline >= 0.2.1.0 && < 0.3 , + serialise >= 0.2.0.0 && < 0.3 , + scientific >= 0.3.0.0 && < 0.4 , + template-haskell < 2.15, + text >= 0.11.1.0 && < 1.3 , + 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) + Build-Depends: + http-types >= 0.7.0 && < 0.13, + http-client >= 0.4.30 && < 0.7 , + http-client-tls >= 0.2.0 && < 0.4 + 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 impl(ghcjs) + Build-Depends: ghcjs-xhr + + 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.Diff, + Dhall.Format, + Dhall.Freeze, + Dhall.Hash, + Dhall.Import, + Dhall.Lint, + Dhall.Main, + Dhall.Map, + Dhall.Optics, + Dhall.Set, + Dhall.Src, + Dhall.Parser, + Dhall.Pretty, + Dhall.Repl, + Dhall.Tutorial, + Dhall.TypeCheck + if !flag(cross) + Exposed-Modules: + Dhall.TH + Other-Modules: + Dhall.Pretty.Internal, + Dhall.Parser.Expression, + Dhall.Parser.Combinators, + Dhall.Parser.Token, + Dhall.Import.Types, + Dhall.Eval, + Dhall.Util, + Paths_dhall + if flag(with-http) + Other-Modules: + Dhall.Import.HTTP + + 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.Format + Dhall.Test.Import + Dhall.Test.Lint + Dhall.Test.Normalization + Dhall.Test.Parser + Dhall.Test.QuickCheck + Dhall.Test.Regression + Dhall.Test.Tutorial + Dhall.Test.TypeCheck + Dhall.Test.Util + Build-Depends: + base >= 4 && < 5 , + bytestring < 0.11, + cborg >= 0.2.0.0 && < 0.3 , + containers , + deepseq >= 1.2.0.1 && < 1.5 , + dhall , + directory , + filepath , + foldl < 1.5 , + megaparsec , + prettyprinter , + QuickCheck >= 2.10 && < 2.14, + quickcheck-instances >= 0.3.12 && < 0.4 , + serialise , + tasty >= 0.11.2 && < 1.3 , + tasty-hunit >= 0.9.2 && < 0.11, + tasty-quickcheck >= 0.9.2 && < 0.11, + text >= 0.11.1.0 && < 1.3 , + transformers , + turtle < 1.6 , + vector >= 0.11.0.0 && < 0.13 + 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, + criterion >= 1.1 && < 1.6, + dhall , + directory , + 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, + criterion >= 1.1 && < 1.6, + dhall + Default-Language: Haskell2010 + +Benchmark dhall-command + Type: exitcode-stdio-1.0 + Main-Is: Main.hs + Hs-Source-Dirs: benchmark/dhall-command + Build-Depends: + base >= 4 && < 5 , + dhall + Default-Language: Haskell2010 + ghc-options: -rtsopts -O2 + +Benchmark map-operations + Type: exitcode-stdio-1.0 + Main-Is: Main.hs + Hs-Source-Dirs: benchmark/map + Build-Depends: + base >= 4 && < 5 , + criterion >= 1.1 && < 1.6, + dhall + Default-Language: Haskell2010 + ghc-options: -rtsopts -O2 diff --git a/dhall/1.24.0/dhall.json b/dhall/1.24.0/dhall.json new file mode 100644 index 00000000000..a5fc24e5316 --- /dev/null +++ b/dhall/1.24.0/dhall.json @@ -0,0 +1 @@ +{"package-hashes":{"MD5":"e1c8572389999aa2aff2b01e83e31b8e","Skein512_512":"68a9d7cff13d5d949eadd00c1d5824413d27ae27985f00846fcddb642b7e593ddf485751fe7027649c1f47256d42f66eb1fa4c9bca44653846d8c979334568ab","SHA1":"3144aec7eda810c189d5062a885b7723487a173c","SHA512":"c282b0bf5caaac981be343cbf7d1e70d80bc6ad57fa5761f290c69d51708f0deeac5db9176c8a0121040fea9ac9dfb231d426e0f7f40e7afe30f7378cc48a0e1","SHA256":"67ff6ff2bcd3c3fed0a598f8038f62a18676a419f7f7773a07804a5cc89404d8"},"package-locations":["https://hackage.haskell.org/package/dhall-1.24.0/dhall-1.24.0.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/dhall-1.24.0.tar.gz"],"package-size":252409} \ No newline at end of file