* [PATCH 092/105] gnu: Add ghc-resourcet.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 093/105] gnu: Add ghc-streaming-commons Paul van der Walt
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-resourcet): New variable.
---
gnu/packages/haskell.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index b7b4c7c..501cf1e 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -531,6 +531,39 @@ the HaRP extension as well as HSX-style embedded XML syntax.")
"HLint gives suggestions on how to improve your source code.")
(license bsd-3)))
+(define-public ghc-resourcet
+ (package
+ (name "ghc-resourcet")
+ (version "1.1.6")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/resourcet/resourcet-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0zhsaaa4n8ry76vjih519a8npm2hrzk10d5asrgllcwpzmifl41y"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-transformers-base" ,ghc-transformers-base)
+ ("ghc-monad-control" ,ghc-monad-control)
+ ("ghc-transformers-compat" ,ghc-transformers-compat)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-mmorph" ,ghc-mmorph)
+ ("ghc-exceptions" ,ghc-exceptions)))
+ (inputs
+ `(("ghc-lifted-base" ,ghc-lifted-base)
+ ("ghc-hspec" ,ghc-hspec)))
+ (home-page "http://github.com/snoyberg/conduit")
+ (synopsis
+ "Deterministic allocation and freeing of scarce resources")
+ (description
+ "ResourceT is a monad transformer which creates a region of code where
+you can safely allocate resources.")
+ (license bsd-3)))
+
(define-public ghc-cpphs
(package
(name "ghc-cpphs")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 093/105] gnu: Add ghc-streaming-commons.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
2015-10-15 15:36 ` [PATCH 092/105] gnu: Add ghc-resourcet Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 094/105] gnu: Add ghc-xss-sanitize Paul van der Walt
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-streaming-commons): New variable.
---
gnu/packages/haskell.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 501cf1e..14dc658 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -564,6 +564,40 @@ the HaRP extension as well as HSX-style embedded XML syntax.")
you can safely allocate resources.")
(license bsd-3)))
+(define-public ghc-streaming-commons
+ (package
+ (name "ghc-streaming-commons")
+ (version "0.1.14.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/streaming-commons/streaming-commons-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "12nw9bwvy6zrabkgvbp371klca3ds6qjlfncg1b8pbwx1y7m8c8h"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-random" ,ghc-random)))
+ (inputs
+ `(("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-async" ,ghc-async)
+ ("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-hspec" ,ghc-hspec)
+ ("ghc-stm" ,ghc-stm)
+ ("ghc-text" ,ghc-text)
+ ("ghc-network" ,ghc-network)
+ ("ghc-zlib" ,ghc-zlib)))
+ (home-page "https://hackage.haskell.org/package/streaming-commons")
+ (synopsis
+ "Conduit and pipes needed by various streaming data libraries")
+ (description
+ "Provides low-dependency functionality commonly needed by various
+streaming data libraries, such as conduit and pipes.")
+ (license bsd-3)))
+
(define-public ghc-cpphs
(package
(name "ghc-cpphs")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 094/105] gnu: Add ghc-xss-sanitize.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
2015-10-15 15:36 ` [PATCH 092/105] gnu: Add ghc-resourcet Paul van der Walt
2015-10-15 15:36 ` [PATCH 093/105] gnu: Add ghc-streaming-commons Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 095/105] gnu: Add ghc-parsers Paul van der Walt
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-xss-sanitize): New variable.
---
gnu/packages/haskell.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 14dc658..57ae4ef 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -564,6 +564,40 @@ the HaRP extension as well as HSX-style embedded XML syntax.")
you can safely allocate resources.")
(license bsd-3)))
+(define-public ghc-xss-sanitize
+ (package
+ (name "ghc-xss-sanitize")
+ (version "0.3.5.6")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/xss-sanitize/xss-sanitize-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "1j2qrn2dbfx01m7zyk9ilgnp9zjwq9mk62b0rdal4zkg4vh212h0"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-tagsoup" ,ghc-tagsoup)
+ ("ghc-utf8-string" ,ghc-utf8-string)
+ ("ghc-css-text" ,ghc-css-text)
+ ("ghc-network-uri" ,ghc-network-uri)))
+ (inputs
+ `(("ghc-text" ,ghc-text)
+ ("ghc-attoparsec" ,ghc-attoparsec)
+ ("ghc-hspec" ,ghc-hspec)
+ ("ghc-hunit" ,ghc-hunit)))
+ (home-page
+ "http://github.com/yesodweb/haskell-xss-sanitize")
+ (synopsis
+ "Sanitize untrusted HTML to prevent XSS attacks")
+ (description
+ "Run untrusted HTML through Text.HTML.SanitizeXSS.sanitizeXSS to prevent
+XSS attacks.")
+ (license bsd-3)))
+
(define-public ghc-streaming-commons
(package
(name "ghc-streaming-commons")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 095/105] gnu: Add ghc-parsers.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (2 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 094/105] gnu: Add ghc-xss-sanitize Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 096/105] gnu: Add ghc-cookie Paul van der Walt
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-parsers): New variable.
---
gnu/packages/haskell.scm | 37 +++++++++++++++++++++++++++++++++++++
1 file changed, 37 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 57ae4ef..ebb07e0 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1492,6 +1492,43 @@ IPv4 and IPv6 are supported.")
by Roman Cheplyaka).")
(license bsd-3)))
+(define-public ghc-parsers
+ (package
+ (name "ghc-parsers")
+ (version "0.12.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/parsers/parsers-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "18wzmp8y3py4qa8hdsxqm0jfzmwy744dw7xa48r5s8ynhpimi462"))))
+ (build-system haskell-build-system)
+ (arguments `(#:tests? #f))
+ (propagated-inputs
+ `(("ghc-base-orphans" ,ghc-base-orphans)
+ ("ghc-attoparsec" ,ghc-attoparsec)
+ ("ghc-parsec" ,ghc-parsec)
+ ("ghc-scientific" ,ghc-scientific)
+ ("ghc-charset" ,ghc-charset)))
+ (inputs
+ `(("ghc-text" ,ghc-text)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-doctest" ,ghc-doctest)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-quickcheck-instances" ,ghc-quickcheck-instances)))
+ (home-page "http://github.com/ekmett/parsers/")
+ (synopsis "Parsing combinators")
+ (description
+ "This library provides convenient combinators for working with and
+building parsing combinator libraries. Given a few simple instances, you get
+access to a large number of canned definitions. Instances exist for the
+parsers provided by parsec, attoparsec and base's Text.Read.")
+ (license bsd-3)))
+
(define-public ghc-attoparsec
(package
(name "ghc-attoparsec")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 096/105] gnu: Add ghc-cookie.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (3 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 095/105] gnu: Add ghc-parsers Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 097/105] gnu: Add ghc-wai Paul van der Walt
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-cookie): New variable.
---
gnu/packages/haskell.scm | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index ebb07e0..f4d0674 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3980,6 +3980,37 @@ splitting on substrings and replacing all occurrences of a substring (the
first in case of overlaps) with another.")
(license bsd-3)))
+(define-public ghc-cookie
+ (package
+ (name "ghc-cookie")
+ (version "0.4.1.6")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/cookie/cookie-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0b6ym6fn29p5az4dwydy036lxj131kagrmgb93w4bbkqfkds8b9s"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-old-locale" ,ghc-old-locale)))
+ (inputs
+ `(("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-text" ,ghc-text)
+ ("ghc-data-default-class" ,ghc-data-default-class)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-tasty" ,ghc-tasty)
+ ("ghc-tasty-hunit" ,ghc-tasty-hunit)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)))
+ (home-page "http://github.com/snoyberg/cookie")
+ (synopsis "HTTP cookie parsing and rendering")
+ (description "HTTP cookie parsing and rendering library for Haskell.")
+ (license bsd-3)))
+
(define-public ghc-scientific
(package
(name "ghc-scientific")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 097/105] gnu: Add ghc-wai.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (4 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 096/105] gnu: Add ghc-cookie Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 098/105] gnu: Add ghc-wai-logger Paul van der Walt
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-wai): New variable.
---
gnu/packages/haskell.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index f4d0674..2300e8c 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -4086,4 +4086,36 @@ use and high performance. (A note on naming: in Greek mythology, Aeson was
the father of Jason.)")
(license bsd-3)))
+(define-public ghc-wai
+ (package
+ (name "ghc-wai")
+ (version "3.0.4.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/wai/wai-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "1551n0g0n22vml33v0jz5xgjcy6j79algvsdqg11a1z5ljjrjlqf"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-bytestring-builder" ,ghc-bytestring-builder)
+ ("ghc-unix-compat" ,ghc-unix-compat)
+ ("ghc-vault" ,ghc-vault)
+ ("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-network" ,ghc-network)))
+ (inputs
+ `(("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-hspec" ,ghc-hspec)
+ ("ghc-text" ,ghc-text)
+ ("ghc-http-types" ,ghc-http-types)))
+ (home-page "https://hackage.haskell.org/package/wai")
+ (synopsis "WAI: Web Application Interface")
+ (description "Web Application Interface library for Haskell.")
+ (license bsd-3)))
+
;;; haskell.scm ends here
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 098/105] gnu: Add ghc-wai-logger.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (5 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 097/105] gnu: Add ghc-wai Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 099/105] gnu: Add ghc-wai-extra Paul van der Walt
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-wai-logger): New variable.
---
gnu/packages/haskell.scm | 35 +++++++++++++++++++++++++++++++++++
1 file changed, 35 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 2300e8c..c617ba8 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -4118,4 +4118,39 @@ the father of Jason.)")
(description "Web Application Interface library for Haskell.")
(license bsd-3)))
+(define-public ghc-wai-logger
+ (package
+ (name "ghc-wai-logger")
+ (version "2.2.4.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/wai-logger/wai-logger-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "1s6svvy3ci4j1dj1jaw8hg628miwj8f5gpy9n8d8hpsaxav6nzgk"))))
+ (build-system haskell-build-system)
+ (arguments `(#:tests? #f))
+ (propagated-inputs
+ `(("ghc-auto-update" ,ghc-auto-update)
+ ("ghc-byteorder" ,ghc-byteorder)
+ ("ghc-easy-file" ,ghc-easy-file)
+ ("ghc-unix-time" ,ghc-unix-time)))
+ (inputs
+ `(("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-case-insensitive" ,ghc-case-insensitive)
+ ("ghc-fast-logger" ,ghc-fast-logger)
+ ("ghc-http-types" ,ghc-http-types)
+ ("ghc-network" ,ghc-network)
+ ("ghc-wai" ,ghc-wai)
+ ("ghc-doctest" ,ghc-doctest)))
+ (home-page
+ "http://hackage.haskell.org/package/wai-logger")
+ (synopsis "A logging system for WAI")
+ (description "A logging system for WAI.")
+ (license bsd-3)))
+
;;; haskell.scm ends here
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 099/105] gnu: Add ghc-wai-extra.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (6 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 098/105] gnu: Add ghc-wai-logger Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 100/105] gnu: Add ghc-vector-binary-instances Paul van der Walt
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-wai-extra): New variable.
---
gnu/packages/haskell.scm | 49 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 49 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index c617ba8..be5b024 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -4153,4 +4153,53 @@ the father of Jason.)")
(description "A logging system for WAI.")
(license bsd-3)))
+(define-public ghc-wai-extra
+ (package
+ (name "ghc-wai-extra")
+ (version "3.0.11.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/wai-extra/wai-extra-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "1kr2s5qyx1dvnwr372h7pca4sgxjv0pdx96xkgsfi180h3mb0vq8"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-ansi-terminal" ,ghc-ansi-terminal)
+ ("ghc-base64-bytestring" ,ghc-base64-bytestring)
+ ("ghc-cookie" ,ghc-cookie)
+ ("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-network" ,ghc-network)
+ ("ghc-lifted-base" ,ghc-lifted-base)
+ ("ghc-streaming-commons" ,ghc-streaming-commons)
+ ("ghc-stringsearch" ,ghc-stringsearch)
+ ("ghc-resourcet" ,ghc-resourcet)
+ ("ghc-fast-logger" ,ghc-fast-logger)
+ ("ghc-wai-logger" ,ghc-wai-logger)
+ ("ghc-zlib" ,ghc-zlib)
+ ("ghc-word8" ,ghc-word8)
+ ("ghc-iproute" ,ghc-iproute)
+ ("ghc-void" ,ghc-void)))
+ (inputs
+ `(("ghc-wai" ,ghc-wai)
+ ("ghc-http-types" ,ghc-http-types)
+ ("ghc-text" ,ghc-text)
+ ("ghc-case-insensitive" ,ghc-case-insensitive)
+ ("ghc-data-default-class" ,ghc-data-default-class)
+ ("ghc-unix-compat" ,ghc-unix-compat)
+ ("ghc-vault" ,ghc-vault)
+ ("ghc-aeson" ,ghc-aeson)
+ ("ghc-hspec" ,ghc-hspec)
+ ("ghc-hunit" ,ghc-hunit)))
+ (home-page "http://github.com/yesodweb/wai")
+ (synopsis
+ "Provides some basic WAI handlers and middleware")
+ (description
+ "Provides basic WAI handler and middleware functionality.")
+ (license expat)))
+
;;; haskell.scm ends here
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 100/105] gnu: Add ghc-vector-binary-instances.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (7 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 099/105] gnu: Add ghc-wai-extra Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 101/105] gnu: Add ghc-kan-extensions Paul van der Walt
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-vector-binary-instances): New variable.
---
gnu/packages/haskell.scm | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index be5b024..a8a8cb6 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -2623,6 +2623,36 @@ is also parametric in the input stream type.")
mutable and immutable), with a powerful loop optimisation framework.")
(license bsd-3)))
+(define-public ghc-vector-binary-instances
+ (package
+ (name "ghc-vector-binary-instances")
+ (version "0.2.1.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/vector-binary-instances/vector-binary-instances-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "028rsf2w193rhs1gic5yvvrwidw9sblczcn10aw64npfc6502l4l"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-cereal" ,ghc-cereal)))
+ (inputs
+ `(("ghc-vector" ,ghc-vector)))
+ (home-page
+ "https://github.com/bos/vector-binary-instances")
+ (synopsis
+ "Instances of Data.Binary and Data.Serialize for vector")
+ (description
+ "Instances for Binary for the types defined in the vector package, making
+it easy to serialize vectors to and from disk. We use the generic interface
+to vectors, so all vector types are supported. Specific instances are
+provided for unboxed, boxed and storable vectors.")
+ (license bsd-3)))
+
(define-public ghc-network
(package
(name "ghc-network")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 101/105] gnu: Add ghc-kan-extensions.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (8 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 100/105] gnu: Add ghc-vector-binary-instances Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 102/105] gnu: Add ghc-lens Paul van der Walt
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-kan-extensions): New variable.
---
gnu/packages/haskell.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index a8a8cb6..1fbd992 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3459,6 +3459,40 @@ package for older packages.")
given term should not exist.")
(license bsd-3)))
+(define-public ghc-kan-extensions
+ (package
+ (name "ghc-kan-extensions")
+ (version "4.2.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/kan-extensions/kan-extensions-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0iywbadpy8s3isfzlx9dlz3apaywhqq4gdbxkwygksq8pzdhwkrk"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-adjunctions" ,ghc-adjunctions)))
+ (inputs
+ `(("ghc-comonad" ,ghc-comonad)
+ ("ghc-contravariant" ,ghc-contravariant)
+ ("ghc-distributive" ,ghc-distributive)
+ ("ghc-free" ,ghc-free)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-semigroupoids" ,ghc-semigroupoids)
+ ("ghc-tagged" ,ghc-tagged)))
+ (home-page
+ "http://github.com/ekmett/kan-extensions/")
+ (synopsis
+ "Kan extensions library")
+ (description
+ "Kan extensions, Kan lifts, various forms of the Yoneda lemma,
+and (co)density (co)monads.")
+ (license bsd-3)))
+
(define-public ghc-statevar
(package
(name "ghc-statevar")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 102/105] gnu: Add ghc-lens.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (9 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 101/105] gnu: Add ghc-kan-extensions Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 103/105] gnu: Add ghc-cheapskate Paul van der Walt
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-lens): Add variable.
---
gnu/packages/haskell.scm | 53 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 53 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 1fbd992..2e83b6d 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3519,6 +3519,59 @@ and (co)density (co)monads.")
parts of the OpenGL state.")
(license bsd-3)))
+(define-public ghc-lens
+ (package
+ (name "ghc-lens")
+ (version "4.13")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/lens/lens-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0g4g0xksrb2m8wgsmraaq8qnk1sssb42kr65fc7clgyid6zyfmim"))))
+ (build-system haskell-build-system)
+ (arguments `(#:tests? #f)) ;; FIXME: test-framework unavailable
+ (propagated-inputs
+ `(("ghc-base-orphans" ,ghc-base-orphans)
+ ("ghc-bifunctors" ,ghc-bifunctors)
+ ("ghc-distributive" ,ghc-distributive)
+ ("ghc-exceptions" ,ghc-exceptions)
+ ("ghc-free" ,ghc-free)
+ ("ghc-kan-extensions" ,ghc-kan-extensions)
+ ("ghc-parallel" ,ghc-parallel)
+ ("ghc-reflection" ,ghc-reflection)
+ ("ghc-semigroupoids" ,ghc-semigroupoids)
+ ("ghc-vector" ,ghc-vector)))
+ (inputs
+ `(("ghc-comonad" ,ghc-comonad)
+ ("ghc-contravariant" ,ghc-contravariant)
+ ("ghc-hashable" ,ghc-hashable)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-profunctors" ,ghc-profunctors)
+ ("ghc-semigroups" ,ghc-semigroups)
+ ("ghc-tagged" ,ghc-tagged)
+ ("ghc-text" ,ghc-text)
+ ("ghc-transformers-compat" ,ghc-transformers-compat)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-void" ,ghc-void)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-doctest" ,ghc-doctest)
+ ("ghc-generic-deriving" ,ghc-generic-deriving)
+ ("ghc-nats" ,ghc-nats)
+ ("ghc-simple-reflect" ,ghc-simple-reflect)
+ ("ghc-hlint" ,ghc-hlint)))
+ (home-page "http://github.com/ekmett/lens/")
+ (synopsis "Lenses, Folds and Traversals")
+ (description "The combinators in Control.Lens provide a highly generic
+toolbox for composing families of getters, folds, isomorphisms, traversals,
+setters and lenses and their indexed variants.")
+ (license bsd-3)))
+
(define-public ghc-tagsoup
(package
(name "ghc-tagsoup")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 103/105] gnu: Add ghc-cheapskate.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (10 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 102/105] gnu: Add ghc-lens Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 104/105] gnu: Add ghc-trifecta Paul van der Walt
2015-10-15 15:36 ` [PATCH 105/105] gnu: Add Idris, the dependently-typed language Paul van der Walt
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-cheapskate): Add variable.
---
gnu/packages/haskell.scm | 36 ++++++++++++++++++++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 2e83b6d..b64bcd7 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3629,6 +3629,42 @@ strict and lazy bytestrings. For now, CRC32 and Adler32 are supported; they
are implemented as FFI bindings to efficient code from zlib.")
(license bsd-3)))
+(define-public ghc-cheapskate
+ (package
+ (name "ghc-cheapskate")
+ (version "0.1.0.4")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/cheapskate/cheapskate-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0drx1hlqvdcrij4097q6bxhbfcqm73jsqv1wwhd3hsnjdmr46ch2"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-xss-sanitize" ,ghc-xss-sanitize)
+ ("ghc-data-default" ,ghc-data-default)))
+ (inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-text" ,ghc-text)
+ ("ghc-blaze-html" ,ghc-blaze-html)
+ ("ghc-syb" ,ghc-syb)
+ ("ghc-uniplate" ,ghc-uniplate)
+ ("ghc-aeson" ,ghc-aeson)
+ ("ghc-wai-extra" ,ghc-wai-extra)
+ ("ghc-wai" ,ghc-wai)
+ ("ghc-http-types" ,ghc-http-types)))
+ (home-page "http://github.com/jgm/cheapskate")
+ (synopsis "Experimental markdown processor")
+ (description "An experimental Markdown processor in pure Haskell. It aims
+to process Markdown efficiently and in the most forgiving possible way. It is
+designed to deal with any input, including garbage, with linear performance.
+Output is sanitized by default for protection against XSS attacks.")
+ (license bsd-3)))
+
(define-public ghc-bifunctors
(package
(name "ghc-bifunctors")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 104/105] gnu: Add ghc-trifecta.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (11 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 103/105] gnu: Add ghc-cheapskate Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
2015-10-15 15:36 ` [PATCH 105/105] gnu: Add Idris, the dependently-typed language Paul van der Walt
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (ghc-trifecta): New variable.
---
gnu/packages/haskell.scm | 45 +++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 45 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index b64bcd7..75d06d8 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1529,6 +1529,51 @@ access to a large number of canned definitions. Instances exist for the
parsers provided by parsec, attoparsec and base's Text.Read.")
(license bsd-3)))
+(define-public ghc-trifecta
+ (package
+ (name "ghc-trifecta")
+ (version "1.5.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/trifecta/trifecta-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "0fjhnsbafl3yw34pyhcsvrqy6a2mnhyqys6gna3rrlygs8ck7hpb"))))
+ (build-system haskell-build-system)
+ (arguments `(#:tests? #f))
+ (propagated-inputs
+ `(("ghc-charset" ,ghc-charset)
+ ("ghc-comonad" ,ghc-comonad)
+ ("ghc-lens" ,ghc-lens)
+ ("ghc-profunctors" ,ghc-profunctors)
+ ("ghc-reducers" ,ghc-reducers)
+ ("ghc-semigroups" ,ghc-semigroups)))
+ (inputs
+ `(("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint)
+ ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+ ("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-blaze-html" ,ghc-blaze-html)
+ ("ghc-blaze-markup" ,ghc-blaze-markup)
+ ("ghc-fingertree" ,ghc-fingertree)
+ ("ghc-hashable" ,ghc-hashable)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-parsers" ,ghc-parsers)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-utf8-string" ,ghc-utf8-string)
+ ("ghc-doctest" ,ghc-doctest)
+ ("ghc-quickcheck" ,ghc-quickcheck)))
+ (home-page "http://github.com/ekmett/trifecta/")
+ (synopsis
+ "Parser combinator library with convenient diagnostics")
+ (description
+ "A modern parser combinator library with slicing and Clang-style colored
+diagnostics for Haskell.")
+ (license bsd-3)))
+
(define-public ghc-attoparsec
(package
(name "ghc-attoparsec")
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [PATCH 105/105] gnu: Add Idris, the dependently-typed language.
2015-10-15 15:36 [PATCH 091/105] gnu: Add ghc-hlint Paul van der Walt
` (12 preceding siblings ...)
2015-10-15 15:36 ` [PATCH 104/105] gnu: Add ghc-trifecta Paul van der Walt
@ 2015-10-15 15:36 ` Paul van der Walt
13 siblings, 0 replies; 15+ messages in thread
From: Paul van der Walt @ 2015-10-15 15:36 UTC (permalink / raw
To: guix-devel
* gnu/packages/haskell.scm (idris): New variable.
---
gnu/packages/haskell.scm | 62 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 62 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 75d06d8..cf4c03b 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -32,6 +32,7 @@
#:use-module (gnu packages elf)
#:use-module (gnu packages bootstrap)
#:use-module (gnu packages zip)
+ #:use-module (gnu packages gcc)
#:use-module (gnu packages ghostscript)
#:use-module (gnu packages libffi)
#:use-module (gnu packages libedit)
@@ -4400,4 +4401,65 @@ the father of Jason.)")
"Provides basic WAI handler and middleware functionality.")
(license expat)))
+(define-public idris
+ (package
+ (name "idris")
+ (version "0.9.19.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://hackage.haskell.org/package/idris-"
+ version "/idris-" version ".tar.gz"))
+ (sha256
+ (base32
+ "10641svdsjlxbxmbvylpia04cz5nn9486lpiay8ibqcrc1792qgc"))))
+ (build-system haskell-build-system)
+ (arguments
+ `(#:phases (modify-phases %standard-phases
+ (add-before 'configure 'patch-cc-command
+ (lambda _
+ (setenv "CC" "gcc")
+ ;; Package description file has a too-tight
+ ;; version restriction, rendering it
+ ;; incompatible with GHC 7.10.2. This is
+ ;; fixed upstream.
+ (substitute* "idris.cabal"
+ (("vector < 0.11") "vector < 0.12")))))))
+ (native-inputs
+ `(("gcc" ,gcc)))
+ (inputs
+ `(("gmp" ,gmp)
+ ("ncurses" ,ncurses)
+ ("ghc-annotated-wl-pprint" ,ghc-annotated-wl-pprint)
+ ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+ ("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint)
+ ("ghc-base64-bytestring" ,ghc-base64-bytestring)
+ ("ghc-blaze-html" ,ghc-blaze-html)
+ ("ghc-blaze-markup" ,ghc-blaze-markup)
+ ("ghc-cheapskate" ,ghc-cheapskate)
+ ("ghc-fingertree" ,ghc-fingertree)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-network" ,ghc-network)
+ ("ghc-optparse-applicative" ,ghc-optparse-applicative)
+ ("ghc-parsers" ,ghc-parsers)
+ ("ghc-safe" ,ghc-safe)
+ ("ghc-split" ,ghc-split)
+ ("ghc-text" ,ghc-text)
+ ("ghc-trifecta" ,ghc-trifecta)
+ ("ghc-uniplate" ,ghc-uniplate)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-utf8-string" ,ghc-utf8-string)
+ ("ghc-vector-binary-instances" ,ghc-vector-binary-instances)
+ ("ghc-vector" ,ghc-vector)
+ ("ghc-zip-archive" ,ghc-zip-archive)
+ ("ghc-zlib" ,ghc-zlib)))
+ (home-page "http://www.idris-lang.org")
+ (synopsis "General purpose language with full dependent types")
+ (description "Idris is a general purpose language with full dependent
+types. It is compiled, with eager evaluation. Dependent types allow types to
+be predicated on values, meaning that some aspects of a program's behaviour
+can be specified precisely in the type. The language is closely related to
+Epigram and Agda.")
+ (license bsd-3)))
+
;;; haskell.scm ends here
--
2.6.1
^ permalink raw reply related [flat|nested] 15+ messages in thread