| 1 | |
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 | |
| 7 | |
| 8 | |
| 9 | |
| 10 | |
| 11 | |
| 12 | |
| 13 | |
| 14 | |
| 15 | |
| 16 | |
| 17 | |
| 18 | |
| 19 |
|
| 20 | (define-module (gnu packages dhall)
|
| 21 | #:use-module (gnu packages)
|
| 22 | #:use-module (gnu packages haskell-xyz)
|
| 23 | #:use-module (gnu packages haskell-check)
|
| 24 | #:use-module (gnu packages haskell-crypto)
|
| 25 | #:use-module (gnu packages haskell-web)
|
| 26 | #:use-module (guix download)
|
| 27 | #:use-module (guix build-system haskell)
|
| 28 | #:use-module ((guix licenses) #:prefix license:)
|
| 29 | #:use-module (guix packages))
|
| 30 |
|
| 31 | (define-public dhall
|
| 32 | (package
|
| 33 | (name "dhall")
|
| 34 | (version "1.42.2")
|
| 35 | (source
|
| 36 | (origin
|
| 37 | (method url-fetch)
|
| 38 | (uri (hackage-uri "dhall" version))
|
| 39 | (sha256
|
| 40 | (base32 "0fvvqvh6diqi55dmncfs06rvcw8k0a1hs2gq228yxvsfbzcpv44s"))))
|
| 41 | (build-system haskell-build-system)
|
| 42 | (properties '((upstream-name . "dhall")))
|
| 43 | (inputs (list ghc-aeson
|
| 44 | ghc-aeson-pretty
|
| 45 | ghc-ansi-terminal
|
| 46 | ghc-atomic-write
|
| 47 | ghc-base16-bytestring
|
| 48 | ghc-case-insensitive
|
| 49 | ghc-cborg
|
| 50 | ghc-cborg-json
|
| 51 | ghc-contravariant
|
| 52 | ghc-data-fix
|
| 53 | ghc-diff
|
| 54 | ghc-dotgen
|
| 55 | ghc-either
|
| 56 | ghc-half
|
| 57 | ghc-hashable
|
| 58 | ghc-indexed-traversable
|
| 59 | ghc-lens-family-core
|
| 60 | ghc-megaparsec
|
| 61 | ghc-mmorph
|
| 62 | ghc-network-uri
|
| 63 | ghc-optparse-applicative
|
| 64 | ghc-parsers
|
| 65 | ghc-parser-combinators
|
| 66 | ghc-prettyprinter
|
| 67 | ghc-prettyprinter-ansi-terminal
|
| 68 | ghc-pretty-simple
|
| 69 | ghc-profunctors
|
| 70 | ghc-repline
|
| 71 | ghc-serialise
|
| 72 | ghc-scientific
|
| 73 | ghc-text-manipulate
|
| 74 | ghc-text-short
|
| 75 | ghc-th-lift-instances
|
| 76 | ghc-unix-compat
|
| 77 | ghc-unordered-containers
|
| 78 | ghc-vector
|
| 79 | ghc-cryptohash-sha256
|
| 80 | ghc-http-types
|
| 81 | ghc-http-client
|
| 82 | ghc-http-client-tls))
|
| 83 | (native-inputs (list ghc-foldl
|
| 84 | ghc-generic-random
|
| 85 | ghc-quickcheck
|
| 86 | ghc-quickcheck-instances
|
| 87 | ghc-special-values
|
| 88 | ghc-spoon
|
| 89 | ghc-tasty
|
| 90 | ghc-tasty-expected-failure
|
| 91 | ghc-tasty-hunit
|
| 92 | ghc-tasty-quickcheck
|
| 93 | ghc-tasty-silver
|
| 94 | ghc-temporary
|
| 95 | ghc-turtle
|
| 96 | ghc-mockery
|
| 97 | ghc-doctest))
|
| 98 | (arguments
|
| 99 | (list
|
| 100 | #:cabal-revision
|
| 101 | '("2" "1h9kxpn3kzwmxj07mqc0cxjj2ak3dyxnifb78z5vn34xn747j5bk")
|
| 102 | |
| 103 | #:tests? #f))
|
| 104 | (home-page "http://hackage.haskell.org/package/dhall")
|
| 105 | (synopsis "Configuration language guaranteed to terminate")
|
| 106 | (description
|
| 107 | "Dhall is an explicitly typed configuration language that is not Turing
|
| 108 | complete. Despite being Turing incomplete, Dhall is a real programming
|
| 109 | language with a type-checker and evaluator.
|
| 110 |
|
| 111 | Use this library to parse, type-check, evaluate, and pretty-print the Dhall
|
| 112 | configuration language. This package also includes an executable which
|
| 113 | type-checks a Dhall file and reduces the file to a fully evaluated normal
|
| 114 | form.")
|
| 115 | (license license:bsd-3)))
|