update to 1.41.2
This commit is contained in:
parent
4efff48679
commit
064cad8428
|
@ -1,3 +1,4 @@
|
||||||
/dhall-1.32.0.tar.gz
|
/dhall-1.32.0.tar.gz
|
||||||
/dhall-1.37.1.tar.gz
|
/dhall-1.37.1.tar.gz
|
||||||
/dhall-1.39.0.tar.gz
|
/dhall-1.39.0.tar.gz
|
||||||
|
/dhall-1.41.2.tar.gz
|
||||||
|
|
|
@ -1,742 +0,0 @@
|
||||||
Name: dhall
|
|
||||||
Version: 1.39.0
|
|
||||||
x-revision: 3
|
|
||||||
Cabal-Version: 2.0
|
|
||||||
Build-Type: Simple
|
|
||||||
Tested-With: 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
|
|
||||||
Data-Files:
|
|
||||||
man/dhall.1
|
|
||||||
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/Bool/*.dhall
|
|
||||||
dhall-lang/Prelude/Double/package.dhall
|
|
||||||
dhall-lang/Prelude/Double/show
|
|
||||||
dhall-lang/Prelude/Double/*.dhall
|
|
||||||
dhall-lang/Prelude/Function/compose
|
|
||||||
dhall-lang/Prelude/Function/identity
|
|
||||||
dhall-lang/Prelude/Function/package.dhall
|
|
||||||
dhall-lang/Prelude/Function/*.dhall
|
|
||||||
dhall-lang/Prelude/Integer/abs
|
|
||||||
dhall-lang/Prelude/Integer/add
|
|
||||||
dhall-lang/Prelude/Integer/clamp
|
|
||||||
dhall-lang/Prelude/Integer/equal
|
|
||||||
dhall-lang/Prelude/Integer/greaterThan
|
|
||||||
dhall-lang/Prelude/Integer/greaterThanEqual
|
|
||||||
dhall-lang/Prelude/Integer/lessThan
|
|
||||||
dhall-lang/Prelude/Integer/lessThanEqual
|
|
||||||
dhall-lang/Prelude/Integer/multiply
|
|
||||||
dhall-lang/Prelude/Integer/negate
|
|
||||||
dhall-lang/Prelude/Integer/negative
|
|
||||||
dhall-lang/Prelude/Integer/nonNegative
|
|
||||||
dhall-lang/Prelude/Integer/nonPositive
|
|
||||||
dhall-lang/Prelude/Integer/package.dhall
|
|
||||||
dhall-lang/Prelude/Integer/positive
|
|
||||||
dhall-lang/Prelude/Integer/show
|
|
||||||
dhall-lang/Prelude/Integer/subtract
|
|
||||||
dhall-lang/Prelude/Integer/toDouble
|
|
||||||
dhall-lang/Prelude/Integer/toNatural
|
|
||||||
dhall-lang/Prelude/Integer/*.dhall
|
|
||||||
dhall-lang/Prelude/JSON/Format
|
|
||||||
dhall-lang/Prelude/JSON/Nesting
|
|
||||||
dhall-lang/Prelude/JSON/Tagged
|
|
||||||
dhall-lang/Prelude/JSON/Type
|
|
||||||
dhall-lang/Prelude/JSON/array
|
|
||||||
dhall-lang/Prelude/JSON/bool
|
|
||||||
dhall-lang/Prelude/JSON/core.dhall
|
|
||||||
dhall-lang/Prelude/JSON/double
|
|
||||||
dhall-lang/Prelude/JSON/integer
|
|
||||||
dhall-lang/Prelude/JSON/keyText
|
|
||||||
dhall-lang/Prelude/JSON/keyValue
|
|
||||||
dhall-lang/Prelude/JSON/natural
|
|
||||||
dhall-lang/Prelude/JSON/null
|
|
||||||
dhall-lang/Prelude/JSON/number
|
|
||||||
dhall-lang/Prelude/JSON/object
|
|
||||||
dhall-lang/Prelude/JSON/omitNullFields
|
|
||||||
dhall-lang/Prelude/JSON/package.dhall
|
|
||||||
dhall-lang/Prelude/JSON/render
|
|
||||||
dhall-lang/Prelude/JSON/renderAs
|
|
||||||
dhall-lang/Prelude/JSON/renderCompact.dhall
|
|
||||||
dhall-lang/Prelude/JSON/renderInteger.dhall
|
|
||||||
dhall-lang/Prelude/JSON/renderYAML
|
|
||||||
dhall-lang/Prelude/JSON/string
|
|
||||||
dhall-lang/Prelude/JSON/tagInline
|
|
||||||
dhall-lang/Prelude/JSON/tagNested
|
|
||||||
dhall-lang/Prelude/JSON/*.dhall
|
|
||||||
dhall-lang/Prelude/List/all
|
|
||||||
dhall-lang/Prelude/List/any
|
|
||||||
dhall-lang/Prelude/List/build
|
|
||||||
dhall-lang/Prelude/List/concat
|
|
||||||
dhall-lang/Prelude/List/concatMap
|
|
||||||
dhall-lang/Prelude/List/default
|
|
||||||
dhall-lang/Prelude/List/drop
|
|
||||||
dhall-lang/Prelude/List/empty
|
|
||||||
dhall-lang/Prelude/List/filter
|
|
||||||
dhall-lang/Prelude/List/fold
|
|
||||||
dhall-lang/Prelude/List/generate
|
|
||||||
dhall-lang/Prelude/List/head
|
|
||||||
dhall-lang/Prelude/List/index
|
|
||||||
dhall-lang/Prelude/List/indexed
|
|
||||||
dhall-lang/Prelude/List/iterate
|
|
||||||
dhall-lang/Prelude/List/last
|
|
||||||
dhall-lang/Prelude/List/length
|
|
||||||
dhall-lang/Prelude/List/map
|
|
||||||
dhall-lang/Prelude/List/null
|
|
||||||
dhall-lang/Prelude/List/package.dhall
|
|
||||||
dhall-lang/Prelude/List/partition
|
|
||||||
dhall-lang/Prelude/List/replicate
|
|
||||||
dhall-lang/Prelude/List/reverse
|
|
||||||
dhall-lang/Prelude/List/shifted
|
|
||||||
dhall-lang/Prelude/List/take
|
|
||||||
dhall-lang/Prelude/List/unpackOptionals
|
|
||||||
dhall-lang/Prelude/List/unzip
|
|
||||||
dhall-lang/Prelude/List/zip
|
|
||||||
dhall-lang/Prelude/List/*.dhall
|
|
||||||
dhall-lang/Prelude/Location/Type
|
|
||||||
dhall-lang/Prelude/Location/package.dhall
|
|
||||||
dhall-lang/Prelude/Location/*.dhall
|
|
||||||
dhall-lang/Prelude/Map/Entry
|
|
||||||
dhall-lang/Prelude/Map/Type
|
|
||||||
dhall-lang/Prelude/Map/empty
|
|
||||||
dhall-lang/Prelude/Map/keyText
|
|
||||||
dhall-lang/Prelude/Map/keyValue
|
|
||||||
dhall-lang/Prelude/Map/keys
|
|
||||||
dhall-lang/Prelude/Map/map
|
|
||||||
dhall-lang/Prelude/Map/package.dhall
|
|
||||||
dhall-lang/Prelude/Map/values
|
|
||||||
dhall-lang/Prelude/Map/*.dhall
|
|
||||||
dhall-lang/Prelude/Monoid
|
|
||||||
dhall-lang/Prelude/Natural/build
|
|
||||||
dhall-lang/Prelude/Natural/enumerate
|
|
||||||
dhall-lang/Prelude/Natural/equal
|
|
||||||
dhall-lang/Prelude/Natural/even
|
|
||||||
dhall-lang/Prelude/Natural/fold
|
|
||||||
dhall-lang/Prelude/Natural/greaterThan
|
|
||||||
dhall-lang/Prelude/Natural/greaterThanEqual
|
|
||||||
dhall-lang/Prelude/Natural/isZero
|
|
||||||
dhall-lang/Prelude/Natural/lessThan
|
|
||||||
dhall-lang/Prelude/Natural/lessThanEqual
|
|
||||||
dhall-lang/Prelude/Natural/listMax
|
|
||||||
dhall-lang/Prelude/Natural/listMin
|
|
||||||
dhall-lang/Prelude/Natural/max
|
|
||||||
dhall-lang/Prelude/Natural/min
|
|
||||||
dhall-lang/Prelude/Natural/odd
|
|
||||||
dhall-lang/Prelude/Natural/package.dhall
|
|
||||||
dhall-lang/Prelude/Natural/product
|
|
||||||
dhall-lang/Prelude/Natural/show
|
|
||||||
dhall-lang/Prelude/Natural/sort
|
|
||||||
dhall-lang/Prelude/Natural/subtract
|
|
||||||
dhall-lang/Prelude/Natural/sum
|
|
||||||
dhall-lang/Prelude/Natural/toDouble
|
|
||||||
dhall-lang/Prelude/Natural/toInteger
|
|
||||||
dhall-lang/Prelude/Natural/*.dhall
|
|
||||||
dhall-lang/Prelude/Operator/package.dhall
|
|
||||||
dhall-lang/Prelude/Optional/all
|
|
||||||
dhall-lang/Prelude/Optional/any
|
|
||||||
dhall-lang/Prelude/Optional/build
|
|
||||||
dhall-lang/Prelude/Optional/concat
|
|
||||||
dhall-lang/Prelude/Optional/default
|
|
||||||
dhall-lang/Prelude/Optional/filter
|
|
||||||
dhall-lang/Prelude/Optional/fold
|
|
||||||
dhall-lang/Prelude/Optional/head
|
|
||||||
dhall-lang/Prelude/Optional/last
|
|
||||||
dhall-lang/Prelude/Optional/length
|
|
||||||
dhall-lang/Prelude/Optional/map
|
|
||||||
dhall-lang/Prelude/Optional/null
|
|
||||||
dhall-lang/Prelude/Optional/package.dhall
|
|
||||||
dhall-lang/Prelude/Optional/toList
|
|
||||||
dhall-lang/Prelude/Optional/unzip
|
|
||||||
dhall-lang/Prelude/Optional/*.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/default
|
|
||||||
dhall-lang/Prelude/Text/defaultMap
|
|
||||||
dhall-lang/Prelude/Text/package.dhall
|
|
||||||
dhall-lang/Prelude/Text/replace.dhall
|
|
||||||
dhall-lang/Prelude/Text/replicate
|
|
||||||
dhall-lang/Prelude/Text/show
|
|
||||||
dhall-lang/Prelude/Text/spaces
|
|
||||||
dhall-lang/Prelude/Text/*.dhall
|
|
||||||
dhall-lang/Prelude/XML/Type
|
|
||||||
dhall-lang/Prelude/XML/attribute
|
|
||||||
dhall-lang/Prelude/XML/element
|
|
||||||
dhall-lang/Prelude/XML/emptyAttributes
|
|
||||||
dhall-lang/Prelude/XML/leaf
|
|
||||||
dhall-lang/Prelude/XML/package.dhall
|
|
||||||
dhall-lang/Prelude/XML/render
|
|
||||||
dhall-lang/Prelude/XML/text
|
|
||||||
dhall-lang/Prelude/XML/*.dhall
|
|
||||||
dhall-lang/Prelude/*.dhall
|
|
||||||
dhall-lang/Prelude/package.dhall
|
|
||||||
dhall-lang/tests/alpha-normalization/success/unit/*.dhall
|
|
||||||
dhall-lang/tests/alpha-normalization/success/regression/*.dhall
|
|
||||||
dhall-lang/tests/binary-decode/failure/unit/*.dhallb
|
|
||||||
dhall-lang/tests/binary-decode/success/unit/*.dhall
|
|
||||||
dhall-lang/tests/binary-decode/success/unit/*.dhallb
|
|
||||||
dhall-lang/tests/binary-decode/success/unit/imports/*.dhall
|
|
||||||
dhall-lang/tests/binary-decode/success/unit/imports/*.dhallb
|
|
||||||
dhall-lang/tests/import/cache/dhall/12203871180b87ecaba8b53fffb2a8b52d3fce98098fab09a6f759358b9e8042eedc
|
|
||||||
dhall-lang/tests/import/cache/dhall/1220618f785ce8f3930a9144398f576f0a992544b51212bc9108c31b4e670dc6ed21
|
|
||||||
dhall-lang/tests/import/data/*.dhall
|
|
||||||
dhall-lang/tests/import/data/*.txt
|
|
||||||
dhall-lang/tests/import/failure/*.dhall
|
|
||||||
dhall-lang/tests/import/failure/unit/*.dhall
|
|
||||||
dhall-lang/tests/import/success/*.dhall
|
|
||||||
dhall-lang/tests/import/success/unit/*.dhall
|
|
||||||
dhall-lang/tests/import/success/unit/asLocation/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/haskell-tutorial/access/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/haskell-tutorial/combineTypes/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/haskell-tutorial/prefer/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/haskell-tutorial/projection/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/regression/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/simple/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/simplifications/*.dhall
|
|
||||||
dhall-lang/tests/normalization/success/unit/*.dhall
|
|
||||||
dhall-lang/tests/parser/failure/*.dhall
|
|
||||||
dhall-lang/tests/parser/failure/spacing/*.dhall
|
|
||||||
dhall-lang/tests/parser/failure/unit/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/*.dhallb
|
|
||||||
dhall-lang/tests/parser/success/text/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/text/*.dhallb
|
|
||||||
dhall-lang/tests/parser/success/unit/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/unit/*.dhallb
|
|
||||||
dhall-lang/tests/parser/success/unit/operators/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/unit/operators/*.dhallb
|
|
||||||
dhall-lang/tests/parser/success/unit/import/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/unit/import/*.dhallb
|
|
||||||
dhall-lang/tests/parser/success/unit/import/urls/*.dhall
|
|
||||||
dhall-lang/tests/parser/success/unit/import/urls/*.dhallb
|
|
||||||
dhall-lang/tests/semantic-hash/success/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/access/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/access/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/combineTypes/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/combineTypes/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/prefer/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/prefer/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/projection/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/haskell-tutorial/projection/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/and/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/and/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/build/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/build/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/even/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/even/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/fold/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/fold/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/not/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/not/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/odd/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/odd/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/or/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/or/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/show/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Bool/show/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Double/show/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Double/show/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Integer/show/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Integer/show/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Integer/toDouble/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Integer/toDouble/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/all/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/all/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/any/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/any/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/build/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/build/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/concat/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/concat/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/concatMap/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/concatMap/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/filter/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/filter/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/fold/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/fold/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/generate/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/generate/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/head/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/head/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/indexed/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/indexed/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/iterate/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/iterate/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/last/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/last/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/length/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/length/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/map/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/map/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/null/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/null/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/replicate/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/replicate/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/reverse/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/reverse/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/shifted/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/shifted/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/unzip/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/List/unzip/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/build/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/build/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/enumerate/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/enumerate/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/even/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/even/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/fold/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/fold/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/isZero/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/isZero/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/odd/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/odd/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/product/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/product/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/show/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/show/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/sum/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/sum/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/toDouble/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/toDouble/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/toInteger/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Natural/toInteger/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/all/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/all/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/any/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/any/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/build/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/build/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/concat/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/concat/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/filter/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/filter/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/fold/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/fold/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/head/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/head/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/last/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/last/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/length/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/length/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/map/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/map/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/null/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/null/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/toList/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/toList/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/unzip/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Optional/unzip/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concat/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concat/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMap/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMap/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMapSep/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concatMapSep/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concatSep/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/concatSep/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/show/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/prelude/Text/show/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/simple/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/simple/*.hash
|
|
||||||
dhall-lang/tests/semantic-hash/success/simplifications/*.dhall
|
|
||||||
dhall-lang/tests/semantic-hash/success/simplifications/*.hash
|
|
||||||
dhall-lang/tests/type-inference/failure/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/and/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/build/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/even/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/fold/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/not/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/odd/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/or/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Bool/show/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Double/show/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Integer/show/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Integer/toDouble/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/all/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/any/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/build/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/concat/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/concatMap/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/filter/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/fold/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/generate/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/head/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/indexed/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/iterate/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/last/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/length/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/map/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/null/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/replicate/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/reverse/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/shifted/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/List/unzip/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Monoid/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/build/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/enumerate/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/even/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/fold/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/isZero/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/odd/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/product/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/show/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/sum/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/toDouble/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Natural/toInteger/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/all/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/any/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/build/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/concat/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/filter/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/fold/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/head/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/last/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/length/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/map/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/null/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/toList/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Optional/unzip/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Text/concat/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Text/concatMap/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Text/concatMapSep/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/prelude/Text/concatSep/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/regression/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/simple/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/simple/access/*.dhall
|
|
||||||
dhall-lang/tests/type-inference/success/unit/*.dhall
|
|
||||||
tests/diff/*.dhall
|
|
||||||
tests/diff/*.txt
|
|
||||||
tests/format/*.dhall
|
|
||||||
tests/freeze/*.dhall
|
|
||||||
tests/lint/success/*.dhall
|
|
||||||
tests/recursive/*.dhall
|
|
||||||
tests/regression/*.dhall
|
|
||||||
tests/schemas/*.dhall
|
|
||||||
tests/tags/*.dhall
|
|
||||||
tests/tags/*.tags
|
|
||||||
tests/th/*.dhall
|
|
||||||
tests/tutorial/*.dhall
|
|
||||||
|
|
||||||
Source-Repository head
|
|
||||||
Type: git
|
|
||||||
Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall
|
|
||||||
|
|
||||||
Flag with-http
|
|
||||||
Description: Include support for importing dhall modules from HTTP URLs
|
|
||||||
Default: True
|
|
||||||
Manual: True
|
|
||||||
|
|
||||||
Flag use-http-client-tls
|
|
||||||
Description: Use http-client-tls for resolving HTTP imports by default
|
|
||||||
(requires with-http to be enabled)
|
|
||||||
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.11.0.0 && < 5 ,
|
|
||||||
aeson >= 1.0.0.0 && < 1.6 ,
|
|
||||||
aeson-pretty < 0.9 ,
|
|
||||||
ansi-terminal >= 0.6.3.1 && < 0.12,
|
|
||||||
atomic-write >= 0.2.0.7 && < 0.3 ,
|
|
||||||
bytestring < 0.12,
|
|
||||||
case-insensitive < 1.3 ,
|
|
||||||
cborg >= 0.2.0.0 && < 0.3 ,
|
|
||||||
cborg-json >= 0.2.2.0 && < 0.3 ,
|
|
||||||
containers >= 0.5.8.0 && < 0.7 ,
|
|
||||||
contravariant < 1.6 ,
|
|
||||||
data-fix < 0.4 ,
|
|
||||||
deepseq < 1.5 ,
|
|
||||||
Diff >= 0.2 && < 0.5 ,
|
|
||||||
directory >= 1.3.0.0 && < 1.4 ,
|
|
||||||
dotgen >= 0.4.2 && < 0.5 ,
|
|
||||||
either >= 5 && < 5.1,
|
|
||||||
exceptions >= 0.8.3 && < 0.11,
|
|
||||||
filepath >= 1.4 && < 1.5 ,
|
|
||||||
half >= 0.2.2.3 && < 0.4 ,
|
|
||||||
haskeline >= 0.7.2.1 && < 0.9 ,
|
|
||||||
hashable >= 1.2 && < 1.4 ,
|
|
||||||
lens-family-core >= 1.0.0 && < 2.2 ,
|
|
||||||
megaparsec >= 7 && < 9.2 ,
|
|
||||||
memory >= 0.14 && < 0.17,
|
|
||||||
mmorph < 1.3 ,
|
|
||||||
mtl >= 2.2.1 && < 2.3 ,
|
|
||||||
network-uri >= 2.6 && < 2.7 ,
|
|
||||||
optparse-applicative >= 0.14.0.0 && < 0.17,
|
|
||||||
parsers >= 0.12.4 && < 0.13,
|
|
||||||
parser-combinators ,
|
|
||||||
prettyprinter >= 1.5.1 && < 1.8 ,
|
|
||||||
prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 ,
|
|
||||||
pretty-simple < 4.1 ,
|
|
||||||
profunctors >= 3.1.2 && < 5.7 ,
|
|
||||||
repline >= 0.4.0.0 && < 0.5 ,
|
|
||||||
serialise >= 0.2.0.0 && < 0.3 ,
|
|
||||||
scientific >= 0.3.0.0 && < 0.4 ,
|
|
||||||
template-haskell >= 2.13.0.0 && < 2.18,
|
|
||||||
text >= 0.11.1.0 && < 1.3 ,
|
|
||||||
text-manipulate >= 0.2.0.1 && < 0.4 ,
|
|
||||||
th-lift-instances >= 0.1.13 && < 0.2 ,
|
|
||||||
transformers >= 0.2.0.0 && < 0.6 ,
|
|
||||||
transformers-compat >= 0.6.2 && < 0.7 ,
|
|
||||||
unordered-containers >= 0.1.3.0 && < 0.3 ,
|
|
||||||
uri-encode < 1.6 ,
|
|
||||||
vector >= 0.11.0.0 && < 0.13
|
|
||||||
if flag(with-http)
|
|
||||||
CPP-Options:
|
|
||||||
-DWITH_HTTP
|
|
||||||
if flag(use-http-client-tls)
|
|
||||||
CPP-Options:
|
|
||||||
-DUSE_HTTP_CLIENT_TLS
|
|
||||||
if impl(ghcjs)
|
|
||||||
Hs-Source-Dirs: ghcjs-src
|
|
||||||
Build-Depends:
|
|
||||||
ghcjs-base ,
|
|
||||||
ghcjs-xhr
|
|
||||||
else
|
|
||||||
Hs-Source-Dirs: ghc-src
|
|
||||||
Build-Depends:
|
|
||||||
cryptonite >= 0.23 && < 0.30
|
|
||||||
if flag(with-http)
|
|
||||||
Build-Depends:
|
|
||||||
http-types >= 0.7.0 && < 0.13,
|
|
||||||
http-client >= 0.5.0 && < 0.8
|
|
||||||
if flag(use-http-client-tls)
|
|
||||||
Build-Depends:
|
|
||||||
http-client-tls >= 0.2.0 && < 0.4
|
|
||||||
|
|
||||||
Other-Extensions:
|
|
||||||
BangPatterns
|
|
||||||
CPP
|
|
||||||
DefaultSignatures
|
|
||||||
DeriveAnyClass
|
|
||||||
DeriveDataTypeable
|
|
||||||
DeriveFunctor
|
|
||||||
DeriveGeneric
|
|
||||||
DeriveTraversable
|
|
||||||
FlexibleContexts
|
|
||||||
FlexibleInstances
|
|
||||||
GeneralizedNewtypeDeriving
|
|
||||||
MultiParamTypeClasses
|
|
||||||
NamedFieldPuns
|
|
||||||
OverloadedLists
|
|
||||||
OverloadedStrings
|
|
||||||
RankNTypes
|
|
||||||
RecordWildCards
|
|
||||||
ScopedTypeVariables
|
|
||||||
StandaloneDeriving
|
|
||||||
TupleSections
|
|
||||||
TypeFamilies
|
|
||||||
TypeOperators
|
|
||||||
UnicodeSyntax
|
|
||||||
if !flag(cross)
|
|
||||||
Other-Extensions:
|
|
||||||
TemplateHaskell
|
|
||||||
|
|
||||||
Exposed-Modules:
|
|
||||||
Dhall
|
|
||||||
Dhall.Binary
|
|
||||||
Dhall.Context
|
|
||||||
Dhall.Core
|
|
||||||
Dhall.Crypto
|
|
||||||
Dhall.Diff
|
|
||||||
Dhall.DirectoryTree
|
|
||||||
Dhall.Format
|
|
||||||
Dhall.Freeze
|
|
||||||
Dhall.Import
|
|
||||||
Dhall.Lint
|
|
||||||
Dhall.Main
|
|
||||||
Dhall.Marshal.Decode
|
|
||||||
Dhall.Marshal.Encode
|
|
||||||
Dhall.Map
|
|
||||||
Dhall.Optics
|
|
||||||
Dhall.Parser
|
|
||||||
Dhall.Parser.Expression
|
|
||||||
Dhall.Parser.Token
|
|
||||||
Dhall.Pretty
|
|
||||||
Dhall.Repl
|
|
||||||
Dhall.Schemas
|
|
||||||
Dhall.Set
|
|
||||||
Dhall.Src
|
|
||||||
Dhall.Substitution
|
|
||||||
Dhall.Tags
|
|
||||||
Dhall.Tutorial
|
|
||||||
Dhall.TypeCheck
|
|
||||||
Dhall.Util
|
|
||||||
Dhall.Version
|
|
||||||
if !flag(cross)
|
|
||||||
Exposed-Modules:
|
|
||||||
Dhall.TH
|
|
||||||
if impl(ghc >= 8.6.1)
|
|
||||||
Exposed-Modules:
|
|
||||||
Dhall.Deriving
|
|
||||||
Other-Modules:
|
|
||||||
Dhall.Eval
|
|
||||||
Dhall.Import.Types
|
|
||||||
Dhall.Marshal.Internal
|
|
||||||
Dhall.Normalize
|
|
||||||
Dhall.Parser.Combinators
|
|
||||||
Dhall.Pretty.Internal
|
|
||||||
Dhall.Syntax
|
|
||||||
Dhall.URL
|
|
||||||
Paths_dhall
|
|
||||||
Autogen-Modules:
|
|
||||||
Paths_dhall
|
|
||||||
if flag(with-http)
|
|
||||||
Other-Modules:
|
|
||||||
Dhall.Import.HTTP
|
|
||||||
Dhall.Import.Manager
|
|
||||||
|
|
||||||
GHC-Options: -Wall -fwarn-incomplete-uni-patterns
|
|
||||||
Default-Language: Haskell2010
|
|
||||||
|
|
||||||
Executable dhall
|
|
||||||
Hs-Source-Dirs: dhall
|
|
||||||
Main-Is: Main.hs
|
|
||||||
Build-Depends: base, dhall
|
|
||||||
GHC-Options: -Wall -rtsopts
|
|
||||||
Default-Language: Haskell2010
|
|
||||||
|
|
||||||
Test-Suite tasty
|
|
||||||
Type: exitcode-stdio-1.0
|
|
||||||
Hs-Source-Dirs: tests
|
|
||||||
Main-Is: Dhall/Test/Main.hs
|
|
||||||
GHC-Options: -Wall
|
|
||||||
Other-Modules:
|
|
||||||
Dhall.Test.Dhall
|
|
||||||
Dhall.Test.Diff
|
|
||||||
Dhall.Test.Tags
|
|
||||||
Dhall.Test.Format
|
|
||||||
Dhall.Test.Freeze
|
|
||||||
Dhall.Test.Import
|
|
||||||
Dhall.Test.Lint
|
|
||||||
Dhall.Test.Normalization
|
|
||||||
Dhall.Test.Parser
|
|
||||||
Dhall.Test.QuickCheck
|
|
||||||
Dhall.Test.Regression
|
|
||||||
Dhall.Test.Schemas
|
|
||||||
Dhall.Test.SemanticHash
|
|
||||||
Dhall.Test.Substitution
|
|
||||||
Dhall.Test.TH
|
|
||||||
Dhall.Test.Tutorial
|
|
||||||
Dhall.Test.TypeInference
|
|
||||||
Dhall.Test.Util
|
|
||||||
Build-Depends:
|
|
||||||
base >= 4 && < 5 ,
|
|
||||||
bytestring ,
|
|
||||||
cborg >= 0.2.0.0 && < 0.3 ,
|
|
||||||
containers ,
|
|
||||||
data-fix ,
|
|
||||||
deepseq >= 1.2.0.1 && < 1.5 ,
|
|
||||||
dhall ,
|
|
||||||
directory ,
|
|
||||||
either ,
|
|
||||||
filepath ,
|
|
||||||
foldl < 1.5 ,
|
|
||||||
generic-random >= 1.3.0.0 && < 1.6 ,
|
|
||||||
http-client ,
|
|
||||||
http-client-tls ,
|
|
||||||
lens-family-core ,
|
|
||||||
megaparsec ,
|
|
||||||
prettyprinter ,
|
|
||||||
QuickCheck >= 2.10 && < 2.15,
|
|
||||||
quickcheck-instances >= 0.3.12 && < 0.4 ,
|
|
||||||
scientific ,
|
|
||||||
serialise ,
|
|
||||||
special-values < 0.2 ,
|
|
||||||
spoon < 0.4 ,
|
|
||||||
tasty >= 0.11.2 && < 1.5 ,
|
|
||||||
tasty-expected-failure < 0.13,
|
|
||||||
tasty-hunit >= 0.10 && < 0.11,
|
|
||||||
tasty-quickcheck >= 0.9.2 && < 0.11,
|
|
||||||
tasty-silver < 3.3 ,
|
|
||||||
template-haskell ,
|
|
||||||
text >= 0.11.1.0 && < 1.3 ,
|
|
||||||
transformers ,
|
|
||||||
turtle < 1.6 ,
|
|
||||||
unordered-containers ,
|
|
||||||
vector >= 0.11.0.0 && < 0.13
|
|
||||||
if flag(with-http)
|
|
||||||
CPP-Options:
|
|
||||||
-DWITH_HTTP
|
|
||||||
Default-Language: Haskell2010
|
|
||||||
|
|
||||||
Test-Suite doctest
|
|
||||||
Type: exitcode-stdio-1.0
|
|
||||||
Hs-Source-Dirs: doctest
|
|
||||||
Main-Is: Main.hs
|
|
||||||
GHC-Options: -Wall
|
|
||||||
Build-Depends:
|
|
||||||
base ,
|
|
||||||
directory ,
|
|
||||||
filepath < 1.5 ,
|
|
||||||
mockery < 0.4 ,
|
|
||||||
doctest >= 0.7.0 && < 0.19
|
|
||||||
Default-Language: Haskell2010
|
|
||||||
|
|
||||||
Benchmark dhall-parser
|
|
||||||
Type: exitcode-stdio-1.0
|
|
||||||
Hs-Source-Dirs: benchmark/parser
|
|
||||||
Main-Is: Main.hs
|
|
||||||
Build-Depends:
|
|
||||||
base >= 4 && < 5 ,
|
|
||||||
bytestring ,
|
|
||||||
containers >= 0.5.0.0 && < 0.7,
|
|
||||||
dhall ,
|
|
||||||
directory ,
|
|
||||||
gauge >= 0.2.3 && < 0.3,
|
|
||||||
text >= 0.11.1.0 && < 1.3
|
|
||||||
Default-Language: Haskell2010
|
|
||||||
Other-Extensions:
|
|
||||||
TypeApplications
|
|
||||||
ghc-options: -rtsopts -Wall
|
|
||||||
|
|
||||||
Benchmark deep-nested-large-record
|
|
||||||
Type: exitcode-stdio-1.0
|
|
||||||
Hs-Source-Dirs: benchmark/deep-nested-large-record
|
|
||||||
Main-Is: Main.hs
|
|
||||||
Build-Depends:
|
|
||||||
base >= 4 && < 5 ,
|
|
||||||
containers >= 0.5.0.0 && < 0.7,
|
|
||||||
dhall ,
|
|
||||||
gauge >= 0.2.3 && < 0.3
|
|
||||||
Default-Language: Haskell2010
|
|
||||||
ghc-options: -Wall
|
|
|
@ -0,0 +1,461 @@
|
||||||
|
Cabal-Version: 2.4
|
||||||
|
Name: dhall
|
||||||
|
Version: 1.41.2
|
||||||
|
x-revision: 4
|
||||||
|
Build-Type: Simple
|
||||||
|
License: BSD-3-Clause
|
||||||
|
License-File: LICENSE
|
||||||
|
Copyright: 2017 Gabriella Gonzalez
|
||||||
|
Author: Gabriella Gonzalez
|
||||||
|
Maintainer: GenuineGabriella@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
|
||||||
|
Data-Files:
|
||||||
|
man/dhall.1
|
||||||
|
Extra-Source-Files:
|
||||||
|
CHANGELOG.md
|
||||||
|
benchmark/**/*.dhall
|
||||||
|
dhall-lang/Prelude/**/*.dhall
|
||||||
|
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/show
|
||||||
|
dhall-lang/Prelude/Double/show
|
||||||
|
dhall-lang/Prelude/Function/compose
|
||||||
|
dhall-lang/Prelude/Function/identity
|
||||||
|
dhall-lang/Prelude/Integer/abs
|
||||||
|
dhall-lang/Prelude/Integer/add
|
||||||
|
dhall-lang/Prelude/Integer/clamp
|
||||||
|
dhall-lang/Prelude/Integer/equal
|
||||||
|
dhall-lang/Prelude/Integer/greaterThan
|
||||||
|
dhall-lang/Prelude/Integer/greaterThanEqual
|
||||||
|
dhall-lang/Prelude/Integer/lessThan
|
||||||
|
dhall-lang/Prelude/Integer/lessThanEqual
|
||||||
|
dhall-lang/Prelude/Integer/multiply
|
||||||
|
dhall-lang/Prelude/Integer/negate
|
||||||
|
dhall-lang/Prelude/Integer/negative
|
||||||
|
dhall-lang/Prelude/Integer/nonNegative
|
||||||
|
dhall-lang/Prelude/Integer/nonPositive
|
||||||
|
dhall-lang/Prelude/Integer/positive
|
||||||
|
dhall-lang/Prelude/Integer/show
|
||||||
|
dhall-lang/Prelude/Integer/subtract
|
||||||
|
dhall-lang/Prelude/Integer/toDouble
|
||||||
|
dhall-lang/Prelude/Integer/toNatural
|
||||||
|
dhall-lang/Prelude/JSON/Format
|
||||||
|
dhall-lang/Prelude/JSON/Nesting
|
||||||
|
dhall-lang/Prelude/JSON/Tagged
|
||||||
|
dhall-lang/Prelude/JSON/Type
|
||||||
|
dhall-lang/Prelude/JSON/array
|
||||||
|
dhall-lang/Prelude/JSON/bool
|
||||||
|
dhall-lang/Prelude/JSON/double
|
||||||
|
dhall-lang/Prelude/JSON/integer
|
||||||
|
dhall-lang/Prelude/JSON/keyText
|
||||||
|
dhall-lang/Prelude/JSON/keyValue
|
||||||
|
dhall-lang/Prelude/JSON/natural
|
||||||
|
dhall-lang/Prelude/JSON/null
|
||||||
|
dhall-lang/Prelude/JSON/number
|
||||||
|
dhall-lang/Prelude/JSON/object
|
||||||
|
dhall-lang/Prelude/JSON/omitNullFields
|
||||||
|
dhall-lang/Prelude/JSON/render
|
||||||
|
dhall-lang/Prelude/JSON/renderAs
|
||||||
|
dhall-lang/Prelude/JSON/renderYAML
|
||||||
|
dhall-lang/Prelude/JSON/string
|
||||||
|
dhall-lang/Prelude/JSON/tagInline
|
||||||
|
dhall-lang/Prelude/JSON/tagNested
|
||||||
|
dhall-lang/Prelude/List/all
|
||||||
|
dhall-lang/Prelude/List/any
|
||||||
|
dhall-lang/Prelude/List/build
|
||||||
|
dhall-lang/Prelude/List/concat
|
||||||
|
dhall-lang/Prelude/List/concatMap
|
||||||
|
dhall-lang/Prelude/List/default
|
||||||
|
dhall-lang/Prelude/List/drop
|
||||||
|
dhall-lang/Prelude/List/empty
|
||||||
|
dhall-lang/Prelude/List/filter
|
||||||
|
dhall-lang/Prelude/List/fold
|
||||||
|
dhall-lang/Prelude/List/generate
|
||||||
|
dhall-lang/Prelude/List/head
|
||||||
|
dhall-lang/Prelude/List/index
|
||||||
|
dhall-lang/Prelude/List/indexed
|
||||||
|
dhall-lang/Prelude/List/iterate
|
||||||
|
dhall-lang/Prelude/List/last
|
||||||
|
dhall-lang/Prelude/List/length
|
||||||
|
dhall-lang/Prelude/List/map
|
||||||
|
dhall-lang/Prelude/List/null
|
||||||
|
dhall-lang/Prelude/List/partition
|
||||||
|
dhall-lang/Prelude/List/replicate
|
||||||
|
dhall-lang/Prelude/List/reverse
|
||||||
|
dhall-lang/Prelude/List/shifted
|
||||||
|
dhall-lang/Prelude/List/take
|
||||||
|
dhall-lang/Prelude/List/unpackOptionals
|
||||||
|
dhall-lang/Prelude/List/unzip
|
||||||
|
dhall-lang/Prelude/List/zip
|
||||||
|
dhall-lang/Prelude/Location/Type
|
||||||
|
dhall-lang/Prelude/Map/Entry
|
||||||
|
dhall-lang/Prelude/Map/Type
|
||||||
|
dhall-lang/Prelude/Map/empty
|
||||||
|
dhall-lang/Prelude/Map/keyText
|
||||||
|
dhall-lang/Prelude/Map/keyValue
|
||||||
|
dhall-lang/Prelude/Map/keys
|
||||||
|
dhall-lang/Prelude/Map/map
|
||||||
|
dhall-lang/Prelude/Map/values
|
||||||
|
dhall-lang/Prelude/Monoid
|
||||||
|
dhall-lang/Prelude/Natural/build
|
||||||
|
dhall-lang/Prelude/Natural/enumerate
|
||||||
|
dhall-lang/Prelude/Natural/equal
|
||||||
|
dhall-lang/Prelude/Natural/even
|
||||||
|
dhall-lang/Prelude/Natural/fold
|
||||||
|
dhall-lang/Prelude/Natural/greaterThan
|
||||||
|
dhall-lang/Prelude/Natural/greaterThanEqual
|
||||||
|
dhall-lang/Prelude/Natural/isZero
|
||||||
|
dhall-lang/Prelude/Natural/lessThan
|
||||||
|
dhall-lang/Prelude/Natural/lessThanEqual
|
||||||
|
dhall-lang/Prelude/Natural/listMax
|
||||||
|
dhall-lang/Prelude/Natural/listMin
|
||||||
|
dhall-lang/Prelude/Natural/max
|
||||||
|
dhall-lang/Prelude/Natural/min
|
||||||
|
dhall-lang/Prelude/Natural/odd
|
||||||
|
dhall-lang/Prelude/Natural/product
|
||||||
|
dhall-lang/Prelude/Natural/show
|
||||||
|
dhall-lang/Prelude/Natural/sort
|
||||||
|
dhall-lang/Prelude/Natural/subtract
|
||||||
|
dhall-lang/Prelude/Natural/sum
|
||||||
|
dhall-lang/Prelude/Natural/toDouble
|
||||||
|
dhall-lang/Prelude/Natural/toInteger
|
||||||
|
dhall-lang/Prelude/Optional/all
|
||||||
|
dhall-lang/Prelude/Optional/any
|
||||||
|
dhall-lang/Prelude/Optional/build
|
||||||
|
dhall-lang/Prelude/Optional/concat
|
||||||
|
dhall-lang/Prelude/Optional/default
|
||||||
|
dhall-lang/Prelude/Optional/filter
|
||||||
|
dhall-lang/Prelude/Optional/fold
|
||||||
|
dhall-lang/Prelude/Optional/head
|
||||||
|
dhall-lang/Prelude/Optional/last
|
||||||
|
dhall-lang/Prelude/Optional/length
|
||||||
|
dhall-lang/Prelude/Optional/map
|
||||||
|
dhall-lang/Prelude/Optional/null
|
||||||
|
dhall-lang/Prelude/Optional/toList
|
||||||
|
dhall-lang/Prelude/Optional/unzip
|
||||||
|
dhall-lang/Prelude/Text/concat
|
||||||
|
dhall-lang/Prelude/Text/concatMap
|
||||||
|
dhall-lang/Prelude/Text/concatMapSep
|
||||||
|
dhall-lang/Prelude/Text/concatSep
|
||||||
|
dhall-lang/Prelude/Text/default
|
||||||
|
dhall-lang/Prelude/Text/defaultMap
|
||||||
|
dhall-lang/Prelude/Text/replicate
|
||||||
|
dhall-lang/Prelude/Text/show
|
||||||
|
dhall-lang/Prelude/Text/spaces
|
||||||
|
dhall-lang/Prelude/XML/Type
|
||||||
|
dhall-lang/Prelude/XML/attribute
|
||||||
|
dhall-lang/Prelude/XML/element
|
||||||
|
dhall-lang/Prelude/XML/emptyAttributes
|
||||||
|
dhall-lang/Prelude/XML/leaf
|
||||||
|
dhall-lang/Prelude/XML/render
|
||||||
|
dhall-lang/Prelude/XML/text
|
||||||
|
dhall-lang/tests/**/*.dhall
|
||||||
|
dhall-lang/tests/**/*.dhallb
|
||||||
|
dhall-lang/tests/**/*.hash
|
||||||
|
dhall-lang/tests/**/*.txt
|
||||||
|
dhall-lang/tests/import/cache/dhall/12203871180b87ecaba8b53fffb2a8b52d3fce98098fab09a6f759358b9e8042eedc
|
||||||
|
dhall-lang/tests/import/cache/dhall/1220618f785ce8f3930a9144398f576f0a992544b51212bc9108c31b4e670dc6ed21
|
||||||
|
tests/**/*.dhall
|
||||||
|
tests/**/*.tags
|
||||||
|
tests/**/*.txt
|
||||||
|
|
||||||
|
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 use-http-client-tls
|
||||||
|
Description: Use http-client-tls for resolving HTTP imports by default
|
||||||
|
(requires with-http to be enabled)
|
||||||
|
Default: True
|
||||||
|
Manual: True
|
||||||
|
|
||||||
|
Flag cross
|
||||||
|
Description: Disable TemplateHaskell to make cross-compiling easier
|
||||||
|
Default: False
|
||||||
|
Manual: True
|
||||||
|
|
||||||
|
Flag network-tests
|
||||||
|
Description: Enable tests which depend on an internet connection
|
||||||
|
Default: True
|
||||||
|
Manual: True
|
||||||
|
|
||||||
|
Common common
|
||||||
|
Build-Depends:
|
||||||
|
base >= 4.11.0.0 && < 5 ,
|
||||||
|
aeson >= 1.0.0.0 && < 2.2 ,
|
||||||
|
aeson-pretty < 0.9 ,
|
||||||
|
ansi-terminal >= 0.6.3.1 && < 0.12,
|
||||||
|
atomic-write >= 0.2.0.7 && < 0.3 ,
|
||||||
|
base16-bytestring >= 1.0.0.0 ,
|
||||||
|
bytestring < 0.12,
|
||||||
|
case-insensitive < 1.3 ,
|
||||||
|
cborg >= 0.2.0.0 && < 0.3 ,
|
||||||
|
cborg-json >= 0.2.2.0 && < 0.3 ,
|
||||||
|
containers >= 0.5.8.0 && < 0.7 ,
|
||||||
|
contravariant < 1.6 ,
|
||||||
|
data-fix < 0.4 ,
|
||||||
|
deepseq < 1.5 ,
|
||||||
|
Diff >= 0.2 && < 0.5 ,
|
||||||
|
directory >= 1.3.0.0 && < 1.4 ,
|
||||||
|
dotgen >= 0.4.2 && < 0.5 ,
|
||||||
|
either >= 5 && < 5.1,
|
||||||
|
exceptions >= 0.8.3 && < 0.11,
|
||||||
|
filepath >= 1.4 && < 1.5 ,
|
||||||
|
half >= 0.2.2.3 && < 0.4 ,
|
||||||
|
haskeline >= 0.7.2.1 && < 0.9 ,
|
||||||
|
hashable >= 1.2 && < 1.5 ,
|
||||||
|
indexed-traversable < 0.2 ,
|
||||||
|
lens-family-core >= 1.0.0 && < 2.2 ,
|
||||||
|
-- megaparsec follows SemVer: https://github.com/mrkkrp/megaparsec/issues/469#issuecomment-927918469
|
||||||
|
megaparsec >= 8 && < 10 ,
|
||||||
|
mmorph < 1.3 ,
|
||||||
|
mtl >= 2.2.1 && < 2.4 ,
|
||||||
|
network-uri >= 2.6 && < 2.7 ,
|
||||||
|
optparse-applicative >= 0.14.0.0 && < 0.18,
|
||||||
|
parsers >= 0.12.4 && < 0.13,
|
||||||
|
parser-combinators ,
|
||||||
|
prettyprinter >= 1.7.0 && < 1.8 ,
|
||||||
|
prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 ,
|
||||||
|
pretty-simple < 4.2 ,
|
||||||
|
profunctors >= 3.1.2 && < 5.7 ,
|
||||||
|
repline >= 0.4.0.0 && < 0.5 ,
|
||||||
|
serialise >= 0.2.0.0 && < 0.3 ,
|
||||||
|
scientific >= 0.3.0.0 && < 0.4 ,
|
||||||
|
template-haskell >= 2.13.0.0 && < 2.20,
|
||||||
|
text >= 0.11.1.0 && < 2.1 ,
|
||||||
|
text-manipulate >= 0.2.0.1 && < 0.4 ,
|
||||||
|
text-short >= 0.1 && < 0.2 ,
|
||||||
|
th-lift-instances >= 0.1.13 && < 0.2 ,
|
||||||
|
time >= 1.9 && < 1.13,
|
||||||
|
transformers >= 0.5.2.0 && < 0.7 ,
|
||||||
|
unordered-containers >= 0.1.3.0 && < 0.3 ,
|
||||||
|
uri-encode < 1.6 ,
|
||||||
|
vector >= 0.11.0.0 && < 0.14
|
||||||
|
|
||||||
|
if flag(with-http)
|
||||||
|
CPP-Options:
|
||||||
|
-DWITH_HTTP
|
||||||
|
if flag(use-http-client-tls)
|
||||||
|
CPP-Options:
|
||||||
|
-DUSE_HTTP_CLIENT_TLS
|
||||||
|
if flag(network-tests)
|
||||||
|
CPP-Options:
|
||||||
|
-DNETWORK_TESTS
|
||||||
|
|
||||||
|
GHC-Options: -Wall -Wcompat -Wincomplete-uni-patterns
|
||||||
|
|
||||||
|
Library
|
||||||
|
Import: common
|
||||||
|
Hs-Source-Dirs: src
|
||||||
|
if impl(ghcjs)
|
||||||
|
Hs-Source-Dirs: ghcjs-src
|
||||||
|
Build-Depends:
|
||||||
|
ghcjs-base ,
|
||||||
|
ghcjs-xhr
|
||||||
|
else
|
||||||
|
Hs-Source-Dirs: ghc-src
|
||||||
|
Build-Depends:
|
||||||
|
cryptohash-sha256
|
||||||
|
if flag(with-http)
|
||||||
|
Build-Depends:
|
||||||
|
http-types >= 0.7.0 && < 0.13,
|
||||||
|
http-client >= 0.5.0 && < 0.8
|
||||||
|
if flag(use-http-client-tls)
|
||||||
|
Build-Depends:
|
||||||
|
http-client-tls >= 0.2.0 && < 0.4
|
||||||
|
|
||||||
|
Other-Extensions:
|
||||||
|
BangPatterns
|
||||||
|
CPP
|
||||||
|
DefaultSignatures
|
||||||
|
DeriveAnyClass
|
||||||
|
DeriveDataTypeable
|
||||||
|
DeriveFunctor
|
||||||
|
DeriveGeneric
|
||||||
|
DeriveTraversable
|
||||||
|
FlexibleContexts
|
||||||
|
FlexibleInstances
|
||||||
|
GeneralizedNewtypeDeriving
|
||||||
|
MultiParamTypeClasses
|
||||||
|
NamedFieldPuns
|
||||||
|
OverloadedLists
|
||||||
|
OverloadedStrings
|
||||||
|
RankNTypes
|
||||||
|
RecordWildCards
|
||||||
|
ScopedTypeVariables
|
||||||
|
StandaloneDeriving
|
||||||
|
TupleSections
|
||||||
|
TypeFamilies
|
||||||
|
TypeOperators
|
||||||
|
UnicodeSyntax
|
||||||
|
if !flag(cross)
|
||||||
|
Other-Extensions:
|
||||||
|
TemplateHaskell
|
||||||
|
|
||||||
|
Exposed-Modules:
|
||||||
|
Dhall
|
||||||
|
Dhall.Binary
|
||||||
|
Dhall.Context
|
||||||
|
Dhall.Core
|
||||||
|
Dhall.Crypto
|
||||||
|
Dhall.Diff
|
||||||
|
Dhall.DirectoryTree
|
||||||
|
Dhall.Format
|
||||||
|
Dhall.Freeze
|
||||||
|
Dhall.Import
|
||||||
|
Dhall.Lint
|
||||||
|
Dhall.Main
|
||||||
|
Dhall.Marshal.Decode
|
||||||
|
Dhall.Marshal.Encode
|
||||||
|
Dhall.Map
|
||||||
|
Dhall.Optics
|
||||||
|
Dhall.Parser
|
||||||
|
Dhall.Parser.Expression
|
||||||
|
Dhall.Parser.Token
|
||||||
|
Dhall.Pretty
|
||||||
|
Dhall.Repl
|
||||||
|
Dhall.Schemas
|
||||||
|
Dhall.Set
|
||||||
|
Dhall.Src
|
||||||
|
Dhall.Substitution
|
||||||
|
Dhall.Tags
|
||||||
|
Dhall.Tutorial
|
||||||
|
Dhall.TypeCheck
|
||||||
|
Dhall.Util
|
||||||
|
Dhall.Version
|
||||||
|
if !flag(cross)
|
||||||
|
Exposed-Modules:
|
||||||
|
Dhall.TH
|
||||||
|
if impl(ghc >= 8.6.1)
|
||||||
|
Exposed-Modules:
|
||||||
|
Dhall.Deriving
|
||||||
|
Other-Modules:
|
||||||
|
Dhall.Eval
|
||||||
|
Dhall.Import.Types
|
||||||
|
Dhall.Import.Headers
|
||||||
|
Dhall.Marshal.Internal
|
||||||
|
Dhall.Normalize
|
||||||
|
Dhall.Parser.Combinators
|
||||||
|
Dhall.Pretty.Internal
|
||||||
|
Dhall.Syntax
|
||||||
|
Dhall.URL
|
||||||
|
Paths_dhall
|
||||||
|
Autogen-Modules:
|
||||||
|
Paths_dhall
|
||||||
|
if flag(with-http)
|
||||||
|
Other-Modules:
|
||||||
|
Dhall.Import.HTTP
|
||||||
|
Dhall.Import.Manager
|
||||||
|
|
||||||
|
Default-Language: Haskell2010
|
||||||
|
|
||||||
|
Executable dhall
|
||||||
|
Import: common
|
||||||
|
Hs-Source-Dirs: dhall
|
||||||
|
Main-Is: Main.hs
|
||||||
|
Build-Depends: dhall
|
||||||
|
GHC-Options: -rtsopts
|
||||||
|
Default-Language: Haskell2010
|
||||||
|
|
||||||
|
Test-Suite tasty
|
||||||
|
Import: common
|
||||||
|
Type: exitcode-stdio-1.0
|
||||||
|
Hs-Source-Dirs: tests
|
||||||
|
Main-Is: Dhall/Test/Main.hs
|
||||||
|
Other-Modules:
|
||||||
|
Dhall.Test.Dhall
|
||||||
|
Dhall.Test.Diff
|
||||||
|
Dhall.Test.Tags
|
||||||
|
Dhall.Test.Format
|
||||||
|
Dhall.Test.Freeze
|
||||||
|
Dhall.Test.Import
|
||||||
|
Dhall.Test.Lint
|
||||||
|
Dhall.Test.Normalization
|
||||||
|
Dhall.Test.Parser
|
||||||
|
Dhall.Test.QuickCheck
|
||||||
|
Dhall.Test.Regression
|
||||||
|
Dhall.Test.Schemas
|
||||||
|
Dhall.Test.SemanticHash
|
||||||
|
Dhall.Test.Substitution
|
||||||
|
Dhall.Test.TH
|
||||||
|
Dhall.Test.Tutorial
|
||||||
|
Dhall.Test.TypeInference
|
||||||
|
Dhall.Test.Util
|
||||||
|
Build-Depends:
|
||||||
|
dhall ,
|
||||||
|
foldl < 1.5 ,
|
||||||
|
generic-random >= 1.3.0.0 && < 1.6 ,
|
||||||
|
http-client ,
|
||||||
|
http-client-tls ,
|
||||||
|
QuickCheck >= 2.14 && < 2.15,
|
||||||
|
quickcheck-instances >= 0.3.12 && < 0.4 ,
|
||||||
|
special-values < 0.2 ,
|
||||||
|
spoon < 0.4 ,
|
||||||
|
system-filepath ,
|
||||||
|
tasty >= 0.11.2 && < 1.5 ,
|
||||||
|
tasty-expected-failure < 0.13,
|
||||||
|
tasty-hunit >= 0.10 && < 0.11,
|
||||||
|
tasty-quickcheck >= 0.9.2 && < 0.11,
|
||||||
|
tasty-silver < 3.4 ,
|
||||||
|
temporary >= 1.2.1 && < 1.4 ,
|
||||||
|
turtle < 1.7 ,
|
||||||
|
Default-Language: Haskell2010
|
||||||
|
|
||||||
|
Test-Suite doctest
|
||||||
|
Import: common
|
||||||
|
Type: exitcode-stdio-1.0
|
||||||
|
Hs-Source-Dirs: doctest
|
||||||
|
Main-Is: Main.hs
|
||||||
|
Build-Depends:
|
||||||
|
mockery < 0.4 ,
|
||||||
|
doctest >= 0.7.0
|
||||||
|
if os(windows)
|
||||||
|
-- https://github.com/dhall-lang/dhall-haskell/issues/2237
|
||||||
|
Buildable: False
|
||||||
|
Default-Language: Haskell2010
|
||||||
|
|
||||||
|
Benchmark dhall-parser
|
||||||
|
Import: common
|
||||||
|
Type: exitcode-stdio-1.0
|
||||||
|
Hs-Source-Dirs: benchmark/parser
|
||||||
|
Main-Is: Main.hs
|
||||||
|
Build-Depends:
|
||||||
|
dhall ,
|
||||||
|
gauge >= 0.2.3 && < 0.3,
|
||||||
|
Default-Language: Haskell2010
|
||||||
|
Other-Extensions:
|
||||||
|
TypeApplications
|
||||||
|
Ghc-Options: -rtsopts
|
||||||
|
|
||||||
|
Benchmark deep-nested-large-record
|
||||||
|
Import: common
|
||||||
|
Type: exitcode-stdio-1.0
|
||||||
|
Hs-Source-Dirs: benchmark/deep-nested-large-record
|
||||||
|
Main-Is: Main.hs
|
||||||
|
Build-Depends:
|
||||||
|
dhall ,
|
||||||
|
gauge >= 0.2.3 && < 0.3
|
||||||
|
Default-Language: Haskell2010
|
76
dhall.spec
76
dhall.spec
|
@ -1,4 +1,4 @@
|
||||||
# generated by cabal-rpm-2.0.9
|
# generated by cabal-rpm-2.1.0
|
||||||
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
||||||
|
|
||||||
%global pkg_name dhall
|
%global pkg_name dhall
|
||||||
|
@ -7,11 +7,11 @@
|
||||||
# testsuite missing deps: generic-random quickcheck-instances special-values spoon tasty-expected-failure tasty-silver
|
# testsuite missing deps: generic-random quickcheck-instances special-values spoon tasty-expected-failure tasty-silver
|
||||||
|
|
||||||
Name: %{pkg_name}
|
Name: %{pkg_name}
|
||||||
Version: 1.39.0
|
Version: 1.41.2
|
||||||
Release: 5%{?dist}
|
Release: 1%{?dist}
|
||||||
Summary: A configuration language guaranteed to terminate
|
Summary: A configuration language guaranteed to terminate
|
||||||
|
|
||||||
License: BSD
|
License: BSD-3-Clause
|
||||||
Url: https://hackage.haskell.org/package/%{name}
|
Url: https://hackage.haskell.org/package/%{name}
|
||||||
# Begin cabal-rpm sources:
|
# Begin cabal-rpm sources:
|
||||||
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
||||||
|
@ -22,19 +22,74 @@ Source1: https://hackage.haskell.org/package/%{pkgver}/%{name}.cabal#/%{p
|
||||||
BuildRequires: dos2unix
|
BuildRequires: dos2unix
|
||||||
BuildRequires: ghc-Cabal-devel
|
BuildRequires: ghc-Cabal-devel
|
||||||
BuildRequires: ghc-rpm-macros
|
BuildRequires: ghc-rpm-macros
|
||||||
|
BuildRequires: ghc-Diff-devel
|
||||||
|
BuildRequires: ghc-aeson-devel
|
||||||
|
BuildRequires: ghc-aeson-pretty-devel
|
||||||
|
BuildRequires: ghc-ansi-terminal-devel
|
||||||
|
BuildRequires: ghc-atomic-write-devel
|
||||||
|
BuildRequires: ghc-base-devel
|
||||||
|
BuildRequires: ghc-base16-bytestring-devel
|
||||||
|
BuildRequires: ghc-bytestring-devel
|
||||||
|
BuildRequires: ghc-case-insensitive-devel
|
||||||
|
BuildRequires: ghc-cborg-devel
|
||||||
|
BuildRequires: ghc-cborg-json-devel
|
||||||
|
BuildRequires: ghc-containers-devel
|
||||||
|
BuildRequires: ghc-contravariant-devel
|
||||||
|
BuildRequires: ghc-cryptohash-sha256-devel
|
||||||
|
BuildRequires: ghc-data-fix-devel
|
||||||
|
BuildRequires: ghc-deepseq-devel
|
||||||
|
BuildRequires: ghc-directory-devel
|
||||||
|
BuildRequires: ghc-dotgen-devel
|
||||||
|
BuildRequires: ghc-either-devel
|
||||||
|
BuildRequires: ghc-exceptions-devel
|
||||||
|
BuildRequires: ghc-filepath-devel
|
||||||
|
BuildRequires: ghc-half-devel
|
||||||
|
BuildRequires: ghc-hashable-devel
|
||||||
|
BuildRequires: ghc-haskeline-devel
|
||||||
|
BuildRequires: ghc-http-client-devel
|
||||||
|
BuildRequires: ghc-http-client-tls-devel
|
||||||
|
BuildRequires: ghc-http-types-devel
|
||||||
|
BuildRequires: ghc-indexed-traversable-devel
|
||||||
|
BuildRequires: ghc-lens-family-core-devel
|
||||||
|
BuildRequires: ghc-megaparsec-devel
|
||||||
|
BuildRequires: ghc-mmorph-devel
|
||||||
|
BuildRequires: ghc-mtl-devel
|
||||||
|
BuildRequires: ghc-network-uri-devel
|
||||||
|
BuildRequires: ghc-optparse-applicative-devel
|
||||||
|
BuildRequires: ghc-parser-combinators-devel
|
||||||
|
BuildRequires: ghc-parsers-devel
|
||||||
|
BuildRequires: ghc-pretty-simple-devel
|
||||||
|
BuildRequires: ghc-prettyprinter-devel
|
||||||
|
BuildRequires: ghc-prettyprinter-ansi-terminal-devel
|
||||||
|
BuildRequires: ghc-profunctors-devel
|
||||||
|
BuildRequires: ghc-repline-devel
|
||||||
|
BuildRequires: ghc-scientific-devel
|
||||||
|
BuildRequires: ghc-serialise-devel
|
||||||
|
BuildRequires: ghc-template-haskell-devel
|
||||||
|
BuildRequires: ghc-text-devel
|
||||||
|
BuildRequires: ghc-text-manipulate-devel
|
||||||
|
BuildRequires: ghc-text-short-devel
|
||||||
|
BuildRequires: ghc-th-lift-instances-devel
|
||||||
|
BuildRequires: ghc-time-devel
|
||||||
|
BuildRequires: ghc-transformers-devel
|
||||||
|
BuildRequires: ghc-unordered-containers-devel
|
||||||
|
BuildRequires: ghc-uri-encode-devel
|
||||||
|
BuildRequires: ghc-vector-devel
|
||||||
|
%if %{with ghc_prof}
|
||||||
BuildRequires: ghc-Diff-prof
|
BuildRequires: ghc-Diff-prof
|
||||||
BuildRequires: ghc-aeson-prof
|
BuildRequires: ghc-aeson-prof
|
||||||
BuildRequires: ghc-aeson-pretty-prof
|
BuildRequires: ghc-aeson-pretty-prof
|
||||||
BuildRequires: ghc-ansi-terminal-prof
|
BuildRequires: ghc-ansi-terminal-prof
|
||||||
BuildRequires: ghc-atomic-write-prof
|
BuildRequires: ghc-atomic-write-prof
|
||||||
BuildRequires: ghc-base-prof
|
BuildRequires: ghc-base-prof
|
||||||
|
BuildRequires: ghc-base16-bytestring-prof
|
||||||
BuildRequires: ghc-bytestring-prof
|
BuildRequires: ghc-bytestring-prof
|
||||||
BuildRequires: ghc-case-insensitive-prof
|
BuildRequires: ghc-case-insensitive-prof
|
||||||
BuildRequires: ghc-cborg-prof
|
BuildRequires: ghc-cborg-prof
|
||||||
BuildRequires: ghc-cborg-json-prof
|
BuildRequires: ghc-cborg-json-prof
|
||||||
BuildRequires: ghc-containers-prof
|
BuildRequires: ghc-containers-prof
|
||||||
BuildRequires: ghc-contravariant-prof
|
BuildRequires: ghc-contravariant-prof
|
||||||
BuildRequires: ghc-cryptonite-prof
|
BuildRequires: ghc-cryptohash-sha256-prof
|
||||||
BuildRequires: ghc-data-fix-prof
|
BuildRequires: ghc-data-fix-prof
|
||||||
BuildRequires: ghc-deepseq-prof
|
BuildRequires: ghc-deepseq-prof
|
||||||
BuildRequires: ghc-directory-prof
|
BuildRequires: ghc-directory-prof
|
||||||
|
@ -48,9 +103,9 @@ BuildRequires: ghc-haskeline-prof
|
||||||
BuildRequires: ghc-http-client-prof
|
BuildRequires: ghc-http-client-prof
|
||||||
BuildRequires: ghc-http-client-tls-prof
|
BuildRequires: ghc-http-client-tls-prof
|
||||||
BuildRequires: ghc-http-types-prof
|
BuildRequires: ghc-http-types-prof
|
||||||
|
BuildRequires: ghc-indexed-traversable-prof
|
||||||
BuildRequires: ghc-lens-family-core-prof
|
BuildRequires: ghc-lens-family-core-prof
|
||||||
BuildRequires: ghc-megaparsec-prof
|
BuildRequires: ghc-megaparsec-prof
|
||||||
BuildRequires: ghc-memory-prof
|
|
||||||
BuildRequires: ghc-mmorph-prof
|
BuildRequires: ghc-mmorph-prof
|
||||||
BuildRequires: ghc-mtl-prof
|
BuildRequires: ghc-mtl-prof
|
||||||
BuildRequires: ghc-network-uri-prof
|
BuildRequires: ghc-network-uri-prof
|
||||||
|
@ -67,12 +122,14 @@ BuildRequires: ghc-serialise-prof
|
||||||
BuildRequires: ghc-template-haskell-prof
|
BuildRequires: ghc-template-haskell-prof
|
||||||
BuildRequires: ghc-text-prof
|
BuildRequires: ghc-text-prof
|
||||||
BuildRequires: ghc-text-manipulate-prof
|
BuildRequires: ghc-text-manipulate-prof
|
||||||
|
BuildRequires: ghc-text-short-prof
|
||||||
BuildRequires: ghc-th-lift-instances-prof
|
BuildRequires: ghc-th-lift-instances-prof
|
||||||
|
BuildRequires: ghc-time-prof
|
||||||
BuildRequires: ghc-transformers-prof
|
BuildRequires: ghc-transformers-prof
|
||||||
BuildRequires: ghc-transformers-compat-prof
|
|
||||||
BuildRequires: ghc-unordered-containers-prof
|
BuildRequires: ghc-unordered-containers-prof
|
||||||
BuildRequires: ghc-uri-encode-prof
|
BuildRequires: ghc-uri-encode-prof
|
||||||
BuildRequires: ghc-vector-prof
|
BuildRequires: ghc-vector-prof
|
||||||
|
%endif
|
||||||
Requires: %{name}-common = %{version}-%{release}
|
Requires: %{name}-common = %{version}-%{release}
|
||||||
# End cabal-rpm deps
|
# End cabal-rpm deps
|
||||||
|
|
||||||
|
@ -144,7 +201,6 @@ This package provides the Haskell %{name} profiling library.
|
||||||
%setup -q
|
%setup -q
|
||||||
dos2unix -k -n %{SOURCE1} %{name}.cabal
|
dos2unix -k -n %{SOURCE1} %{name}.cabal
|
||||||
# End cabal-rpm setup
|
# End cabal-rpm setup
|
||||||
cabal-tweak-dep-ver pretty-simple '< 4.1' '< 4.2'
|
|
||||||
|
|
||||||
|
|
||||||
%build
|
%build
|
||||||
|
@ -197,6 +253,10 @@ install -m 0644 -p -D man/%{name}.1 %{buildroot}%{_mandir}/man1/%{name}.1
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 1.41.2-1
|
||||||
|
- https://hackage.haskell.org/package/dhall-1.41.2/changelog
|
||||||
|
- refresh to cabal-rpm-2.1.0 with SPDX migration
|
||||||
|
|
||||||
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.39.0-5
|
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.39.0-5
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||||
|
|
||||||
|
|
2
sources
2
sources
|
@ -1 +1 @@
|
||||||
SHA512 (dhall-1.39.0.tar.gz) = d6a2198e7569623c372ac8cfec00db714cefde683bcb8d8c30acc89c6f536d3dfa7f79f3e61e0080eb0312ca67580d86c079396046e5eb39aea592a93211b52b
|
SHA512 (dhall-1.41.2.tar.gz) = d2d1b0f513f02f8eb9bc25d0e01a1e749c09eb4089a0982b1ea20f18ff598932b62c898e764167f74718dc71aabe5760ce2e0abe0fe550cb7f1b3ac773219f9a
|
||||||
|
|
Loading…
Reference in New Issue