all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* [bug#44518] gnu: Add matterhorn.
@ 2020-11-08 12:53 elaexuotee--- via Guix-patches via
  2022-09-10 12:06 ` ( via Guix-patches via
                   ` (2 more replies)
  0 siblings, 3 replies; 33+ messages in thread
From: elaexuotee--- via Guix-patches via @ 2020-11-08 12:53 UTC (permalink / raw)
  To: 44518

[-- Attachment #1: Type: text/plain, Size: 732 bytes --]

Hey Guix,

This packages up a nice CLI client for Mattermost chat servers (a self-hosted,
libre Slack alternative).

Anyway, it's a Haskell package and ended up requiring quite a few
dependendencies along with a few version-updated alternatives to existing
packages.

The attached patch bundles all these up together, but what is the appropriate
convention in this case?

The bulk of the work is completely thanks to the hackage importer, but I did
spend quite a bit of time cleaning these up and sanity checking things.
Everything should pass the lint checks as well as indentation.

Also, for two packages, I had to disable tests. There are comments explaining
why in each case.

Let me know what you think!


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-Add-matterhorn.patch --]
[-- Type: text/x-patch, Size: 29997 bytes --]

From 7d98b12981f75a2d2433a8b5f67031bdd435b89f Mon Sep 17 00:00:00 2001
From: "B. Wilson" <elaexuotee@wilsonb.com>
Date: Sun, 8 Nov 2020 20:44:37 +0900
Subject: [PATCH] gnu: Add matterhorn.
To: guix-patches@gnu.org

* gnu/packages/messaging.scm (matterhorn): New variable.
* gnu/packages/haskell-web.scm (ghc-http-3.15, ghc-http-media): New variables.
* gnu/packages/haskell-check.scm (ghc-checkers)
(ghc-mattermost-api-qc, ghc-test-framework-smallcheck)
(ghc-quickcheck-assertions): New variables.
* gnu/packages/haskell-xyz.scm (ghc-ansi-terminal-0.11)
(ghc-timezone-olson-0.2, ghc-unique, ghc-stm-delay, ghc-aspell-pipe)
(ghc-hclip, ghc-brick-skylighting, ghc-word-wrap, ghc-text-zipper)
(ghc-vty, ghc-brick, ghc-ini, ghc-config-ini, ghc-data-clist)
(ghc-modern-uri, ghc-mattermost-api): New variables.
---
 gnu/packages/haskell-check.scm |  99 ++++++++
 gnu/packages/haskell-web.scm   |  48 ++++
 gnu/packages/haskell-xyz.scm   | 431 +++++++++++++++++++++++++++++++++
 gnu/packages/messaging.scm     |  67 +++++
 4 files changed, 645 insertions(+)

diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index b5546f97f8..023cdbc390 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -12,6 +12,7 @@
 ;;; Copyright © 2018 Arun Isaac <arunisaac@systemreboot.net>
 ;;; Copyright © 2019 Timothy Sample <samplet@ngyro.com>
 ;;; Copyright © 2020 John Soo <jsoo1@asu.edu>
+;;; Copyright © 2020 B. Wilson <elaexuotee@wilsonb.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -1038,3 +1039,101 @@ regular development cycle and regressions caught early.
 See the documentation in \"Test.Inspection\" or the project webpage for more
 examples and more information.")
     (license license:expat)))
+
+(define-public ghc-mattermost-api-qc
+  (package
+    (name "ghc-mattermost-api-qc")
+    (version "50200.9.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/mattermost-api-qc/"
+             "mattermost-api-qc-" version ".tar.gz"))
+       (sha256
+        (base32 "0rcbsf5hrp2fd9jqmcr07gg2y0xg4ksasrqfxrc7n4mgw0a409i6"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-mattermost-api" ,ghc-mattermost-api)
+       ("ghc-quickcheck" ,ghc-quickcheck)))
+    (home-page "https://github.com/matterhorn-chat/mattermost-api-qc")
+    (synopsis "QuickCheck instances for the Mattermost client API library")
+    (description
+     "A library providing QuickCheck for the mattermost-api library to allow
+testing.  This is provided as a separate library to allow use of the API
+library without testing dependencies.")
+    (license license:isc)))
+
+(define-public ghc-checkers
+  (package
+    (name "ghc-checkers")
+    (version "0.5.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/checkers/checkers-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "1b82dz295h37pi6bnkr4r18gkvavrwvsig15955i8hh1rcn2msaz"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-random" ,ghc-random)
+       ("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-semigroupoids" ,ghc-semigroupoids)))
+    (home-page "https://github.com/haskell-checkers/checkers")
+    (synopsis "Check properties on standard classes and data structures")
+    (description
+     "@code{Checkers} wraps up the expected properties associated with various
+standard type classes as QuickCheck properties.  Also some morphism properties.
+It also provides arbitrary instances and generator combinators for common data
+types.")
+    (license license:bsd-3)))
+
+(define-public ghc-test-framework-smallcheck
+  (package
+    (name "ghc-test-framework-smallcheck")
+    (version "0.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/test-framework-smallcheck/"
+             "test-framework-smallcheck-" version ".tar.gz"))
+       (sha256
+        (base32 "1xpgpk1gp4w7w46b4rhj80fa0bcyz8asj2dcjb5x1c37b7rw90b0"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-test-framework" ,ghc-test-framework)
+       ("ghc-smallcheck" ,ghc-smallcheck)))
+    (home-page "https://github.com/Bodigrim/smallcheck")
+    (synopsis "SmallCheck support for the test-framework package")
+    (description
+     "SmallCheck support for the test-framework package.  Support for
+SmallCheck tests in test-framework.")
+    (license license:bsd-3)))
+
+(define-public ghc-quickcheck-assertions
+  (package
+    (name "ghc-quickcheck-assertions")
+    (version "0.3.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/quickcheck-assertions/"
+             "quickcheck-assertions-" version ".tar.gz"))
+       (sha256
+        (base32 "1kyam4cy7qmnizjwjm8jamq43w7f0fs6ljfplwj0ib6wi2kjh0wv"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-ieee754" ,ghc-ieee754)
+       ("ghc-pretty-show" ,ghc-pretty-show)))
+    (native-inputs `(("ghc-hspec" ,ghc-hspec)))
+    (home-page "https://github.com/s9gf4ult/quickcheck-assertions")
+    (synopsis "HUnit like assertions for QuickCheck")
+    (description
+     "Library with convenient assertions for QuickCheck properties like in
+HUnit")
+    (license license:lgpl3)))
diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index a4269599f6..a924aa65cd 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -10,6 +10,7 @@
 ;;; Copyright © 2020 Alexandru-Sergiu Marton <brown121407@gmail.com>
 ;;; Copyright © 2020 Marius Bakke <marius@gnu.org>
 ;;; Copyright © 2020 Kyle Meyer <kyle@kyleam.com>
+;;; Copyright © 2020 B. Wilson <elaexuotee@wilsonb.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -223,6 +224,19 @@ lets you set up HTTP connections, transmitting requests and processing the
 responses coming back.")
     (license license:bsd-3)))
 
+(define-public ghc-http-3.15
+  (package
+    (inherit ghc-http)
+    (version "4000.3.15")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append
+               "https://hackage.haskell.org/package/HTTP/HTTP-"
+               version ".tar.gz"))
+        (sha256
+          (base32 "150m5v125s4jrxzl85jhnh69kp4mjyzhkqp0c1k087008f73csqd"))))))
+
 (define-public ghc-http-client
   (package
     (name "ghc-http-client")
@@ -1981,3 +1995,37 @@ Bower's package manifest file, bower.json.")
 Authoring and Versioning (WebDAV) extensions to HTTP as well an executable,
 @command{hdav}, for command-line operation.")
     (license license:gpl3)))
+
+(define-public ghc-http-media
+  (package
+    (name "ghc-http-media")
+    (version "0.8.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/http-media/http-media-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0lww5cxrc9jlvzsysjv99lca33i4rb7cll66p3c0rdpmvz8pk0ir"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-case-insensitive" ,ghc-case-insensitive)
+       ("ghc-utf8-string" ,ghc-utf8-string)))
+    (native-inputs
+     `(("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-test-framework" ,ghc-test-framework)
+       ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)))
+    (arguments
+     `(#:cabal-revision
+       ("3" "1ndz5x6njl35h73il5c6qpaqd4ynvg21n6k7sb8aq09gfbg544d8")))
+    (home-page "https://github.com/zmthy/http-media")
+    (synopsis "Processing HTTP Content-Type and Accept headers")
+    (description
+     "This library is intended to be a comprehensive solution to parsing and
+selecting quality-indexed values in HTTP headers.  It is capable of parsing
+both media types and language parameters from the Accept and Content header
+families, and can be extended to match against other accept headers as well.
+Selecting the appropriate header value is achieved by comparing a list of
+server options against the quality-indexed values supplied by the client.")
+    (license license:expat)))
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 19eabd949b..fcfa2d3940 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -28,6 +28,7 @@
 ;;; Copyright © 2020 Alexandru-Sergiu Marton <brown121407@member.fsf.org>
 ;;; Copyright © 2020 Carlo Holl <carloholl@gmail.com>
 ;;; Copyright © 2020 Christopher Lemmer Webber <cwebber@dustycloud.org>
+;;; Copyright © 2020 B. Wilson <elaexuotee@wilsonb.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -416,6 +417,20 @@ allows cursor movement, screen clearing, color output showing or hiding the
 cursor, and changing the title.")
     (license license:bsd-3)))
 
+(define-public ghc-ansi-terminal-0.11
+  (package
+    (inherit ghc-ansi-terminal)
+    (version "0.11")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append
+               "https://hackage.haskell.org/package/ansi-terminal/ansi-terminal-"
+               version
+               ".tar.gz"))
+        (sha256
+          (base32 "14rp62c7y79n9dmmi7m0l9n3mcq6dh331b4yyyrivm5da6g1nqf6"))))))
+
 (define-public ghc-ansi-wl-pprint
   (package
     (name "ghc-ansi-wl-pprint")
@@ -13766,6 +13781,20 @@ are provided for converting the parsed data into @code{TimeZoneSeries}
 objects from the timezone-series package.")
    (license license:bsd-3)))
 
+(define-public ghc-timezone-olson-0.2
+  (package
+    (inherit ghc-timezone-olson)
+    (version "0.2.0")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append
+               "https://hackage.haskell.org/package/timezone-olson/timezone-olson-"
+               version
+               ".tar.gz"))
+        (sha256
+          (base32 "0b9vh27b9nz803yhd93d5z63bs370lvn4vkdajxaak9clxlw6mwg"))))))
+
 (define-public ghc-tldr
   (package
     (name "ghc-tldr")
@@ -15469,3 +15498,405 @@ Zstandard compression algorithm, a fast lossless compression algorithm
 targeting real-time compression scenarios at zlib-level and better
 compression ratios.")
     (license license:bsd-3)))
+
+(define-public ghc-unique
+  (package
+    (name "ghc-unique")
+    (version "0.4.7.8")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/Unique/Unique-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0w82pa6r2a6969w251fbrx0sr1ws8mkg2lwdyjl4qjhl5s28k43i"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-extra" ,ghc-extra)
+       ("ghc-hashable" ,ghc-hashable)
+       ("ghc-unordered-containers" ,ghc-unordered-containers)))
+    (native-inputs
+     `(("ghc-hspec" ,ghc-hspec)
+       ("ghc-quickcheck" ,ghc-quickcheck)))
+    (home-page "http://hackage.haskell.org/package/Unique")
+    (synopsis "It provides the functionality like unix \"uniq\" utility")
+    (description
+     "Library provides the functions to find unique and duplicate elements in
+the list")
+    (license license:bsd-3)))
+
+(define-public ghc-stm-delay
+  (package
+    (name "ghc-stm-delay")
+    (version "0.1.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/stm-delay/stm-delay-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0cla21v89gcvmr1iwzibq13v1yq02xg4h6k9l6kcprj7mhd5hcmi"))))
+    (build-system haskell-build-system)
+    (home-page "https://github.com/joeyadams/haskell-stm-delay")
+    (synopsis "Updatable one-shot timer polled with STM")
+    (description
+     "This library lets you create a one-shot timer, poll it using STM, and
+update it to ring at a different time than initially specified.  It uses GHC
+event manager timeouts when available (GHC 7.2+, @code{-threaded}, non-Windows
+OS), yielding performance similar to @code{threadDelay} and
+@code{registerDelay}.  Otherwise, it falls back to forked threads and
+@code{threadDelay}.")
+    (license license:bsd-3)))
+
+(define-public ghc-aspell-pipe
+  (package
+    (name "ghc-aspell-pipe")
+    (version "0.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/aspell-pipe/aspell-pipe-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0vwav0xdrsb9kww7p1z63wifxd5bfd247vdqscf2amkdgm5k716m"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-async" ,ghc-async)))
+    (home-page "http://hackage.haskell.org/package/aspell-pipe")
+    (synopsis "Pipe-based interface to the Aspell program")
+    (description
+     "A pipe-based interface to the Aspell program (no dynamic linking
+required).")
+    (license license:bsd-3)))
+
+(define-public ghc-hclip
+  (package
+    (name "ghc-hclip")
+    (version "3.0.0.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/Hclip/Hclip-"
+             version
+             ".tar.gz"))
+       (sha256
+        (base32
+         "04ppwm7vfzndrys8x1n8vfb41vzwx59r9xp4dkbiqmrms390pj6q"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-strict" ,ghc-strict)))
+    (home-page "https://github.com/jetho/Hclip")
+    (synopsis "Small cross-platform library for reading and modifying the
+system clipboard")
+    (description
+     "A small cross-platform library for reading and modifying the system
+clipboard.  Hclip works on Windows, Mac OS X and Linux (but see the
+requirements below!).
+
+Requirements:
+
+@itemize
+@item Windows: No additional requirements.
+@item Mac OS X: Requires the pbcopy and pbpaste commands, which ship with
+Mac OS X.
+@item Linux: Requires xclip or xsel installed.
+@end itemize")
+    (license license:bsd-3)))
+
+(define-public ghc-brick-skylighting
+  (package
+    (name "ghc-brick-skylighting")
+    (version "0.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/brick-skylighting/"
+             "brick-skylighting-" version ".tar.gz"))
+       (sha256
+        (base32 "1wjl5ff9c7czg7azj2pi17b3kzbgb5rmwb4nkxdy86xn6d68adi1"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-brick" ,ghc-brick)
+       ("ghc-vty" ,ghc-vty)
+       ("ghc-skylighting-core" ,ghc-skylighting-core)))
+    (home-page "https://github.com/jtdaugherty/brick-skylighting/")
+    (synopsis "Show syntax-highlighted text in your Brick UI")
+    (description
+     "This package provides a module to use Skylighting to perform syntax
+highlighting and display the results in Brick-based interfaces.")
+    (license license:bsd-3)))
+
+(define-public ghc-word-wrap
+  (package
+    (name "ghc-word-wrap")
+    (version "0.4.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/word-wrap/word-wrap-"
+             version ".tar.gz"))
+       (sha256
+        (base32
+         "15rcqhg9vb7qisk9ryjnyhhfgigxksnkrczycaw2rin08wczjwpb"))))
+    (build-system haskell-build-system)
+    (native-inputs `(("ghc-hspec" ,ghc-hspec)))
+    (arguments
+     `(#:cabal-revision
+       ("1" "1k4w4g053vhmpp08542hrqaw81p3p35i567xgdarqmpghfrk68pp")))
+    (home-page "https://github.com/jtdaugherty/word-wrap/")
+    (synopsis "Library for word-wrapping")
+    (description "A library for wrapping long lines of text.")
+    (license license:bsd-3)))
+
+(define-public ghc-text-zipper
+  (package
+    (name "ghc-text-zipper")
+    (version "0.10.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/text-zipper/text-zipper-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0jxicjp0ak1fyl1n3yspxq6hv9l90zzy75glsv8bc2svsn9ypyls"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-vector" ,ghc-vector)))
+    (native-inputs
+     `(("ghc-hspec" ,ghc-hspec)
+       ("ghc-quickcheck" ,ghc-quickcheck)
+       ("hspec-discover" ,hspec-discover)))
+    (home-page "https://github.com/jtdaugherty/text-zipper/")
+    (synopsis "Text editor zipper library")
+    (description "This library provides a zipper and API for editing text.")
+    (license license:bsd-3)))
+
+(define-public ghc-vty
+  (package
+    (name "ghc-vty")
+    (version "5.31")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/vty/vty-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0w71qnp1plqpib0b9c5kqyhybfmlw50hnlckw9jwr7m0mfssbqdb"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-blaze-builder" ,ghc-blaze-builder)
+       ("ghc-microlens" ,ghc-microlens)
+       ("ghc-microlens-mtl" ,ghc-microlens-mtl)
+       ("ghc-microlens-th" ,ghc-microlens-th)
+       ("ghc-hashable" ,ghc-hashable)
+       ("ghc-parallel" ,ghc-parallel)
+       ("ghc-utf8-string" ,ghc-utf8-string)
+       ("ghc-vector" ,ghc-vector)
+       ("ghc-ansi-terminal" ,ghc-ansi-terminal-0.11)))
+    (native-inputs
+     `(("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-random" ,ghc-random)
+       ("ghc-smallcheck" ,ghc-smallcheck)
+       ("ghc-quickcheck-assertions" ,ghc-quickcheck-assertions)
+       ("ghc-test-framework" ,ghc-test-framework)
+       ("ghc-test-framework-smallcheck" ,ghc-test-framework-smallcheck)
+       ("ghc-random" ,ghc-random)
+       ("ghc-hunit" ,ghc-hunit)
+       ("ghc-test-framework-hunit" ,ghc-test-framework-hunit)
+       ("ghc-string-qq" ,ghc-string-qq)))
+    (home-page "https://github.com/jtdaugherty/vty")
+    (synopsis "Simple terminal UI library")
+    (description
+     "Vty is terminal GUI library in the niche of ncurses.  It is intended to
+be easy to use, have no confusing corner cases, and good support for common
+terminal types.  See the @code{vty-examples} package as well as the program
+@code{test/interactive_terminal_test.hs} included in the @code{vty} package for
+examples on how to use the library.  Import the @code{Graphics.Vty} convenience
+module to get access to the core parts of the library.")
+    (license license:bsd-3)))
+
+(define-public ghc-brick
+  (package
+    (name "ghc-brick")
+    (version "0.57")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append
+               "https://hackage.haskell.org/package/brick/brick-"
+               version ".tar.gz"))
+        (sha256
+          (base32 "15481cmm208gxcs96rcvg6qgx87b2fk7ws82675viasw64mhvmg1"))))
+    (build-system haskell-build-system)
+    (inputs
+      `(("ghc-vty" ,ghc-vty)
+        ("ghc-data-clist" ,ghc-data-clist)
+        ("ghc-dlist" ,ghc-dlist)
+        ("ghc-exceptions" ,ghc-exceptions)
+        ("ghc-microlens" ,ghc-microlens)
+        ("ghc-microlens-th" ,ghc-microlens-th)
+        ("ghc-microlens-mtl" ,ghc-microlens-mtl)
+        ("ghc-config-ini" ,ghc-config-ini)
+        ("ghc-vector" ,ghc-vector)
+        ("ghc-contravariant" ,ghc-contravariant)
+        ("ghc-text-zipper" ,ghc-text-zipper)
+        ("ghc-word-wrap" ,ghc-word-wrap)
+        ("ghc-random" ,ghc-random)))
+    (native-inputs `(("ghc-quickcheck" ,ghc-quickcheck)))
+    (home-page "https://github.com/jtdaugherty/brick/")
+    (synopsis "Declarative terminal user interface library")
+    (description
+      "Write terminal user interfaces (TUIs) painlessly with @code{brick}! You
+write an event handler and a drawing function and the library does the rest.")
+    (license license:bsd-3)))
+
+(define-public ghc-ini
+  (package
+    (name "ghc-ini")
+    (version "0.4.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/ini/ini-"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "0mvwii8jbh2ll54qb9dij5m66c6324s2y4vrwz1qr4wz40m3qa8l"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-attoparsec" ,ghc-attoparsec)
+       ("ghc-unordered-containers" ,ghc-unordered-containers)))
+    (native-inputs `(("ghc-hspec" ,ghc-hspec)))
+    (home-page "https://github.com/chrisdone/ini")
+    (synopsis "Quick and easy configuration files in the INI format")
+    (description "Quick and easy configuration files in the INI format.")
+    (license license:bsd-3)))
+
+(define-public ghc-config-ini
+  (package
+    (name "ghc-config-ini")
+    (version "0.2.4.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/config-ini/config-ini-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "0dfm4xb1sd713rcqzplzdgw68fyhj24i6lj8j3q8kldpmkl98lbf"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-unordered-containers" ,ghc-unordered-containers)
+       ("ghc-megaparsec" ,ghc-megaparsec)))
+    (arguments
+     `(#:tests? #f ; Tests fail.  Upstream has fixed issue for next release.
+                   ; See https://github.com/aisamanra/config-ini/issues/22
+       #:cabal-revision
+       ("2" "0iwraaa0y1b3xdsg760j1wpylkqshky0k2djcg0k4s97lrwqpbcz")))
+    (home-page "https://github.com/aisamanra/config-ini")
+    (synopsis "Library for simple INI-based configuration files")
+    (description
+     "The @code{config-ini} library is a set of small monadic languages for
+writing simple configuration languages with convenient, human-readable error
+messages.")
+    (license license:bsd-3)))
+
+(define-public ghc-data-clist
+  (package
+    (name "ghc-data-clist")
+    (version "0.1.2.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/data-clist/data-clist-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "1mwfhnmvi3vicyjzl33m6pcipi2v887zazyqxygq258ndd010s9m"))))
+    (build-system haskell-build-system)
+    (inputs `(("ghc-quickcheck" ,ghc-quickcheck)))
+    (arguments
+     `(#:cabal-revision
+       ("1" "13hg7a3d4ky8b765dl03ryxg28lq8iaqj5ky3j51r0i1i4f2a9hy")))
+    (home-page "https://github.com/sw17ch/data-clist")
+    (synopsis "Simple functional ring type")
+    (description
+     "Simple functional bidirectional ring type.  Given that the ring
+terminiology clashes with certain mathematical branches, we're using the term
+CList or CircularList instead.")
+    (license license:bsd-3)))
+
+(define-public ghc-modern-uri
+  (package
+    (name "ghc-modern-uri")
+    (version "0.3.3.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/modern-uri/modern-uri-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "184vhcnpwjsvxwbdsipz7kc2xylfwfqflbbbyipag610w07a3qk2"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-quickcheck" ,ghc-quickcheck)
+       ("ghc-contravariant" ,ghc-contravariant)
+       ("ghc-exceptions" ,ghc-exceptions)
+       ("ghc-megaparsec" ,ghc-megaparsec)
+       ("ghc-profunctors" ,ghc-profunctors)
+       ("ghc-reflection" ,ghc-reflection)
+       ("ghc-tagged" ,ghc-tagged)))
+    (native-inputs
+     `(("ghc-hspec" ,ghc-hspec)
+       ("ghc-hspec-megaparsec" ,ghc-hspec-megaparsec)
+       ("hspec-discover" ,hspec-discover)))
+    (home-page "https://github.com/mrkkrp/modern-uri")
+    (synopsis "Modern library for working with URIs")
+    (description "Modern library for working with URIs.")
+    (license license:bsd-3)))
+
+(define-public ghc-mattermost-api
+  (package
+    (name "ghc-mattermost-api")
+    (version "50200.9.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/mattermost-api/mattermost-api-"
+             version ".tar.gz"))
+       (sha256
+        (base32 "08whhlkr3ayimn66lwinvv0ci8zbhk5i7sz1fk5r1dp7mg2jzgig"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-websockets" ,ghc-websockets)
+       ("ghc-aeson" ,ghc-aeson)
+       ("ghc-connection" ,ghc-connection)
+       ("ghc-memory" ,ghc-memory)
+       ("ghc-resource-pool" ,ghc-resource-pool)
+       ("ghc-http" ,ghc-http-3.15)
+       ("ghc-http-media" ,ghc-http-media)
+       ("ghc-network-uri" ,ghc-network-uri)
+       ("ghc-modern-uri" ,ghc-modern-uri)
+       ("ghc-unordered-containers" ,ghc-unordered-containers)
+       ("ghc-hashable" ,ghc-hashable)
+       ("ghc-gitrev" ,ghc-gitrev)
+       ("ghc-microlens" ,ghc-microlens)
+       ("ghc-microlens-th" ,ghc-microlens-th)
+       ("ghc-pretty-show" ,ghc-pretty-show)
+       ("ghc-split" ,ghc-split)))
+    ;; Tests require a local mattermost instance
+    (arguments `(#:tests? #f))
+    (home-page "http://hackage.haskell.org/package/mattermost-api")
+    (synopsis "Client API for Mattermost chat system")
+    (description
+     "Client API for Mattermost chat system.  Mattermost is a flexible, open
+source messaging platform that meets even the most demanding privacy and
+security standards.  This library provides network API interaction with the
+Mattermost server.")
+    (license license:bsd-3)))
diff --git a/gnu/packages/messaging.scm b/gnu/packages/messaging.scm
index 7fe58094c0..f3dd535dbc 100644
--- a/gnu/packages/messaging.scm
+++ b/gnu/packages/messaging.scm
@@ -26,6 +26,7 @@
 ;;; Copyright © 2020 Mason Hock <chaosmonk@riseup.net>
 ;;; Copyright © 2020 Michael Rohleder <mike@rohleder.de>
 ;;; Copyright © 2020 Raghav Gururajan <raghavgururajan@disroot.org>
+;;; Copyright © 2020 B. Wilson <elaexuotee@wilsonb.com>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -110,6 +111,9 @@
   #:use-module (gnu packages xiph)
   #:use-module (gnu packages xml)
   #:use-module (gnu packages xorg)
+  #:use-module (gnu packages haskell-xyz)
+  #:use-module (gnu packages haskell-web)
+  #:use-module (gnu packages haskell-check)
   #:use-module (guix build-system cmake)
   #:use-module (guix build-system glib-or-gtk)
   #:use-module (guix build-system gnu)
@@ -118,6 +122,7 @@
   #:use-module (guix build-system python)
   #:use-module (guix build-system qt)
   #:use-module (guix build-system trivial)
+  #:use-module (guix build-system haskell)
   #:use-module (guix download)
   #:use-module (guix git-download)
   #:use-module (guix hg-download)
@@ -2444,4 +2449,66 @@ as phones, embedded computers or microcontrollers.")
     ;; Dual licensed.
     (license (list license:epl1.0 license:edl1.0))))
 
+(define-public matterhorn
+  (package
+    (name "matterhorn")
+    (version "50200.11.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/matterhorn/matterhorn-"
+             version ".tar.gz"))
+       (sha256
+        (base32
+         "0wvw3wbv2sii1bjc8nmwyb1k0hzixfkfvpkmlkwa2my564vvmgz8"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-mattermost-api" ,ghc-mattermost-api)
+       ("ghc-base-compat" ,ghc-base-compat)
+       ("ghc-unordered-containers" ,ghc-unordered-containers)
+       ("ghc-split" ,ghc-split)
+       ("ghc-data-clist" ,ghc-data-clist)
+       ("ghc-semigroups" ,ghc-semigroups)
+       ("ghc-connection" ,ghc-connection)
+       ("ghc-config-ini" ,ghc-config-ini)
+       ("ghc-microlens-platform" ,ghc-microlens-platform)
+       ("ghc-brick" ,ghc-brick)
+       ("ghc-brick-skylighting" ,ghc-brick-skylighting)
+       ("ghc-vty" ,ghc-vty)
+       ("ghc-word-wrap" ,ghc-word-wrap)
+       ("ghc-text-zipper" ,ghc-text-zipper)
+       ("ghc-xdg-basedir" ,ghc-xdg-basedir)
+       ("ghc-vector" ,ghc-vector)
+       ("ghc-strict" ,ghc-strict)
+       ("ghc-hashable" ,ghc-hashable)
+       ("ghc-cheapskate" ,ghc-cheapskate)
+       ("ghc-utf8-string" ,ghc-utf8-string)
+       ("ghc-temporary" ,ghc-temporary)
+       ("ghc-gitrev" ,ghc-gitrev)
+       ("ghc-hclip" ,ghc-hclip)
+       ("ghc-aspell-pipe" ,ghc-aspell-pipe)
+       ("ghc-stm-delay" ,ghc-stm-delay)
+       ("ghc-skylighting-core" ,ghc-skylighting-core)
+       ("ghc-timezone-olson" ,ghc-timezone-olson-0.2)
+       ("ghc-timezone-series" ,ghc-timezone-series)
+       ("ghc-aeson" ,ghc-aeson)
+       ("ghc-async" ,ghc-async)
+       ("ghc-uuid" ,ghc-uuid)
+       ("ghc-random" ,ghc-random)
+       ("ghc-network-uri" ,ghc-network-uri)))
+    (native-inputs
+     `(("ghc-unique" ,ghc-unique)
+       ("ghc-checkers" ,ghc-checkers)
+       ("ghc-tasty" ,ghc-tasty)
+       ("ghc-tasty-hunit" ,ghc-tasty-hunit)
+       ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+       ("ghc-mattermost-api-qc" ,ghc-mattermost-api-qc)))
+    (home-page "http://hackage.haskell.org/package/matterhorn")
+    (synopsis "Terminal client for the Mattermost chat system")
+    (description
+     "This is a terminal client for the Mattermost chat system.  Please see
+the README for a list of features and information on getting started.")
+    (license license:bsd-3)))
+
 ;;; messaging.scm ends here
-- 
2.29.2


^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] gnu: Add matterhorn.
  2020-11-08 12:53 [bug#44518] gnu: Add matterhorn elaexuotee--- via Guix-patches via
@ 2022-09-10 12:06 ` ( via Guix-patches via
  2022-09-12 16:47   ` Maxime Devos
  2022-11-04 15:11 ` Mathieu
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
  2 siblings, 1 reply; 33+ messages in thread
From: ( via Guix-patches via @ 2022-09-10 12:06 UTC (permalink / raw)
  To: elaexuotee, 44518

Hi,

This patch must have slipped through the cracks, but it was mentioned
on IRC today, so I decided to do a little review :)

First of all,

(1) You should have one commit per package.
(2) It's better, though not required, to use the procedure described here[1]
    to send patches, instead of using attachments. This makes it much easier
    to annotate the patch with review comments, at least here in aerc :)

[1] https://paste.sr.ht/~unmatched-paren/9114b1fa3d2088c7c71307dcae0d9e2b3620eb0c

> +    (inputs
> +     `(("ghc-random" ,ghc-random)
> +       ("ghc-quickcheck" ,ghc-quickcheck)
> +       ("ghc-semigroupoids" ,ghc-semigroupoids)))

You should use the "new style" of inputs:

> +    (inputs
> +     (list ghc-random
> +           ghc-quickcheck
> +           ghc-semigroupoids))

Same for any native- and propagated- inputs.

> +    (arguments
> +     `(#:cabal-revision
> +       ("3" "1ndz5x6njl35h73il5c6qpaqd4ynvg21n6k7sb8aq09gfbg544d8")))

There's also a new arguments style:

> +    (arguments
> +     (list #:cabal-revision
> +           (list "3" "1ndz5x6njl35h73il5c6qpaqd4ynvg21n6k7sb8aq09gfbg544d8")))

> +    (description
> +     "This library is intended to be a comprehensive solution to parsing and
> +selecting quality-indexed values in HTTP headers.  It is capable of parsing
> +both media types and language parameters from the Accept and Content header
> +families, and can be extended to match against other accept headers as well.
> +Selecting the appropriate header value is achieved by comparing a list of
> +server options against the quality-indexed values supplied by the client.")

This is a wee bit too long IMO.

    -- (




^ permalink raw reply	[flat|nested] 33+ messages in thread

* [bug#44518] gnu: Add matterhorn.
  2022-09-10 12:06 ` ( via Guix-patches via
@ 2022-09-12 16:47   ` Maxime Devos
  0 siblings, 0 replies; 33+ messages in thread
From: Maxime Devos @ 2022-09-12 16:47 UTC (permalink / raw)
  To: (, elaexuotee, 44518


[-- Attachment #1.1.1: Type: text/plain, Size: 790 bytes --]



On 10-09-2022 14:06, ( via Guix-patches via wrote:
>> ription
>> +     "This library is intended to be a comprehensive solution to parsing and
>> +selecting quality-indexed values in HTTP headers.  It is capable of parsing
>> +both media types and language parameters from the Accept and Content header
>> +families, and can be extended to match against other accept headers as well.
>> +Selecting the appropriate header value is achieved by comparing a list of
>> +server options against the quality-indexed values supplied by the client.")
> This is a wee bit too long IMO.
> 
>      -- (
> 

Myself, I consider the length to be about perfect -- it isn't verbosely 
worded, it is only a single paragraph and it clearly explains what it 
can do.

Greetings,
Maxime.

[-- Attachment #1.1.2: OpenPGP public key --]
[-- Type: application/pgp-keys, Size: 929 bytes --]

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 236 bytes --]

^ permalink raw reply	[flat|nested] 33+ messages in thread

* [bug#44518] gnu: Add matterhorn.
  2020-11-08 12:53 [bug#44518] gnu: Add matterhorn elaexuotee--- via Guix-patches via
  2022-09-10 12:06 ` ( via Guix-patches via
@ 2022-11-04 15:11 ` Mathieu
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
  2 siblings, 0 replies; 33+ messages in thread
From: Mathieu @ 2022-11-04 15:11 UTC (permalink / raw)
  To: 44518

Do you receive email notifications from here, elaexuotee, and are you by any chance still an active Guix user? Matterhorn would be a great addition to Guix packages.




^ permalink raw reply	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 00/25] Add matterhorn package.
  2020-11-08 12:53 [bug#44518] gnu: Add matterhorn elaexuotee--- via Guix-patches via
  2022-09-10 12:06 ` ( via Guix-patches via
  2022-11-04 15:11 ` Mathieu
@ 2024-07-22 11:27 ` Romain GARBAGE
  2024-07-22 11:27   ` [bug#71938] [PATCH v3 01/25] gnu: Add ghc-crypton Romain GARBAGE
                     ` (26 more replies)
  2 siblings, 27 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:27 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

Changes from v2->v3:
Rebased to commit e5c0b62debc6f48a32a65736d9ba3da0b1e59cb9 and sent
patch with base-commit to fix QA.

Romain GARBAGE (25):
  gnu: Add ghc-crypton.
  gnu: Add ghc-crypton-x509.
  gnu: Add ghc-crypton-x509-store.
  gnu: Add ghc-crypton-x509-system.
  gnu: Add ghc-crypton-x509-validation.
  gnu: Add ghc-tls-1.9.
  gnu: Add ghc-crypton-connection.
  gnu: Add ghc-mattermost-api.
  gnu: Add ghc-mattermost-api-qc.
  gnu: Add ghc-modern-uri.
  gnu: Add ghc-aspell-pipe.
  gnu: Add ghc-bimap.
  gnu: Add ghc-checkers.
  gnu: Add ghc-monad-parallel.
  gnu: ghc-text-zipper: Update to 0.13.
  gnu: Add ghc-stm-delay.
  gnu: Add ghc-unique.
  gnu: Add ghc-unix-compat-7.
  gnu: Add ghc-vty-crossplatform.
  gnu: Add ghc-vty-unix.
  gnu: Add ghc-vty-6.
  gnu: Add ghc-hclip.
  gnu: Add ghc-brick.
  gnu: Add ghc-brick-skylighting.
  gnu: Add matterhorn.

 gnu/packages/haskell-apps.scm   |  92 +++++++++
 gnu/packages/haskell-crypto.scm | 177 ++++++++++++++++++
 gnu/packages/haskell-web.scm    | 121 ++++++++++++
 gnu/packages/haskell-xyz.scm    | 318 +++++++++++++++++++++++++++++++-
 4 files changed, 706 insertions(+), 2 deletions(-)


base-commit: e5c0b62debc6f48a32a65736d9ba3da0b1e59cb9
-- 
2.45.1





^ permalink raw reply	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 01/25] gnu: Add ghc-crypton.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
@ 2024-07-22 11:27   ` Romain GARBAGE
  2024-07-22 11:27   ` [bug#44518] [PATCH v3 02/25] gnu: Add ghc-crypton-x509 Romain GARBAGE
                     ` (25 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:27 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-crypto.scm (ghc-crypton): New variable.

Change-Id: I91902a8dbc0df2d19729933e6cd096810fdc1059
---
 gnu/packages/haskell-crypto.scm | 40 +++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 83ba8bc10b..12ffd10743 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -612,6 +612,46 @@ (define-public ghc-crypto-random
 abstraction for CPRNGs.")
     (license license:bsd-3)))
 
+(define-public ghc-crypton
+  (package
+    (name "ghc-crypton")
+    (version "0.34")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton" version))
+       (sha256
+        (base32 "1mhypjhzn95in853bp7ary0a2xc6lsji6j8hrrgn2mfa4ilq8i24"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton")))
+    (inputs (list ghc-memory ghc-basement))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-tasty-hunit
+                         ghc-tasty-kat))
+    (home-page "https://github.com/kazu-yamamoto/crypton")
+    (synopsis "Cryptography Primitives sink")
+    (description
+     "This package provides a repository of cryptographic primitives.
+@itemize @bullet
+
+@item Symmetric ciphers: AES, DES, 3DES, CAST5, Blowfish, Twofish, Camellia, RC4,
+Salsa, XSalsa, ChaCha.
+
+@item Hash: SHA1, SHA2, SHA3, SHAKE, MD2, MD4, MD5, Keccak, Skein, Ripemd, Tiger,
+Whirlpool, Blake2.
+
+@item MAC: HMAC, KMAC, Poly1305
+
+@item Asymmetric crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Curve448,
+Ed25519, Ed448
+
+@item Key Derivation Function: PBKDF2, Scrypt, HKDF, Argon2, BCrypt, BCryptPBKDF
+
+@item Cryptographic Random generation: System Entropy, Deterministic Random Generator
+
+@item Data related: Anti-Forensic Information Splitter (AFIS)
+@end itemize")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 02/25] gnu: Add ghc-crypton-x509.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
  2024-07-22 11:27   ` [bug#71938] [PATCH v3 01/25] gnu: Add ghc-crypton Romain GARBAGE
@ 2024-07-22 11:27   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store Romain GARBAGE
                     ` (24 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:27 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509): New variable.

Change-Id: I0bea5088c2fd23b77f22a2017303bac849c45c29
---
 gnu/packages/haskell-crypto.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 12ffd10743..9bbf3ee0fc 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -652,6 +652,37 @@ (define-public ghc-crypton
 @end itemize")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509
+  (package
+    (name "ghc-crypton-x509")
+    (version "1.7.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509" version))
+       (sha256
+        (base32 "1zyaz0krf08g36g30zr5wn8f2x51l4dj2zcjnhpiw9h05p54mdzb"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-asn1-parse
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-x509))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "10a2x47znhbayyfr6fqgq27623akpycyjbfxz4hnavavf1x6ary5")
+       ;; build phase fails when tests are activated.
+       ;; See https://github.com/kazu-yamamoto/crypton-certificate/pull/7
+       #:tests? #f))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X509 reader and writer")
+    (description "Generic X509 support for Haskell.")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
  2024-07-22 11:27   ` [bug#71938] [PATCH v3 01/25] gnu: Add ghc-crypton Romain GARBAGE
  2024-07-22 11:27   ` [bug#44518] [PATCH v3 02/25] gnu: Add ghc-crypton-x509 Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system Romain GARBAGE
                     ` (23 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-store): New variable.

Change-Id: Id9e2bd91d99c09fee5bd0054741176108b7376ed
---
 gnu/packages/haskell-crypto.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 9bbf3ee0fc..3f2517143c 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -683,6 +683,28 @@ (define-public ghc-crypton-x509
     (description "Generic X509 support for Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-store
+  (package
+    (name "ghc-crypton-x509-store")
+    (version "1.6.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-store" version))
+       (sha256
+        (base32 "0vr5b9cyf9x016wn1g0bryslf5nz8jq2sy8r3llwqfg02apihqiy"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-store")))
+    (inputs (list ghc-pem ghc-asn1-types ghc-asn1-encoding ghc-crypton
+                  ghc-crypton-x509))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 collection accessing and storing methods")
+    (description
+     "X.509 collection accessing and storing methods for certificate, crl, exception
+list")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (2 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation Romain GARBAGE
                     ` (22 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-system): New variable.

Change-Id: Idfadaf630a3bcc4d019738d37ae9ee888f49fd80
---
 gnu/packages/haskell-crypto.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 3f2517143c..5c69def661 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -705,6 +705,26 @@ (define-public ghc-crypton-x509-store
 list")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-system
+  (package
+    (name "ghc-crypton-x509-system")
+    (version "1.6.7")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-system" version))
+       (sha256
+        (base32 "1jilnr9715njlx1hqvg5lrsrwk12r04maypmh18di0sybwg2cdm4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-system")))
+    (inputs (list ghc-pem ghc-crypton-x509 ghc-crypton-x509-store))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "Handle per-operating-system X.509 accessors and storage")
+    (description
+     "System X.509 handling for accessing operating system dependents store and other
+storage methods")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (3 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 06/25] gnu: Add ghc-tls-1.9 Romain GARBAGE
                     ` (21 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-validation): New variable.

Change-Id: Ib25c2dee8fef24c763cf70dfa1c615405d250d39
---
 gnu/packages/haskell-crypto.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 5c69def661..5c5305afa9 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -725,6 +725,33 @@ (define-public ghc-crypton-x509-system
 storage methods")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-validation
+  (package
+    (name "ghc-crypton-x509-validation")
+    (version "1.6.12")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-validation" version))
+       (sha256
+        (base32 "1xjhwvmkcy47a6xiqxb3xy944ca7g660203jdrz5xzd46zibfq0f"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-validation")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-data-default-class
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 Certificate and CRL validation")
+    (description "X.509 Certificate and CRL validation.  please see README")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 06/25] gnu: Add ghc-tls-1.9.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (4 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 07/25] gnu: Add ghc-crypton-connection Romain GARBAGE
                     ` (20 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-crypto.scm (ghc-tls-1.9): New variable.

Change-Id: I53d26e85d7ed333be036cb5e0e359b72f5c21262
---
 gnu/packages/haskell-crypto.scm | 37 +++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 5c5305afa9..dfd28a3537 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -861,6 +861,43 @@ (define-public ghc-tls
 extensions.")
     (license license:bsd-3)))
 
+(define-public ghc-tls-1.9
+  (package
+    (name "ghc-tls")
+    (version "1.9.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "tls" version))
+       (sha256
+        (base32 "0gj3af9sqd0bw7dpcqfyvbslpxsk2ij00a77kl710fwhw35vj1an"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "tls")))
+    (inputs (list ghc-cereal
+                  ghc-data-default-class
+                  ghc-memory
+                  ghc-crypton
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton-x509-validation
+                  ghc-async
+                  ghc-unix-time
+                  ghc-network))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-quickcheck))
+    (home-page "http://github.com/vincenthz/hs-tls")
+    (synopsis "TLS/SSL protocol native implementation (Server and Client)")
+    (description
+     "Native Haskell TLS and SSL protocol implementation for server and client.
+This provides a high-level implementation of a sensitive security protocol,
+eliminating a common set of security issues through the use of the advanced
+type system, high level constructions and common Haskell features.  Currently
+implement the SSL3.0, TLS1.0, TLS1.1 and TLS1.2 protocol, and support RSA and
+Ephemeral (Elliptic curve and regular) Diffie Hellman key exchanges, and many
+extensions.")
+    (license license:bsd-3)))
+
 (define-public ghc-hsopenssl
   (package
     (name "ghc-hsopenssl")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 07/25] gnu: Add ghc-crypton-connection.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (5 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 06/25] gnu: Add ghc-tls-1.9 Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 08/25] gnu: Add ghc-mattermost-api Romain GARBAGE
                     ` (19 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-web.scm (ghc-crypton-connection): New variable.

Change-Id: I37bc263de2aa9f3ce7b06b9a752424a0550bf6d3
---
 gnu/packages/haskell-web.scm | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 0aaa609e42..08b2136cb2 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -89,6 +89,35 @@ (define-public ghc-cookie
     (description "HTTP cookie parsing and rendering library for Haskell.")
     (license license:expat)))
 
+(define-public ghc-crypton-connection
+  (package
+    (name "ghc-crypton-connection")
+    (version "0.3.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-connection" version))
+       (sha256
+        (base32 "07lrkv6lwphsyp4797yp8ywnndzd270bk58r8gwyby0hr4xy52r0"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-connection")))
+    (inputs (list ghc-basement
+                  ghc-data-default-class
+                  ghc-network
+                  ghc-tls-1.9
+                  ghc-socks
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton-x509-system
+                  ghc-crypton-x509-validation))
+    (home-page "https://github.com/kazu-yamamoto/crypton-connection")
+    (synopsis "Simple and easy network connections API")
+    (description
+     "Simple network library for all your connection need. Features: Really simple to
+use, SSL/TLS, SOCKS. This library provides a very simple api to create sockets to a
+destination with the choice of SSL/TLS, and SOCKS.")
+    (license license:bsd-3)))
+
 (define-public ghc-curl
   (package
     (name "ghc-curl")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 08/25] gnu: Add ghc-mattermost-api.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (6 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 07/25] gnu: Add ghc-crypton-connection Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc Romain GARBAGE
                     ` (18 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-web.scm (ghc-mattermost-api): New variable.

Change-Id: Idc2a8fb0d8589b38d7e50aa7565fff71dcc6ab28
---
 gnu/packages/haskell-web.scm | 42 ++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 08b2136cb2..8021cbaefc 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -843,6 +843,48 @@ (define-public ghc-css-text
 Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-mattermost-api
+  (package
+    (name "ghc-mattermost-api")
+    (version "90000.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "mattermost-api" version))
+       (sha256
+        (base32 "1ka3r4bnfwlbjnkws8vkg8i9gj8wzsyss137p7hxrx4sr75s6iyv"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "mattermost-api")))
+    (inputs (list ghc-websockets
+                  ghc-aeson
+                  ghc-crypton-connection
+                  ghc-memory
+                  ghc-resource-pool
+                  ghc-http
+                  ghc-http-media
+                  ghc-network-uri
+                  ghc-modern-uri
+                  ghc-unordered-containers
+                  ghc-hashable
+                  ghc-gitrev
+                  ghc-microlens
+                  ghc-microlens-th
+                  ghc-pretty-show
+                  ghc-split
+                  ghc-connection))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit ghc-hunit))
+    (arguments
+     (list
+      #:tests? #f)) ;tests fail: unable to setup network socket
+    (home-page "http://hackage.haskell.org/package/mattermost-api")
+    (synopsis "Client API for Mattermost chat system")
+    (description
+     "Client API for Mattermost chat system.  Mattermost is a flexible, open source
+messaging platform that meets even the most demanding privacy and security
+standards.  This library provides network API interaction with the Mattermost
+server.")
+    (license license:bsd-3)))
+
 (define-public ghc-mime-types
   (package
     (name "ghc-mime-types")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (7 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 08/25] gnu: Add ghc-mattermost-api Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 10/25] gnu: Add ghc-modern-uri Romain GARBAGE
                     ` (17 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-web.scm (ghc-mattermost-api-qc): New variable.

Change-Id: If28b8a03170bb235b2418329d408fec8f06d4b7c
---
 gnu/packages/haskell-web.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 8021cbaefc..16a38fd760 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -885,6 +885,27 @@ (define-public ghc-mattermost-api
 server.")
     (license license:bsd-3)))
 
+(define-public ghc-mattermost-api-qc
+  (package
+    (name "ghc-mattermost-api-qc")
+    (version "90000.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "mattermost-api-qc" version))
+       (sha256
+        (base32 "0lrb8l8nbrdp4y2ala8hchr8ikv5hqw710ffiiw1sz6z2dqiqbxm"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "mattermost-api-qc")))
+    (inputs (list ghc-mattermost-api ghc-quickcheck))
+    (home-page "https://github.com/matterhorn-chat/mattermost-api-qc")
+    (synopsis "QuickCheck instances for the Mattermost client API library")
+    (description
+     "This package provides a library providing @code{QuickCheck} for the
+mattermost-api library to allow testing.  This is provided as a separate library
+to allow use of the API library without testing dependencies.")
+    (license license:isc)))
+
 (define-public ghc-mime-types
   (package
     (name "ghc-mime-types")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 10/25] gnu: Add ghc-modern-uri.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (8 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 11/25] gnu: Add ghc-aspell-pipe Romain GARBAGE
                     ` (16 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-web.scm (ghc-modern-uri): New variable.

Change-Id: I62d4c2722303cbeb9a7ef1acd3f12f355cf67509
---
 gnu/packages/haskell-web.scm | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 16a38fd760..bd33abdcb0 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -924,6 +924,35 @@ (define-public ghc-mime-types
      "This library provides basic MIME type handling types and functions.")
     (license license:expat)))
 
+(define-public ghc-modern-uri
+  (package
+    (name "ghc-modern-uri")
+    (version "0.3.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "modern-uri" version))
+       (sha256
+        (base32 "1sag8l91qd7xs56rlx8r6dz9zxxmqsnfw0v47az7l8nirv7zjih2"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "modern-uri")))
+    (inputs (list ghc-quickcheck
+                  ghc-hashable
+                  ghc-megaparsec
+                  ghc-profunctors
+                  ghc-reflection
+                  ghc-tagged))
+    (native-inputs (list ghc-hspec
+                         ghc-hspec-megaparsec
+                         ghc-hspec-discover))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "0c0mr8aqs963nmy7i8yfih24snaijgwkxim2q2khw12capshac0q")))
+    (home-page "https://github.com/mrkkrp/modern-uri")
+    (synopsis "Modern library for working with URIs")
+    (description "Modern library for working with URIs.")
+    (license license:bsd-3)))
+
 (define-public ghc-html
   (package
     (name "ghc-html")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 11/25] gnu: Add ghc-aspell-pipe.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (9 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 10/25] gnu: Add ghc-modern-uri Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 12/25] gnu: Add ghc-bimap Romain GARBAGE
                     ` (15 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-aspell-pipe): New variable.

Change-Id: I0d31c9c457ce33b45c0fb6589413208796843920
---
 gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index fa423ae2ca..3bdc8d6d6b 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -450,6 +450,26 @@ (define-public ghc-appar
 style.")
     (license license:bsd-3)))
 
+(define-public ghc-aspell-pipe
+  (package
+    (name "ghc-aspell-pipe")
+    (version "0.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "aspell-pipe" version))
+       (sha256
+        (base32 "09dw4v4j5pmqi8pdh3p7kk7f8pph5w33s7vd21fgvhv3arnrj6p8"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "aspell-pipe")))
+    (inputs (list ghc-async))
+    (home-page "http://hackage.haskell.org/package/aspell-pipe")
+    (synopsis "Pipe-based interface to the Aspell program")
+    (description
+     "This package provides a pipe-based interface to the Aspell program (no dynamic
+linking required).")
+    (license license:bsd-3)))
+
 (define-public ghc-assoc
   (package
     (name "ghc-assoc")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 12/25] gnu: Add ghc-bimap.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (10 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 11/25] gnu: Add ghc-aspell-pipe Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 13/25] gnu: Add ghc-checkers Romain GARBAGE
                     ` (14 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-bimap): New variable.

Change-Id: Ib6ffebff5417273afaa3a08005aae3445606d6d2
---
 gnu/packages/haskell-xyz.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 3bdc8d6d6b..60d25dd4bf 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -972,6 +972,27 @@ (define-public ghc-bifunctors
     (description "This package provides bifunctors for Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-bimap
+  (package
+    (name "ghc-bimap")
+    (version "0.5.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "bimap" version))
+       (sha256
+        (base32 "158cdwk9jwklcfgbn62dqq255i40w13ifggsdps87sxc5q7lpd5h"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "bimap")))
+    (native-inputs (list ghc-quickcheck))
+    (home-page "https://github.com/joelwilliamson/bimap")
+    (synopsis "Bidirectional mapping between two key types")
+    (description
+     "This package provides a data structure representing a bidirectional mapping
+between two key types.  Each value in the bimap is associated with exactly one
+value of the opposite type.")
+    (license license:bsd-3)))
+
 (define-public ghc-bindings-dsl
   (package
     (name "ghc-bindings-dsl")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 13/25] gnu: Add ghc-checkers.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (11 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 12/25] gnu: Add ghc-bimap Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28     ` [bug#44518] " Romain GARBAGE
                     ` (13 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-checkers): New variable.

Change-Id: I4228398238a169e49e68ead60cbe69ef0437e3e9
---
 gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 60d25dd4bf..e29e84aa9b 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -1830,6 +1830,31 @@ (define-public ghc-cheapskate
 cross-site scripting (@dfn{XSS}) attacks.")
     (license license:bsd-3)))
 
+(define-public ghc-checkers
+  (package
+    (name "ghc-checkers")
+    (version "0.6.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "checkers" version))
+       (sha256
+        (base32 "1r4rsa4k0fy8xig3m530ryflry9viv9v47g4gh7h0ld27rbd6z60"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "checkers")))
+    (inputs (list ghc-random ghc-quickcheck ghc-semigroupoids))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "0wkvf57zd7i87z18vj285whjpcl9pscpwxz2cp7v7w6kk0769p0i")))
+    (home-page "https://github.com/haskell-checkers/checkers")
+    (synopsis "Check properties on standard classes and data structures")
+    (description
+     "Checkers wraps up the expected properties associated with various standard type
+classes as @code{QuickCheck} properties.  Also some morphism properties.  It
+also provides arbitrary instances and generator combinators for common data
+types. . &#169; 2008-2013 by Conal Elliott; BSD3 license.")
+    (license license:bsd-3)))
+
 (define-public ghc-chell
   (package
     (name "ghc-chell")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 14/25] gnu: Add ghc-monad-parallel.
@ 2024-07-22 11:28     ` Romain GARBAGE
  0 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-monad-parallel): New variable.

Change-Id: I39a5b5392a50fb4f6e9e15ed107705486362d021
---
 gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index e29e84aa9b..4d00382ea3 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -7563,6 +7563,28 @@ (define-public ghc-monad-par-extras
 and other added capabilities layered on top of the @code{Par} monad.")
     (license license:bsd-3)))
 
+(define-public ghc-monad-parallel
+  (package
+    (name "ghc-monad-parallel")
+    (version "0.8")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "monad-parallel" version))
+       (sha256
+        (base32 "1j905cwc440g7rvbhsdkqf50ag7p2bi6cy2rqsk918rn80fqqra4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "monad-parallel")))
+    (inputs (list ghc-parallel ghc-transformers-compat))
+    (home-page "https://hub.darcs.net/blamario/SCC.wiki/")
+    (synopsis "Parallel execution of monadic computations")
+    (description
+     "This package defines classes of monads that can perform multiple executions in
+parallel and combine their results.  For any monad that's an instance of the
+class, the package re-implements a subset of the Control.Monad interface, but
+with parallel execution.")
+    (license license:bsd-3)))
+
 (define-public ghc-monadrandom
   (package
     (name "ghc-monadrandom")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 14/25] gnu: Add ghc-monad-parallel.
@ 2024-07-22 11:28     ` Romain GARBAGE
  0 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-monad-parallel): New variable.

Change-Id: I39a5b5392a50fb4f6e9e15ed107705486362d021
---
 gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index e29e84aa9b..4d00382ea3 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -7563,6 +7563,28 @@ (define-public ghc-monad-par-extras
 and other added capabilities layered on top of the @code{Par} monad.")
     (license license:bsd-3)))
 
+(define-public ghc-monad-parallel
+  (package
+    (name "ghc-monad-parallel")
+    (version "0.8")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "monad-parallel" version))
+       (sha256
+        (base32 "1j905cwc440g7rvbhsdkqf50ag7p2bi6cy2rqsk918rn80fqqra4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "monad-parallel")))
+    (inputs (list ghc-parallel ghc-transformers-compat))
+    (home-page "https://hub.darcs.net/blamario/SCC.wiki/")
+    (synopsis "Parallel execution of monadic computations")
+    (description
+     "This package defines classes of monads that can perform multiple executions in
+parallel and combine their results.  For any monad that's an instance of the
+class, the package re-implements a subset of the Control.Monad interface, but
+with parallel execution.")
+    (license license:bsd-3)))
+
 (define-public ghc-monadrandom
   (package
     (name "ghc-monadrandom")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 15/25] gnu: ghc-text-zipper: Update to 0.13.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (13 preceding siblings ...)
  2024-07-22 11:28     ` [bug#44518] " Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 16/25] gnu: Add ghc-stm-delay Romain GARBAGE
                     ` (11 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-text-zipper): Update to 0.13.

Change-Id: I0ae9154713d799b48f9f0772a7c7ee2210493095
---
 gnu/packages/haskell-xyz.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 4d00382ea3..67ced12750 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -8519,13 +8519,13 @@ (define-public ghc-text-short
 (define-public ghc-text-zipper
   (package
     (name "ghc-text-zipper")
-    (version "0.12")
+    (version "0.13")
     (source (origin
               (method url-fetch)
               (uri (hackage-uri "text-zipper" version))
               (sha256
                (base32
-                "00k7d6qfznhp6l2ihw3pppkn580pwd7ac7wx9vidil4y9hjagaw6"))))
+                "1acq583wmgb53viqslbkgl454300fawg5lryxddfiy1mqk3iqlh6"))))
     (build-system haskell-build-system)
     (properties '((upstream-name . "text-zipper")))
     (inputs (list ghc-vector))
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 16/25] gnu: Add ghc-stm-delay.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (14 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 15/25] gnu: ghc-text-zipper: Update to 0.13 Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 17/25] gnu: Add ghc-unique Romain GARBAGE
                     ` (10 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-stm-delay): New variable.

Change-Id: If9e20a2c103549de9b4b7d63158fe34165f6036a
---
 gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 67ced12750..6bdff48b6e 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -11757,6 +11757,31 @@ (define-public ghc-stm-conduit
 source and a sink.")
     (license license:bsd-3)))
 
+(define-public ghc-stm-delay
+  (package
+    (name "ghc-stm-delay")
+    (version "0.1.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "stm-delay" version))
+       (sha256
+        (base32 "0cla21v89gcvmr1iwzibq13v1yq02xg4h6k9l6kcprj7mhd5hcmi"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "stm-delay")))
+    (home-page "https://github.com/joeyadams/haskell-stm-delay")
+    (synopsis "Updatable one-shot timer polled with STM")
+    (description
+     "This library lets you create a one-shot timer, poll it using STM, and update it
+to ring at a different time than initially specified. .  It uses GHC event
+manager timeouts when available (GHC 7.2+, @@-threaded@@, non-Windows OS),
+yielding performance similar to @@@code{threadDelay}@@ and
+@@@code{registerDelay}@@.  Otherwise, it falls back to forked threads and
+@@@code{threadDelay}@@. . [0.1.1] Add @code{tryWaitDelayIO}, improve performance
+for certain cases of @@@code{newDelay}@@ and @@@code{updateDelay}@@, and improve
+example.")
+    (license license:bsd-3)))
+
 (define-public ghc-stmonadtrans
   (package
     (name "ghc-stmonadtrans")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 17/25] gnu: Add ghc-unique.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (15 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 16/25] gnu: Add ghc-stm-delay Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 18/25] gnu: Add ghc-unix-compat-7 Romain GARBAGE
                     ` (9 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-unique): New variable.

Change-Id: Id9876b8018f5f8b3bcb82ab0bb13616ed298c31b
---
 gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 6bdff48b6e..d8d0ddfb98 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -13390,6 +13390,30 @@ (define-public ghc-uniplate
 work, but is substantially simpler and faster.")
     (license license:bsd-3)))
 
+(define-public ghc-unique
+  (package
+    (name "ghc-unique")
+    (version "0.4.7.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "Unique" version))
+       (sha256
+        (base32 "14f1qnmhdmbam8qis725dhwq1mk9h86fsnzhkwhsx73ny9z29s1l"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "Unique")))
+    (inputs (list ghc-extra ghc-hashable ghc-unordered-containers))
+    (native-inputs (list ghc-hspec ghc-quickcheck))
+    (arguments
+     `(#:tests? #f ;test  Data.List.UniqueUnsorted.removeDuplicates fails
+       #:cabal-revision ("1"
+                         "10s0npnfkh7naj49afmyrvnilikp6426fbhi49f97pxrgcmy4dvw")))
+    (home-page "http://hackage.haskell.org/package/Unique")
+    (synopsis "It provides the functionality like unix \"uniq\" utility")
+    (description
+     "Library provides the functions to find unique and duplicate elements in the list")
+    (license license:bsd-3)))
+
 (define-public ghc-unix-compat
   (package
     (name "ghc-unix-compat")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 18/25] gnu: Add ghc-unix-compat-7.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (16 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 17/25] gnu: Add ghc-unique Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform Romain GARBAGE
                     ` (8 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-unix-compat-7): New variable.

Change-Id: I28e8e4924d4f829dd07059aa205d894803409320
---
 gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index d8d0ddfb98..7558a677a4 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -13437,6 +13437,28 @@ (define-public ghc-unix-compat
 isn't available, portable implementations are used.")
     (license license:bsd-3)))
 
+(define-public ghc-unix-compat-7
+  (package
+    (name "ghc-unix-compat")
+    (version "0.7.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "unix-compat" version))
+       (sha256
+        (base32 "0gz30f4g3gyjz60jbcg072ms67pwdn4by6wvdkg63hjshgl0cj60"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "unix-compat")))
+    (native-inputs (list ghc-monad-parallel ghc-hspec ghc-hunit ghc-extra
+                         ghc-temporary))
+    (home-page "https://github.com/haskell-pkg-janitors/unix-compat")
+    (synopsis "Portable POSIX-compatibility layer")
+    (description
+     "This package provides portable implementations of parts of the unix package.
+This package re-exports the unix package when available.  When it isn't
+available, portable implementations are used.")
+    (license license:bsd-3)))
+
 (define-public ghc-unix-time
   (package
     (name "ghc-unix-time")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (17 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 18/25] gnu: Add ghc-unix-compat-7 Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 20/25] gnu: Add ghc-vty-unix Romain GARBAGE
                     ` (7 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-vty-crossplatform): New variable.

Change-Id: Icbd33d9bbd7561bdb6178b3431edef6a1db92fcb
---
 gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 7558a677a4..baf797a8ca 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -14134,6 +14134,26 @@ (define-public ghc-vty
 to use and to provide good support for common terminal types.")
     (license license:bsd-3)))
 
+(define-public ghc-vty-crossplatform
+  (package
+    (name "ghc-vty-crossplatform")
+    (version "0.4.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty-crossplatform" version))
+       (sha256
+        (base32 "06iwxgqrqzz05hmic7z5hxd48x0i49sk935vm0xfi0xq28sl7r9m"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty-crossplatform")))
+    (inputs (list ghc-vty-6 ghc-vty-unix ghc-random ghc-string-qq))
+    (home-page "http://hackage.haskell.org/package/vty-crossplatform")
+    (synopsis "Cross-platform support for Vty")
+    (description
+     "This package provides a generic interface for multiple Vty platforms in one
+package so you don't have to conditionally depend on them in your cabal file.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 20/25] gnu: Add ghc-vty-unix.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (18 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 21/25] gnu: Add ghc-vty-6 Romain GARBAGE
                     ` (6 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

gnu/packages/haskell-xyz.scm (ghc-vty-unix): New variable.

Change-Id: Idf8e550a5d7b645d19af177dd65c5956ba3ab478
---
 gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index baf797a8ca..787f70b510 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -14154,6 +14154,31 @@ (define-public ghc-vty-crossplatform
 package so you don't have to conditionally depend on them in your cabal file.")
     (license license:bsd-3)))
 
+(define-public ghc-vty-unix
+  (package
+    (name "ghc-vty-unix")
+    (version "0.2.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty-unix" version))
+       (sha256
+        (base32 "1hfxc7qw884vlq8qshhyndl3zs10jc2xr6i69vhasjywkvh6gay2"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty-unix")))
+    (inputs (list ghc-blaze-builder
+                  ghc-vty-6
+                  ghc-vector
+                  ghc-utf8-string
+                  ghc-microlens
+                  ghc-microlens-mtl
+                  ghc-microlens-th
+                  ghc-ansi-terminal))
+    (home-page "http://hackage.haskell.org/package/vty-unix")
+    (synopsis "Unix backend for Vty")
+    (description "This package provides Unix terminal support for Vty.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 21/25] gnu: Add ghc-vty-6.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (19 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 20/25] gnu: Add ghc-vty-unix Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 22/25] gnu: Add ghc-hclip Romain GARBAGE
                     ` (5 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-vty-6): New variable.

Change-Id: I2e2dbbe0e99d26f38494fb6bdb51bc6d67e5c02c
---
 gnu/packages/haskell-xyz.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 787f70b510..9bacacf9fc 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -14179,6 +14179,33 @@ (define-public ghc-vty-unix
     (description "This package provides Unix terminal support for Vty.")
     (license license:bsd-3)))
 
+(define-public ghc-vty-6
+  (package
+    (name "ghc-vty")
+    (version "6.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty" version))
+       (sha256
+        (base32 "0ywqfdngfv5pnsk5pa99yizpbhdq856sy3z70q2hmpmlc2r4h7vg"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty")))
+    (inputs (list ghc-blaze-builder ghc-microlens ghc-microlens-mtl
+                  ghc-utf8-string ghc-vector))
+    (home-page "https://github.com/jtdaugherty/vty")
+    (synopsis "A simple terminal UI library")
+    (description
+     "vty is terminal GUI library in the niche of ncurses.  It is intended to be easy
+to use and to provide good support for common terminal types. .  See the
+@@vty-examples@@ package as well as the program
+@@examples/interactive_terminal_test.hs@@ included in the @@vty@@ repository for
+examples on how to use the library. .  Import the @@Graphics.Vty@@ convenience
+module to get access to the core parts of the library. . &#169; 2006-2007 Stefan
+O'Rear; BSD3 license. . &#169; Corey O'Connor; BSD3 license. . &#169; Jonathan
+Daugherty; BSD3 license.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 22/25] gnu: Add ghc-hclip.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (20 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 21/25] gnu: Add ghc-vty-6 Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 23/25] gnu: Add ghc-brick Romain GARBAGE
                     ` (4 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

gnu/packages/haskell-xyz.scm (ghc-hclip): New variable.

Change-Id: I2d1a2d6e1983eb89a5e61eb05204c2e1c0dc3634
---
 gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 9bacacf9fc..10618be91a 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15153,6 +15153,30 @@ (define-public ghc-commonmark-pandoc
 Pandoc types.")
     (license license:bsd-3)))
 
+(define-public ghc-hclip
+  (package
+    (name "ghc-hclip")
+    (version "3.0.0.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "Hclip" version))
+       (sha256
+        (base32 "04ppwm7vfzndrys8x1n8vfb41vzwx59r9xp4dkbiqmrms390pj6q"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "Hclip")))
+    (inputs (list ghc-strict))
+    (home-page "https://github.com/jetho/Hclip")
+    (synopsis
+     "Small cross-platform library for reading and modifying the system clipboard")
+    (description
+     "This package provides a small cross-platform library for reading and modifying
+the system clipboard. .  Hclip works on Windows, Mac OS X and Linux (but see the
+requirements below!). .  Requirements: . * Windows: No additional requirements.
+. * Mac OS X: Requires the pbcopy and pbpaste commands, which ship with Mac OS
+X. . * Linux: Requires xclip or xsel installed.")
+    (license license:bsd-3)))
+
 (define-public ghc-hslua-module-path
   (package
     (name "ghc-hslua-module-path")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 23/25] gnu: Add ghc-brick.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (21 preceding siblings ...)
  2024-07-22 11:28   ` [bug#44518] [PATCH v3 22/25] gnu: Add ghc-hclip Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 24/25] gnu: Add ghc-brick-skylighting Romain GARBAGE
                     ` (3 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-brick): New variable.

Change-Id: I52fbfa27422a6aacca65d0e8ed5ffa3ab335cc67
---
 gnu/packages/haskell-xyz.scm | 39 ++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 10618be91a..4ccb9c01ae 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15887,6 +15887,45 @@ (define-public ghc-breakpoint
 [README](https://github.com/aaronallen8455/breakpoint#breakpoint) for details.")
     (license license:expat)))
 
+(define-public ghc-brick
+  (package
+    (name "ghc-brick")
+    (version "2.3.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "brick" version))
+       (sha256
+        (base32 "160np0bz1mcfkp077yc936i026s3zv1czn8lj3k3qr6scldavw35"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "brick")))
+    (inputs (list ghc-vty-6
+                  ghc-vty-crossplatform
+                  ghc-bimap
+                  ghc-data-clist
+                  ghc-microlens
+                  ghc-microlens-th
+                  ghc-microlens-mtl
+                  ghc-config-ini
+                  ghc-vector
+                  ghc-text-zipper
+                  ghc-unix-compat-7
+                  ghc-word-wrap
+                  ghc-random))
+    (native-inputs (list ghc-quickcheck))
+    (home-page "https://github.com/jtdaugherty/brick/")
+    (synopsis "Declarative terminal user interface library")
+    (description
+     "Write terminal user interfaces (TUIs) painlessly with brick'! You write an event
+handler and a drawing function and the library does the rest. . . > module Main
+where > > import Brick > > ui :: Widget () > ui = str \"Hello, world!\" > > main
+:: IO () > main = @code{simpleMain} ui . .  To get started, see: . *
+<https://github.com/jtdaugherty/brick/blob/master/README.md The README> . * The
+<https://github.com/jtdaugherty/brick/blob/master/docs/guide.rst Brick user
+guide> . * The demonstration programs in the programs directory . .  This
+package deprecates <http://hackage.haskell.org/package/vty-ui vty-ui>.")
+    (license license:bsd-3)))
+
 (define-public ghc-githash
   (package
     (name "ghc-githash")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 24/25] gnu: Add ghc-brick-skylighting.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (22 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 23/25] gnu: Add ghc-brick Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 25/25] gnu: Add matterhorn Romain GARBAGE
                     ` (2 subsequent siblings)
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-xyz.scm (ghc-brick-skylighting): New variable.

Change-Id: I634c108edff99b1003c26dbb2f9107ed464a5e84
---
 gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 4ccb9c01ae..4e865483fb 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15926,6 +15926,26 @@ (define-public ghc-brick
 package deprecates <http://hackage.haskell.org/package/vty-ui vty-ui>.")
     (license license:bsd-3)))
 
+(define-public ghc-brick-skylighting
+  (package
+    (name "ghc-brick-skylighting")
+    (version "1.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "brick-skylighting" version))
+       (sha256
+        (base32 "1nw2x9zn0jlvykm89v80fh4187bxgn8l4cljgnf4mp4ci7aqjmkr"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "brick-skylighting")))
+    (inputs (list ghc-brick ghc-vty-6 ghc-skylighting-core))
+    (home-page "https://github.com/jtdaugherty/brick-skylighting/")
+    (synopsis "Show syntax-highlighted text in your Brick UI")
+    (description
+     "This package provides a module to use Skylighting to perform syntax highlighting
+and display the results in Brick-based interfaces.")
+    (license license:bsd-3)))
+
 (define-public ghc-githash
   (package
     (name "ghc-githash")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#71938] [PATCH v3 25/25] gnu: Add matterhorn.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (23 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 24/25] gnu: Add ghc-brick-skylighting Romain GARBAGE
@ 2024-07-22 11:28   ` Romain GARBAGE
  2024-07-22 14:26   ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Ricardo Wurmus
  2024-07-22 22:31   ` bug#44518: " Ricardo Wurmus
  26 siblings, 0 replies; 33+ messages in thread
From: Romain GARBAGE @ 2024-07-22 11:28 UTC (permalink / raw)
  To: 71938; +Cc: rekado, Romain GARBAGE, 44518

* gnu/packages/haskell-apps.scm (matterhorn): New variable.

Change-Id: I8f83b39fdc5f94251239129814068000fb492336
---
 gnu/packages/haskell-apps.scm | 92 +++++++++++++++++++++++++++++++++++
 1 file changed, 92 insertions(+)

diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm
index 3fce4f803c..2fcb1a8c56 100644
--- a/gnu/packages/haskell-apps.scm
+++ b/gnu/packages/haskell-apps.scm
@@ -37,6 +37,7 @@
 
 (define-module (gnu packages haskell-apps)
   #:use-module (guix download)
+  #:use-module (guix gexp)
   #:use-module (guix git-download)
   #:use-module (guix packages)
   #:use-module ((guix licenses) #:prefix license:)
@@ -682,6 +683,97 @@ (define-public kmonad
 Wayland, and Linux console environments alike.")
       (license license:expat))))
 
+(define-public matterhorn
+  (package
+    (name "matterhorn")
+    (version "90000.0.0")
+    (source
+     (origin
+       ;; use git repo instead of hackage URL because the hackage tarball
+       ;; doesn't contain the sample config file
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/matterhorn-chat/matterhorn")
+             (commit version)))
+       (sha256
+        (base32 "08ng5axranilvfl9j3v0mjgpg76kzacrqj4c8x6pblpc3yxx02i5"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "matterhorn")))
+    (inputs (list ghc-aeson
+                  ghc-aspell-pipe
+                  ghc-async
+                  ghc-base-compat
+                  ghc-bimap
+                  ghc-brick
+                  ghc-brick-skylighting
+                  ghc-commonmark
+                  ghc-commonmark-extensions
+                  ghc-config-ini
+                  ghc-crypton-connection
+                  ghc-data-clist
+                  ghc-gitrev
+                  ghc-hashable
+                  ghc-hclip
+                  ghc-mattermost-api
+                  ghc-microlens-platform
+                  ghc-network-uri
+                  ghc-random
+                  ghc-semigroups
+                  ghc-skylighting-core
+                  ghc-split
+                  ghc-stm-delay
+                  ghc-strict
+                  ghc-temporary
+                  ghc-text-zipper
+                  ghc-timezone-olson
+                  ghc-timezone-series
+                  ghc-unix-compat-7
+                  ghc-unordered-containers
+                  ghc-utf8-string
+                  ghc-uuid
+                  ghc-vector
+                  ghc-vty-6
+                  ghc-vty-crossplatform
+                  ghc-word-wrap
+                  ghc-xdg-basedir))
+    (native-inputs (list ghc-checkers
+                         ghc-mattermost-api-qc
+                         ghc-tasty
+                         ghc-tasty-hunit
+                         ghc-tasty-quickcheck
+                         ghc-unique))
+    (arguments
+     (list
+      #:phases #~(modify-phases %standard-phases
+                   (add-after 'unpack 'fix-requirements
+                     (lambda _
+                       (for-each (lambda (dep)
+                                   (substitute* "matterhorn.cabal"
+                                     (((string-append "(,\\s" dep
+                                                      "\\s*>=\\s[0-9].[0-9]).*")
+                                       all pat)
+                                      pat)))
+                                 (list "random"
+                                       "data-clist"
+                                       "semigroups"
+                                       "word-wrap"
+                                       "unix-compat"
+                                       "skylighting-core"
+                                       "checkers"
+                                       "vty"
+                                       "vty-crossplatform"
+                                       "brick"))))
+                   (add-after 'install 'install-config-file
+                     (lambda _
+                       (install-file "./docs/sample-config.ini"
+                                     (string-append #$output "/share/doc/" #$name "-" #$version "/etc/")))))))
+    (home-page "http://hackage.haskell.org/package/matterhorn")
+    (synopsis "Terminal client for the Mattermost chat system")
+    (description
+     "This is a terminal client for the Mattermost chat system.  Please see the README
+for a list of features and information on getting started.")
+    (license license:bsd-3)))
+
 (define-public nixfmt
   (package
     (name "nixfmt")
-- 
2.45.1





^ permalink raw reply related	[flat|nested] 33+ messages in thread

* [bug#44518] [PATCH v3 00/25] Add matterhorn package.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (24 preceding siblings ...)
  2024-07-22 11:28   ` [bug#71938] [PATCH v3 25/25] gnu: Add matterhorn Romain GARBAGE
@ 2024-07-22 14:26   ` Ricardo Wurmus
  2024-07-22 22:31   ` bug#44518: " Ricardo Wurmus
  26 siblings, 0 replies; 33+ messages in thread
From: Ricardo Wurmus @ 2024-07-22 14:26 UTC (permalink / raw)
  To: Romain GARBAGE; +Cc: 71938, 44518

Hi Romain,

> Changes from v2->v3:
> Rebased to commit e5c0b62debc6f48a32a65736d9ba3da0b1e59cb9 and sent
> patch with base-commit to fix QA.

thank you for the patches!  This looks good.  I'll go through the
descriptions one more time before pushing this tonight.

-- 
Ricardo




^ permalink raw reply	[flat|nested] 33+ messages in thread

* bug#44518: [PATCH v3 00/25] Add matterhorn package.
  2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
                     ` (25 preceding siblings ...)
  2024-07-22 14:26   ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Ricardo Wurmus
@ 2024-07-22 22:31   ` Ricardo Wurmus
  26 siblings, 0 replies; 33+ messages in thread
From: Ricardo Wurmus @ 2024-07-22 22:31 UTC (permalink / raw)
  To: Romain GARBAGE; +Cc: 71938-done, 44518-done

I modified some of the descriptions and fixed tests before pushing.

Thanks!

-- 
Ricardo




^ permalink raw reply	[flat|nested] 33+ messages in thread

end of thread, other threads:[~2024-07-22 22:32 UTC | newest]

Thread overview: 33+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-11-08 12:53 [bug#44518] gnu: Add matterhorn elaexuotee--- via Guix-patches via
2022-09-10 12:06 ` ( via Guix-patches via
2022-09-12 16:47   ` Maxime Devos
2022-11-04 15:11 ` Mathieu
2024-07-22 11:27 ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Romain GARBAGE
2024-07-22 11:27   ` [bug#71938] [PATCH v3 01/25] gnu: Add ghc-crypton Romain GARBAGE
2024-07-22 11:27   ` [bug#44518] [PATCH v3 02/25] gnu: Add ghc-crypton-x509 Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 06/25] gnu: Add ghc-tls-1.9 Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 07/25] gnu: Add ghc-crypton-connection Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 08/25] gnu: Add ghc-mattermost-api Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 10/25] gnu: Add ghc-modern-uri Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 11/25] gnu: Add ghc-aspell-pipe Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 12/25] gnu: Add ghc-bimap Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 13/25] gnu: Add ghc-checkers Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 14/25] gnu: Add ghc-monad-parallel Romain GARBAGE
2024-07-22 11:28     ` [bug#44518] " Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 15/25] gnu: ghc-text-zipper: Update to 0.13 Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 16/25] gnu: Add ghc-stm-delay Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 17/25] gnu: Add ghc-unique Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 18/25] gnu: Add ghc-unix-compat-7 Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 20/25] gnu: Add ghc-vty-unix Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 21/25] gnu: Add ghc-vty-6 Romain GARBAGE
2024-07-22 11:28   ` [bug#44518] [PATCH v3 22/25] gnu: Add ghc-hclip Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 23/25] gnu: Add ghc-brick Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 24/25] gnu: Add ghc-brick-skylighting Romain GARBAGE
2024-07-22 11:28   ` [bug#71938] [PATCH v3 25/25] gnu: Add matterhorn Romain GARBAGE
2024-07-22 14:26   ` [bug#44518] [PATCH v3 00/25] Add matterhorn package Ricardo Wurmus
2024-07-22 22:31   ` bug#44518: " Ricardo Wurmus

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.