Cabal revisions of dhall-1.15.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: dhall-Version: 1.15.0-Cabal-Version: >=1.10-Build-Type: Simple-Tested-With: GHC == 8.0.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:- CHANGELOG.md- Prelude/Bool/and- Prelude/Bool/build- Prelude/Bool/even- Prelude/Bool/fold- Prelude/Bool/not- Prelude/Bool/odd- Prelude/Bool/or- Prelude/Bool/show- Prelude/Double/show- Prelude/Integer/show- Prelude/Integer/toDouble- Prelude/List/all- Prelude/List/any- Prelude/List/build- Prelude/List/concat- Prelude/List/concatMap- Prelude/List/filter- Prelude/List/fold- Prelude/List/generate- Prelude/List/head- Prelude/List/indexed- Prelude/List/iterate- Prelude/List/last- Prelude/List/length- Prelude/List/map- Prelude/List/null- Prelude/List/replicate- Prelude/List/reverse- Prelude/List/shifted- Prelude/List/unzip- Prelude/Monoid- Prelude/Natural/build- Prelude/Natural/enumerate- Prelude/Natural/even- Prelude/Natural/fold- Prelude/Natural/isZero- Prelude/Natural/odd- Prelude/Natural/product- Prelude/Natural/show- Prelude/Natural/sum- Prelude/Natural/toDouble- Prelude/Natural/toInteger- Prelude/Optional/all- Prelude/Optional/any- Prelude/Optional/build- Prelude/Optional/concat- Prelude/Optional/filter- Prelude/Optional/fold- Prelude/Optional/head- Prelude/Optional/last- Prelude/Optional/length- Prelude/Optional/map- Prelude/Optional/null- Prelude/Optional/toList- Prelude/Optional/unzip- Prelude/Text/concat- Prelude/Text/concatMap- Prelude/Text/concatMapSep- Prelude/Text/concatSep- tests/format/*.dhall- tests/normalization/tutorial/combineTypes/*.dhall- tests/normalization/tutorial/projection/*.dhall- tests/normalization/*.dhall- tests/normalization/examples/Bool/and/*.dhall- tests/normalization/examples/Bool/build/*.dhall- tests/normalization/examples/Bool/even/*.dhall- tests/normalization/examples/Bool/fold/*.dhall- tests/normalization/examples/Bool/not/*.dhall- tests/normalization/examples/Bool/odd/*.dhall- tests/normalization/examples/Bool/or/*.dhall- tests/normalization/examples/Bool/show/*.dhall- tests/normalization/examples/Double/show/*.dhall- tests/normalization/examples/Integer/show/*.dhall- tests/normalization/examples/Integer/toDouble/*.dhall- tests/normalization/examples/List/all/*.dhall- tests/normalization/examples/List/any/*.dhall- tests/normalization/examples/List/build/*.dhall- tests/normalization/examples/List/concat/*.dhall- tests/normalization/examples/List/concatMap/*.dhall- tests/normalization/examples/List/filter/*.dhall- tests/normalization/examples/List/fold/*.dhall- tests/normalization/examples/List/generate/*.dhall- tests/normalization/examples/List/head/*.dhall- tests/normalization/examples/List/indexed/*.dhall- tests/normalization/examples/List/iterate/*.dhall- tests/normalization/examples/List/last/*.dhall- tests/normalization/examples/List/length/*.dhall- tests/normalization/examples/List/map/*.dhall- tests/normalization/examples/List/null/*.dhall- tests/normalization/examples/List/replicate/*.dhall- tests/normalization/examples/List/reverse/*.dhall- tests/normalization/examples/List/shifted/*.dhall- tests/normalization/examples/List/unzip/*.dhall- tests/normalization/examples/Natural/build/*.dhall- tests/normalization/examples/Natural/enumerate/*.dhall- tests/normalization/examples/Natural/even/*.dhall- tests/normalization/examples/Natural/fold/*.dhall- tests/normalization/examples/Natural/isZero/*.dhall- tests/normalization/examples/Natural/odd/*.dhall- tests/normalization/examples/Natural/product/*.dhall- tests/normalization/examples/Natural/show/*.dhall- tests/normalization/examples/Natural/sum/*.dhall- tests/normalization/examples/Natural/toDouble/*.dhall- tests/normalization/examples/Natural/toInteger/*.dhall- tests/normalization/examples/Optional/all/*.dhall- tests/normalization/examples/Optional/any/*.dhall- tests/normalization/examples/Optional/build/*.dhall- tests/normalization/examples/Optional/concat/*.dhall- tests/normalization/examples/Optional/filter/*.dhall- tests/normalization/examples/Optional/fold/*.dhall- tests/normalization/examples/Optional/head/*.dhall- tests/normalization/examples/Optional/last/*.dhall- tests/normalization/examples/Optional/length/*.dhall- tests/normalization/examples/Optional/map/*.dhall- tests/normalization/examples/Optional/null/*.dhall- tests/normalization/examples/Optional/toList/*.dhall- tests/normalization/examples/Optional/unzip/*.dhall- tests/normalization/examples/Text/concat/*.dhall- tests/normalization/examples/Text/concatMap/*.dhall- tests/normalization/examples/Text/concatMapSep/*.dhall- tests/normalization/examples/Text/concatSep/*.dhall- tests/normalization/simplifications/*.dhall- tests/parser/*.dhall- tests/parser/failure/*.dhall- tests/regression/*.dhall- tests/tutorial/*.dhall- tests/typecheck/*.dhall- tests/typecheck/examples/Monoid/*.dhall- tests/import/*.dhall- benchmark/examples/*.dhall- benchmark/deep-nested-large-record/*.dhall--Source-Repository head- Type: git- Location: https://github.com/dhall-lang/dhall-haskell--Flag with-http- Description: Include support for importing dhall modules from HTTP URLs- Default: True- Manual: True--Library- Hs-Source-Dirs: src- Build-Depends:- base >= 4.8.2.0 && < 5 ,- ansi-terminal >= 0.6.3.1 && < 0.9 ,- bytestring < 0.11,- case-insensitive < 1.3 ,- containers >= 0.5.0.0 && < 0.6 ,- contravariant < 1.5 ,- cryptonite >= 0.23 && < 1.0 ,- Diff >= 0.2 && < 0.4 ,- directory >= 1.3 && < 1.4 ,- exceptions >= 0.8.3 && < 0.11,- filepath >= 1.4 && < 1.5 ,- haskeline >= 0.7.3.0 && < 0.8 ,- insert-ordered-containers >= 0.2.1.0 && < 0.3 ,- lens-family-core >= 1.0.0 && < 1.3 ,- megaparsec >= 6.1.1 && < 6.6 ,- memory >= 0.14 && < 0.15,- mtl >= 2.2.1 && < 2.3 ,- optparse-applicative < 0.15,- parsers >= 0.12.4 && < 0.13,- prettyprinter >= 1.2.0.1 && < 1.3 ,- prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 ,- repline >= 0.1.6.0 && < 0.2 ,- scientific >= 0.3.0.0 && < 0.4 ,- template-haskell < 2.14,- text >= 0.11.1.0 && < 1.3 ,- transformers >= 0.2.0.0 && < 0.6 ,- unordered-containers >= 0.1.3.0 && < 0.3 ,- vector >= 0.11.0.0 && < 0.13- if flag(with-http)- Build-Depends:- http-client >= 0.4.30 && < 0.6 ,- http-client-tls >= 0.2.0 && < 0.4- if !impl(ghc >= 8.0)- Build-Depends: semigroups == 0.18.*- Build-Depends: transformers == 0.4.2.*-- Exposed-Modules:- Dhall,- Dhall.Context,- Dhall.Core,- Dhall.Diff,- Dhall.Format,- Dhall.Freeze,- Dhall.Hash,- Dhall.Import,- Dhall.Lint,- Dhall.Main- Dhall.Parser,- Dhall.Pretty,- Dhall.Repl- Dhall.TH,- Dhall.Tutorial,- Dhall.TypeCheck- Other-Modules:- Dhall.Pretty.Internal,- Dhall.Parser.Expression,- Dhall.Parser.Combinators,- Dhall.Parser.Token,- Dhall.Import.Types,- Paths_dhall- if flag(with-http)- Other-Modules:- Dhall.Import.HTTP-- GHC-Options: -Wall- Default-Language: Haskell2010--Executable dhall- Hs-Source-Dirs: dhall- Main-Is: Main.hs- Build-Depends: base, dhall- GHC-Options: -Wall- Default-Language: Haskell2010--Test-Suite tasty- Type: exitcode-stdio-1.0- Hs-Source-Dirs: tests- Main-Is: Tests.hs- GHC-Options: -Wall- Other-Modules:- Format- Import- Normalization- Parser- Regression- Tutorial- TypeCheck- Util- Build-Depends:- base >= 4 && < 5 ,- deepseq >= 1.2.0.1 && < 1.5 ,- dhall ,- insert-ordered-containers ,- prettyprinter ,- tasty >= 0.11.2 && < 1.2 ,- tasty-hunit >= 0.9.2 && < 0.11,- text >= 0.11.1.0 && < 1.3 ,- 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 ,- Diff >= 0.2 && < 0.4 ,- doctest >= 0.7.0 && < 0.16- Default-Language: Haskell2010--Benchmark dhall-parser- Type: exitcode-stdio-1.0- Main-Is: benchmark/parser/Main.hs- Build-Depends:- base >= 4 && < 5 ,- containers >= 0.5.0.0 && < 0.6,- criterion >= 1.1 && < 1.5,- dhall ,- directory >= 1.3 && < 1.4,- text >= 0.11.1.0 && < 1.3- Default-Language: Haskell2010--Benchmark deep-nested-large-record- Type: exitcode-stdio-1.0- Main-Is: benchmark/deep-nested-large-record/Main.hs- Build-Depends:- base >= 4 && < 5 ,- containers >= 0.5.0.0 && < 0.6,- criterion >= 1.1 && < 1.5,- dhall- Default-Language: Haskell2010+Name: dhall +Version: 1.15.0 +x-revision: 1 +Cabal-Version: >=1.10 +Build-Type: Simple +Tested-With: GHC == 8.0.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: + CHANGELOG.md + Prelude/Bool/and + Prelude/Bool/build + Prelude/Bool/even + Prelude/Bool/fold + Prelude/Bool/not + Prelude/Bool/odd + Prelude/Bool/or + Prelude/Bool/show + Prelude/Double/show + Prelude/Integer/show + Prelude/Integer/toDouble + Prelude/List/all + Prelude/List/any + Prelude/List/build + Prelude/List/concat + Prelude/List/concatMap + Prelude/List/filter + Prelude/List/fold + Prelude/List/generate + Prelude/List/head + Prelude/List/indexed + Prelude/List/iterate + Prelude/List/last + Prelude/List/length + Prelude/List/map + Prelude/List/null + Prelude/List/replicate + Prelude/List/reverse + Prelude/List/shifted + Prelude/List/unzip + Prelude/Monoid + Prelude/Natural/build + Prelude/Natural/enumerate + Prelude/Natural/even + Prelude/Natural/fold + Prelude/Natural/isZero + Prelude/Natural/odd + Prelude/Natural/product + Prelude/Natural/show + Prelude/Natural/sum + Prelude/Natural/toDouble + Prelude/Natural/toInteger + Prelude/Optional/all + Prelude/Optional/any + Prelude/Optional/build + Prelude/Optional/concat + Prelude/Optional/filter + Prelude/Optional/fold + Prelude/Optional/head + Prelude/Optional/last + Prelude/Optional/length + Prelude/Optional/map + Prelude/Optional/null + Prelude/Optional/toList + Prelude/Optional/unzip + Prelude/Text/concat + Prelude/Text/concatMap + Prelude/Text/concatMapSep + Prelude/Text/concatSep + tests/format/*.dhall + tests/normalization/tutorial/combineTypes/*.dhall + tests/normalization/tutorial/projection/*.dhall + tests/normalization/*.dhall + tests/normalization/examples/Bool/and/*.dhall + tests/normalization/examples/Bool/build/*.dhall + tests/normalization/examples/Bool/even/*.dhall + tests/normalization/examples/Bool/fold/*.dhall + tests/normalization/examples/Bool/not/*.dhall + tests/normalization/examples/Bool/odd/*.dhall + tests/normalization/examples/Bool/or/*.dhall + tests/normalization/examples/Bool/show/*.dhall + tests/normalization/examples/Double/show/*.dhall + tests/normalization/examples/Integer/show/*.dhall + tests/normalization/examples/Integer/toDouble/*.dhall + tests/normalization/examples/List/all/*.dhall + tests/normalization/examples/List/any/*.dhall + tests/normalization/examples/List/build/*.dhall + tests/normalization/examples/List/concat/*.dhall + tests/normalization/examples/List/concatMap/*.dhall + tests/normalization/examples/List/filter/*.dhall + tests/normalization/examples/List/fold/*.dhall + tests/normalization/examples/List/generate/*.dhall + tests/normalization/examples/List/head/*.dhall + tests/normalization/examples/List/indexed/*.dhall + tests/normalization/examples/List/iterate/*.dhall + tests/normalization/examples/List/last/*.dhall + tests/normalization/examples/List/length/*.dhall + tests/normalization/examples/List/map/*.dhall + tests/normalization/examples/List/null/*.dhall + tests/normalization/examples/List/replicate/*.dhall + tests/normalization/examples/List/reverse/*.dhall + tests/normalization/examples/List/shifted/*.dhall + tests/normalization/examples/List/unzip/*.dhall + tests/normalization/examples/Natural/build/*.dhall + tests/normalization/examples/Natural/enumerate/*.dhall + tests/normalization/examples/Natural/even/*.dhall + tests/normalization/examples/Natural/fold/*.dhall + tests/normalization/examples/Natural/isZero/*.dhall + tests/normalization/examples/Natural/odd/*.dhall + tests/normalization/examples/Natural/product/*.dhall + tests/normalization/examples/Natural/show/*.dhall + tests/normalization/examples/Natural/sum/*.dhall + tests/normalization/examples/Natural/toDouble/*.dhall + tests/normalization/examples/Natural/toInteger/*.dhall + tests/normalization/examples/Optional/all/*.dhall + tests/normalization/examples/Optional/any/*.dhall + tests/normalization/examples/Optional/build/*.dhall + tests/normalization/examples/Optional/concat/*.dhall + tests/normalization/examples/Optional/filter/*.dhall + tests/normalization/examples/Optional/fold/*.dhall + tests/normalization/examples/Optional/head/*.dhall + tests/normalization/examples/Optional/last/*.dhall + tests/normalization/examples/Optional/length/*.dhall + tests/normalization/examples/Optional/map/*.dhall + tests/normalization/examples/Optional/null/*.dhall + tests/normalization/examples/Optional/toList/*.dhall + tests/normalization/examples/Optional/unzip/*.dhall + tests/normalization/examples/Text/concat/*.dhall + tests/normalization/examples/Text/concatMap/*.dhall + tests/normalization/examples/Text/concatMapSep/*.dhall + tests/normalization/examples/Text/concatSep/*.dhall + tests/normalization/simplifications/*.dhall + tests/parser/*.dhall + tests/parser/failure/*.dhall + tests/regression/*.dhall + tests/tutorial/*.dhall + tests/typecheck/*.dhall + tests/typecheck/examples/Monoid/*.dhall + tests/import/*.dhall + benchmark/examples/*.dhall + benchmark/deep-nested-large-record/*.dhall + +Source-Repository head + Type: git + Location: https://github.com/dhall-lang/dhall-haskell + +Flag with-http + Description: Include support for importing dhall modules from HTTP URLs + Default: True + Manual: True + +Library + Hs-Source-Dirs: src + Build-Depends: + base >= 4.8.2.0 && < 5 , + ansi-terminal >= 0.6.3.1 && < 0.9 , + bytestring < 0.11, + case-insensitive < 1.3 , + containers >= 0.5.0.0 && < 0.6 , + contravariant < 1.5 , + cryptonite >= 0.23 && < 1.0 , + Diff >= 0.2 && < 0.4 , + directory >= 1.3 && < 1.4 , + exceptions >= 0.8.3 && < 0.11, + filepath >= 1.4 && < 1.5 , + haskeline >= 0.7.3.0 && < 0.8 , + insert-ordered-containers >= 0.2.1.0 && < 0.3 , + lens-family-core >= 1.0.0 && < 1.3 , + megaparsec >= 6.1.1 && < 6.6 , + memory >= 0.14 && < 0.15, + mtl >= 2.2.1 && < 2.3 , + optparse-applicative < 0.15, + parsers >= 0.12.4 && < 0.13, + prettyprinter >= 1.2.0.1 && < 1.3 , + prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 , + repline >= 0.1.6.0 && < 0.2 , + scientific >= 0.3.0.0 && < 0.4 , + template-haskell < 2.14, + text >= 0.11.1.0 && < 1.3 , + transformers >= 0.2.0.0 && < 0.6 , + unordered-containers >= 0.1.3.0 && < 0.3 , + vector >= 0.11.0.0 && < 0.13 + if flag(with-http) + Build-Depends: + http-client >= 0.4.30 && < 0.6 , + http-client-tls >= 0.2.0 && < 0.4 + if !impl(ghc >= 8.0) + Build-Depends: semigroups == 0.18.* + Build-Depends: transformers == 0.4.2.* + + Exposed-Modules: + Dhall, + Dhall.Context, + Dhall.Core, + Dhall.Diff, + Dhall.Format, + Dhall.Freeze, + Dhall.Hash, + Dhall.Import, + Dhall.Lint, + Dhall.Main + Dhall.Parser, + Dhall.Pretty, + Dhall.Repl + Dhall.TH, + Dhall.Tutorial, + Dhall.TypeCheck + Other-Modules: + Dhall.Pretty.Internal, + Dhall.Parser.Expression, + Dhall.Parser.Combinators, + Dhall.Parser.Token, + Dhall.Import.Types, + Paths_dhall + if flag(with-http) + Other-Modules: + Dhall.Import.HTTP + + GHC-Options: -Wall + Default-Language: Haskell2010 + +Executable dhall + Hs-Source-Dirs: dhall + Main-Is: Main.hs + Build-Depends: base, dhall + GHC-Options: -Wall + Default-Language: Haskell2010 + +Test-Suite tasty + Type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests + Main-Is: Tests.hs + GHC-Options: -Wall + Other-Modules: + Format + Import + Normalization + Parser + Regression + Tutorial + TypeCheck + Util + Build-Depends: + base >= 4 && < 5 , + deepseq >= 1.2.0.1 && < 1.5 , + dhall , + insert-ordered-containers , + prettyprinter , + tasty >= 0.11.2 && < 1.2 , + tasty-hunit >= 0.9.2 && < 0.11, + text >= 0.11.1.0 && < 1.3 , + 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 , + Diff >= 0.2 && < 0.4 , + doctest >= 0.7.0 && < 0.17 + Default-Language: Haskell2010 + +Benchmark dhall-parser + Type: exitcode-stdio-1.0 + Main-Is: benchmark/parser/Main.hs + Build-Depends: + base >= 4 && < 5 , + containers >= 0.5.0.0 && < 0.6, + criterion >= 1.1 && < 1.5, + dhall , + directory >= 1.3 && < 1.4, + text >= 0.11.1.0 && < 1.3 + Default-Language: Haskell2010 + +Benchmark deep-nested-large-record + Type: exitcode-stdio-1.0 + Main-Is: benchmark/deep-nested-large-record/Main.hs + Build-Depends: + base >= 4 && < 5 , + containers >= 0.5.0.0 && < 0.6, + criterion >= 1.1 && < 1.5, + dhall + Default-Language: Haskell2010