2016-09-07 18:17:12 +02:00
|
|
|
Name: dhall
|
2019-01-06 03:51:33 +01:00
|
|
|
Version: 1.20.1
|
2018-06-13 11:23:43 +02:00
|
|
|
Cabal-Version: >=1.10
|
2016-09-07 18:17:12 +02:00
|
|
|
Build-Type: Simple
|
2017-08-23 19:35:31 +02:00
|
|
|
Tested-With: GHC == 8.0.1
|
2016-09-07 18:17:12 +02:00
|
|
|
License: BSD3
|
|
|
|
License-File: LICENSE
|
2017-01-29 23:59:16 +01:00
|
|
|
Copyright: 2017 Gabriel Gonzalez
|
2016-09-07 18:17:12 +02:00
|
|
|
Author: Gabriel Gonzalez
|
|
|
|
Maintainer: Gabriel439@gmail.com
|
2017-11-12 08:25:05 +01:00
|
|
|
Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues
|
2016-09-07 18:17:12 +02:00
|
|
|
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
|
2017-05-14 19:45:24 +02:00
|
|
|
Extra-Source-Files:
|
2018-11-17 17:23:26 +01:00
|
|
|
benchmark/deep-nested-large-record/*.dhall
|
|
|
|
benchmark/examples/*.dhall
|
2017-05-14 19:45:24 +02:00
|
|
|
CHANGELOG.md
|
|
|
|
Prelude/Monoid
|
2018-11-17 17:23:26 +01:00
|
|
|
Prelude/package.dhall
|
2018-01-29 03:55:17 +01:00
|
|
|
tests/format/*.dhall
|
2018-11-17 17:23:26 +01:00
|
|
|
tests/import/data/fieldOrder/*.dhall
|
|
|
|
tests/import/data/foo/bar/*.dhall
|
|
|
|
tests/import/failure/*.dhall
|
|
|
|
tests/import/success/*.dhall
|
2018-11-24 17:32:04 +01:00
|
|
|
tests/lint/success/*.dhall
|
2018-11-17 17:23:26 +01:00
|
|
|
tests/normalization/success/*.dhall
|
|
|
|
tests/normalization/success/haskell-tutorial/access/*.dhall
|
|
|
|
tests/normalization/success/haskell-tutorial/combineTypes/*.dhall
|
|
|
|
tests/normalization/success/haskell-tutorial/prefer/*.dhall
|
|
|
|
tests/normalization/success/haskell-tutorial/projection/*.dhall
|
2018-12-08 17:49:08 +01:00
|
|
|
tests/normalization/success/multiline/*.dhall
|
2018-11-17 17:23:26 +01:00
|
|
|
tests/normalization/success/prelude/Bool/and/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/and/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/even/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/even/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/not/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/not/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/odd/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/odd/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/or/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/or/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Bool/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Double/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Double/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Integer/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Integer/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Integer/toDouble/*.dhall
|
|
|
|
tests/normalization/success/prelude/Integer/toDouble/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/all/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/all/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/any/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/any/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/concat/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/concat/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/concatMap/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/concatMap/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/filter/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/filter/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/generate/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/generate/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/head/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/head/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/indexed/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/indexed/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/iterate/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/iterate/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/last/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/last/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/length/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/length/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/map/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/map/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/null/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/null/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/replicate/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/replicate/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/reverse/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/reverse/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/shifted/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/shifted/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/unzip/*.dhall
|
|
|
|
tests/normalization/success/prelude/List/unzip/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/enumerate/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/enumerate/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/even/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/even/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/isZero/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/isZero/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/odd/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/odd/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/product/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/product/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/show/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/sum/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/sum/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/toDouble/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/toDouble/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/toInteger/*.dhall
|
|
|
|
tests/normalization/success/prelude/Natural/toInteger/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/all/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/all/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/any/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/any/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/build/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/concat/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/concat/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/filter/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/filter/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/fold/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/head/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/head/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/last/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/last/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/length/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/length/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/map/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/map/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/null/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/null/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/toList/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/toList/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/unzip/*.dhall
|
|
|
|
tests/normalization/success/prelude/Optional/unzip/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concat/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concat/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concatMap/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concatMap/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concatMapSep/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concatMapSep/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concatSep/*.dhall
|
|
|
|
tests/normalization/success/prelude/Text/concatSep/*.dhall
|
|
|
|
tests/normalization/success/simple/*.dhall
|
|
|
|
tests/normalization/success/simplifications/*.dhall
|
2018-06-07 11:58:58 +02:00
|
|
|
tests/parser/failure/*.dhall
|
2018-11-17 17:23:26 +01:00
|
|
|
tests/parser/success/*.dhall
|
2017-10-07 08:31:47 +02:00
|
|
|
tests/regression/*.dhall
|
2018-01-03 17:24:08 +01:00
|
|
|
tests/tutorial/*.dhall
|
2018-09-12 15:55:21 +02:00
|
|
|
tests/typecheck/failure/*.dhall
|
2018-11-17 17:23:26 +01:00
|
|
|
tests/typecheck/success/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/and/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/and/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/even/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/even/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/not/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/not/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/odd/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/odd/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/or/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/or/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Bool/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Double/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Double/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Integer/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Integer/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Integer/toDouble/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Integer/toDouble/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/all/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/all/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/any/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/any/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/concat/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/concat/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/concatMap/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/concatMap/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/filter/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/filter/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/generate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/generate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/head/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/head/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/indexed/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/indexed/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/iterate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/iterate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/last/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/last/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/length/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/length/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/map/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/map/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/null/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/null/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/replicate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/replicate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/reverse/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/reverse/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/shifted/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/shifted/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/unzip/*.dhall
|
|
|
|
tests/typecheck/success/prelude/List/unzip/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Monoid/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/enumerate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/enumerate/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/even/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/even/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/isZero/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/isZero/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/odd/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/odd/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/product/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/product/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/show/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/sum/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/sum/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/toDouble/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/toDouble/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/toInteger/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Natural/toInteger/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/all/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/all/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/any/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/any/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/build/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/concat/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/concat/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/filter/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/filter/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/fold/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/head/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/head/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/last/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/last/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/length/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/length/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/map/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/map/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/null/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/null/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/toList/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/toList/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/unzip/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Optional/unzip/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concat/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concat/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concatMap/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concatMap/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concatMapSep/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concatMapSep/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concatSep/*.dhall
|
|
|
|
tests/typecheck/success/prelude/Text/concatSep/*.dhall
|
|
|
|
tests/typecheck/success/simple/access/*.dhall
|
|
|
|
tests/typecheck/success/simple/*.dhall
|
2017-05-14 19:45:24 +02:00
|
|
|
|
2016-09-07 18:17:12 +02:00
|
|
|
Source-Repository head
|
|
|
|
Type: git
|
2018-10-29 01:32:51 +01:00
|
|
|
Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall
|
2016-09-07 18:17:12 +02:00
|
|
|
|
2018-06-25 16:27:42 +02:00
|
|
|
Flag with-http
|
|
|
|
Description: Include support for importing dhall modules from HTTP URLs
|
|
|
|
Default: True
|
|
|
|
Manual: True
|
|
|
|
|
2016-09-07 18:17:12 +02:00
|
|
|
Library
|
|
|
|
Hs-Source-Dirs: src
|
|
|
|
Build-Depends:
|
2018-04-06 23:39:21 +02:00
|
|
|
base >= 4.8.2.0 && < 5 ,
|
2018-11-29 02:51:20 +01:00
|
|
|
aeson >= 1.0.0.0 && < 1.5 ,
|
|
|
|
aeson-pretty < 0.9 ,
|
2018-05-01 06:27:17 +02:00
|
|
|
ansi-terminal >= 0.6.3.1 && < 0.9 ,
|
|
|
|
bytestring < 0.11,
|
|
|
|
case-insensitive < 1.3 ,
|
2018-07-30 19:19:41 +02:00
|
|
|
cborg >= 0.2.0.0 && < 0.3 ,
|
2018-11-29 02:51:20 +01:00
|
|
|
cborg-json < 0.3 ,
|
2018-09-28 02:00:56 +02:00
|
|
|
containers >= 0.5.0.0 && < 0.7 ,
|
2018-07-04 17:14:24 +02:00
|
|
|
contravariant < 1.6 ,
|
2018-03-01 16:32:20 +01:00
|
|
|
cryptonite >= 0.23 && < 1.0 ,
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Diff >= 0.2 && < 0.4 ,
|
2018-10-06 05:51:18 +02:00
|
|
|
directory >= 1.2.2.0 && < 1.4 ,
|
2018-11-26 06:24:20 +01:00
|
|
|
dotgen >= 0.4.2 && < 0.5 ,
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
exceptions >= 0.8.3 && < 0.11,
|
2018-02-15 19:36:05 +01:00
|
|
|
filepath >= 1.4 && < 1.5 ,
|
2018-10-06 05:51:18 +02:00
|
|
|
haskeline >= 0.7.2.1 && < 0.8 ,
|
2018-02-15 19:36:05 +01:00
|
|
|
lens-family-core >= 1.0.0 && < 1.3 ,
|
2018-09-11 10:36:57 +02:00
|
|
|
megaparsec >= 7.0.0 && < 7.1 ,
|
2018-03-01 16:32:20 +01:00
|
|
|
memory >= 0.14 && < 0.15,
|
2018-06-08 06:33:03 +02:00
|
|
|
mtl >= 2.2.1 && < 2.3 ,
|
2018-11-16 17:43:23 +01:00
|
|
|
optparse-applicative >= 0.14.0.0 && < 0.15,
|
2018-02-15 19:36:05 +01:00
|
|
|
parsers >= 0.12.4 && < 0.13,
|
2018-02-19 20:05:11 +01:00
|
|
|
prettyprinter >= 1.2.0.1 && < 1.3 ,
|
2018-02-15 19:36:05 +01:00
|
|
|
prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 ,
|
2018-10-05 16:42:54 +02:00
|
|
|
repline >= 0.2.0.0 && < 0.3 ,
|
2018-07-30 19:19:41 +02:00
|
|
|
serialise >= 0.2.0.0 && < 0.3 ,
|
2018-02-15 19:36:05 +01:00
|
|
|
scientific >= 0.3.0.0 && < 0.4 ,
|
2018-09-28 02:00:56 +02:00
|
|
|
template-haskell < 2.15,
|
2018-02-15 19:36:05 +01:00
|
|
|
text >= 0.11.1.0 && < 1.3 ,
|
|
|
|
transformers >= 0.2.0.0 && < 0.6 ,
|
|
|
|
unordered-containers >= 0.1.3.0 && < 0.3 ,
|
2018-11-21 03:08:43 +01:00
|
|
|
uri-encode < 1.6 ,
|
2018-02-15 19:36:05 +01:00
|
|
|
vector >= 0.11.0.0 && < 0.13
|
2018-06-25 16:27:42 +02:00
|
|
|
if flag(with-http)
|
|
|
|
Build-Depends:
|
2018-11-26 16:53:22 +01:00
|
|
|
http-types >= 0.7.0 && < 0.13,
|
2018-06-25 16:27:42 +02:00
|
|
|
http-client >= 0.4.30 && < 0.6 ,
|
|
|
|
http-client-tls >= 0.2.0 && < 0.4
|
2019-01-12 04:35:39 +01:00
|
|
|
if !impl(ghc >= 8.0) && !impl(eta >= 0.8.4)
|
2018-04-06 23:39:21 +02:00
|
|
|
Build-Depends: semigroups == 0.18.*
|
2018-06-08 06:33:03 +02:00
|
|
|
Build-Depends: transformers == 0.4.2.*
|
2018-09-19 03:27:17 +02:00
|
|
|
Build-Depends: fail == 4.9.*
|
2018-12-07 03:00:03 +01:00
|
|
|
if impl(ghcjs)
|
|
|
|
Build-Depends: ghcjs-xhr
|
2018-04-06 23:39:21 +02:00
|
|
|
|
2016-09-07 18:17:12 +02:00
|
|
|
Exposed-Modules:
|
2016-09-09 18:17:25 +02:00
|
|
|
Dhall,
|
2018-07-30 19:19:41 +02:00
|
|
|
Dhall.Binary,
|
2016-09-07 18:17:12 +02:00
|
|
|
Dhall.Context,
|
|
|
|
Dhall.Core,
|
2018-05-25 19:03:50 +02:00
|
|
|
Dhall.Diff,
|
2018-06-10 19:54:22 +02:00
|
|
|
Dhall.Format,
|
2018-06-26 19:30:54 +02:00
|
|
|
Dhall.Freeze,
|
2018-06-10 19:54:22 +02:00
|
|
|
Dhall.Hash,
|
2016-09-07 18:17:12 +02:00
|
|
|
Dhall.Import,
|
2018-06-25 17:00:11 +02:00
|
|
|
Dhall.Lint,
|
2018-10-06 19:44:40 +02:00
|
|
|
Dhall.Main,
|
|
|
|
Dhall.Map,
|
2018-11-06 04:59:01 +01:00
|
|
|
Dhall.Set,
|
2016-10-18 03:34:51 +02:00
|
|
|
Dhall.Parser,
|
2018-02-14 23:31:54 +01:00
|
|
|
Dhall.Pretty,
|
2018-10-06 19:44:40 +02:00
|
|
|
Dhall.Repl,
|
2018-06-04 20:05:58 +02:00
|
|
|
Dhall.TH,
|
2016-11-25 04:15:29 +01:00
|
|
|
Dhall.Tutorial,
|
2016-10-18 03:34:51 +02:00
|
|
|
Dhall.TypeCheck
|
2018-02-14 23:31:54 +01:00
|
|
|
Other-Modules:
|
2018-06-07 12:26:38 +02:00
|
|
|
Dhall.Pretty.Internal,
|
2018-06-10 19:40:02 +02:00
|
|
|
Dhall.Parser.Expression,
|
|
|
|
Dhall.Parser.Combinators,
|
|
|
|
Dhall.Parser.Token,
|
2018-06-25 16:27:42 +02:00
|
|
|
Dhall.Import.Types,
|
Truncate the displayed source code when it exceeds 7 lines (#589)
Fixes #573
Example output:
```
$ dhall --explain <<< './test.dhall'
↳ ./test.dhall
y : < Foo0 :
Type
| Foo1 :
========
| Foo9 :
{}
>
Error: You can only append ❰List❱s with matching element types
- Natural
+ { … : … }
Explanation: You can append two ❰List❱s using the ❰#❱ operator, like this:
┌────────────────────┐
│ [1, 2, 3] # [4, 5] │
└────────────────────┘
... but you cannot append two ❰List❱s if they have different element types.
For example, the following expression is not valid:
These elements have type ❰Natural❱
⇩
┌───────────────────────────┐
│ [1, 2, 3] # [True, False] │ Invalid: the element types don't match
└───────────────────────────┘
⇧
These elements have type ❰Bool❱
────────────────────────────────────────────────────────────────────────────────
You tried to append a ❰List❱ thas has elements of type:
↳ Natural
... with another ❰List❱ that has elements of type:
↳ { a :
Natural
, b :
===========
, g :
Natural
}
... and those two types do not match
────────────────────────────────────────────────────────────────────────────────
[ 1
, 1
, 1
=============
, g = 7
} ]
/Users/gabriel/proj/dhall/test.dhall:13:13
```
2018-09-20 17:30:58 +02:00
|
|
|
Dhall.Util,
|
2018-06-07 12:26:38 +02:00
|
|
|
Paths_dhall
|
2018-06-25 16:27:42 +02:00
|
|
|
if flag(with-http)
|
|
|
|
Other-Modules:
|
|
|
|
Dhall.Import.HTTP
|
|
|
|
|
2018-04-06 23:39:21 +02:00
|
|
|
GHC-Options: -Wall
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Default-Language: Haskell2010
|
2016-09-07 18:17:12 +02:00
|
|
|
|
|
|
|
Executable dhall
|
2017-09-17 17:18:15 +02:00
|
|
|
Hs-Source-Dirs: dhall
|
2016-09-07 18:17:12 +02:00
|
|
|
Main-Is: Main.hs
|
2018-06-07 12:26:38 +02:00
|
|
|
Build-Depends: base, dhall
|
2018-09-19 03:27:17 +02:00
|
|
|
GHC-Options: -Wall -rtsopts
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Default-Language: Haskell2010
|
2017-04-29 23:41:53 +02:00
|
|
|
|
2018-05-12 18:20:08 +02:00
|
|
|
Test-Suite tasty
|
2017-04-29 23:41:53 +02:00
|
|
|
Type: exitcode-stdio-1.0
|
|
|
|
Hs-Source-Dirs: tests
|
2018-12-03 18:17:53 +01:00
|
|
|
Main-Is: Dhall/Test/Main.hs
|
2018-04-06 23:39:21 +02:00
|
|
|
GHC-Options: -Wall
|
2017-04-29 23:41:53 +02:00
|
|
|
Other-Modules:
|
2018-12-03 18:17:53 +01:00
|
|
|
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
|
2017-04-29 23:41:53 +02:00
|
|
|
Build-Depends:
|
2018-02-02 06:16:24 +01:00
|
|
|
base >= 4 && < 5 ,
|
2018-07-30 19:19:41 +02:00
|
|
|
containers ,
|
2018-02-02 06:16:24 +01:00
|
|
|
deepseq >= 1.2.0.1 && < 1.5 ,
|
|
|
|
dhall ,
|
2018-10-14 18:00:08 +02:00
|
|
|
directory ,
|
|
|
|
filepath ,
|
2018-02-02 06:16:24 +01:00
|
|
|
prettyprinter ,
|
2018-09-21 04:37:58 +02:00
|
|
|
QuickCheck >= 2.10 && < 2.13,
|
2018-07-30 19:19:41 +02:00
|
|
|
quickcheck-instances >= 0.3.12 && < 0.4 ,
|
|
|
|
serialise ,
|
2018-12-03 17:48:43 +01:00
|
|
|
tasty >= 0.11.2 && < 1.3 ,
|
2018-02-02 06:16:24 +01:00
|
|
|
tasty-hunit >= 0.9.2 && < 0.11,
|
2018-07-30 19:19:41 +02:00
|
|
|
tasty-quickcheck >= 0.9.2 && < 0.11,
|
2018-02-02 06:16:24 +01:00
|
|
|
text >= 0.11.1.0 && < 1.3 ,
|
2018-08-03 15:50:03 +02:00
|
|
|
transformers ,
|
2018-02-02 06:16:24 +01:00
|
|
|
vector >= 0.11.0.0 && < 0.13
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Default-Language: Haskell2010
|
2018-05-12 18:20:08 +02:00
|
|
|
|
|
|
|
Test-Suite doctest
|
|
|
|
Type: exitcode-stdio-1.0
|
|
|
|
Hs-Source-Dirs: doctest
|
|
|
|
Main-Is: Main.hs
|
|
|
|
GHC-Options: -Wall
|
|
|
|
Build-Depends:
|
2018-07-04 16:53:42 +02:00
|
|
|
base ,
|
2018-10-06 05:51:18 +02:00
|
|
|
directory ,
|
2018-07-04 16:53:42 +02:00
|
|
|
filepath < 1.5 ,
|
|
|
|
mockery < 0.4 ,
|
|
|
|
doctest >= 0.7.0 && < 0.17
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Default-Language: Haskell2010
|
2018-10-06 05:51:18 +02:00
|
|
|
-- `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
|
2018-06-01 19:39:30 +02:00
|
|
|
|
|
|
|
Benchmark dhall-parser
|
|
|
|
Type: exitcode-stdio-1.0
|
2018-09-29 22:22:45 +02:00
|
|
|
Hs-Source-Dirs: benchmark/parser
|
|
|
|
Main-Is: Main.hs
|
2018-06-01 19:39:30 +02:00
|
|
|
Build-Depends:
|
|
|
|
base >= 4 && < 5 ,
|
2018-07-30 19:19:41 +02:00
|
|
|
bytestring ,
|
2018-09-28 02:00:56 +02:00
|
|
|
containers >= 0.5.0.0 && < 0.7,
|
2018-07-04 17:14:24 +02:00
|
|
|
criterion >= 1.1 && < 1.6,
|
2018-06-01 19:39:30 +02:00
|
|
|
dhall ,
|
2018-10-06 05:51:18 +02:00
|
|
|
directory ,
|
2018-07-30 19:19:41 +02:00
|
|
|
serialise ,
|
2018-06-01 19:39:30 +02:00
|
|
|
text >= 0.11.1.0 && < 1.3
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Default-Language: Haskell2010
|
2018-09-19 03:27:17 +02:00
|
|
|
ghc-options: -rtsopts
|
2018-06-02 08:54:25 +02:00
|
|
|
|
|
|
|
Benchmark deep-nested-large-record
|
|
|
|
Type: exitcode-stdio-1.0
|
2018-09-29 22:22:45 +02:00
|
|
|
Hs-Source-Dirs: benchmark/deep-nested-large-record
|
|
|
|
Main-Is: Main.hs
|
2018-06-02 08:54:25 +02:00
|
|
|
Build-Depends:
|
|
|
|
base >= 4 && < 5 ,
|
2018-10-05 16:42:54 +02:00
|
|
|
containers >= 0.5.0.0 && < 0.7,
|
2018-07-04 17:14:24 +02:00
|
|
|
criterion >= 1.1 && < 1.6,
|
2018-06-09 13:02:52 +02:00
|
|
|
dhall
|
Diff list values (#450)
* Use Haskell2010
* dhall-diff-lists: Diff list values
Issue #431
Make the diff of two lists actually show the diff of the values inside.
For example with `example1.dhall`:
```dhall
{ a = [1, 2, 3, 4, 5]
, b = [1, 2, 3, 4, 5] : List Natural
, c = [1, 2, 3, 4, 5] : List Natural
, d = [] : List Natural
, e = [] : List Natural
, f = [1, 2, 3, 4, 5] : List Natural
}
```
And `example2.dhall`:
```dhall
{ a = [1, 6, 7, 4, 5]
, b = [1, 2, 3] : List Natural
, c = [2, 3, 4, 5]
, d = [] : List Natural
, e = [] : List Integer
, f = [+1, +2, +3, +4, +5] : List Integer
}
```
The diff looks as follows:
```sh
➜ dhall diff "./example1.dhall" "./example2.dhall"
{ a = [ …
, - 2
, - 3
, + 6
, + 7
, …
]
, b = [ …
, - 4
, - 5
]
, c = [ - 1
, …
]
, d = - [ … ]
+ [ … ]
: …
…
, e = - [ … ]
+ [ … ]
: …
- Natural
+ Integer
, f = - [ … ]
+ [ … ]
}
```
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* dhall-diff-lists: Refactor
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Add newline at the end of diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
* Remove leading plus from Natural diff
Signed-off-by: Basile Henry <bjm.henry@gmail.com>
2018-06-10 11:55:01 +02:00
|
|
|
Default-Language: Haskell2010
|
2018-09-28 17:29:38 +02:00
|
|
|
|
|
|
|
Benchmark dhall-command
|
|
|
|
Type: exitcode-stdio-1.0
|
2018-09-29 22:22:45 +02:00
|
|
|
Main-Is: Main.hs
|
|
|
|
Hs-Source-Dirs: benchmark/dhall-command
|
2018-09-28 17:29:38 +02:00
|
|
|
Build-Depends:
|
|
|
|
base >= 4 && < 5 ,
|
|
|
|
dhall
|
|
|
|
Default-Language: Haskell2010
|
|
|
|
ghc-options: -rtsopts -O2
|
2018-12-10 19:46:46 +01:00
|
|
|
|
|
|
|
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
|