From: Romain GARBAGE <romain.garbage@inria.fr>
To: 71938@debbugs.gnu.org
Cc: rekado@elephly.net, Romain GARBAGE <romain.garbage@inria.fr>,
44518@debbugs.gnu.org
Subject: [bug#71938] [PATCH v2 23/25] gnu: Add ghc-brick.
Date: Tue, 9 Jul 2024 15:54:07 +0200 [thread overview]
Message-ID: <20240709140812.6183-24-romain.garbage@inria.fr> (raw)
In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr>
* 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
next prev parent reply other threads:[~2024-07-09 14:11 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-07-04 10:36 [bug#71938] [PATCH] gnu: Add matterhorn Romain GARBAGE
2024-07-06 23:07 ` Ricardo Wurmus
2024-07-09 9:02 ` [bug#44518] " Romain GARBAGE
2024-07-09 13:53 ` [bug#71938] [PATCH v2 00/25] Add matterhorn package Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 01/25] gnu: Add ghc-crypton Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 02/25] gnu: Add ghc-crypton-x509 Romain GARBAGE
2024-07-09 13:53 ` [bug#71938] " Romain GARBAGE
2024-07-09 13:53 ` [bug#71938] [PATCH v2 03/25] gnu: Add ghc-crypton-x509-store Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 04/25] gnu: Add ghc-crypton-x509-system Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 05/25] gnu: Add ghc-crypton-x509-validation Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 06/25] gnu: Add ghc-tls-1.9 Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 07/25] gnu: Add ghc-crypton-connection Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 08/25] gnu: Add ghc-mattermost-api Romain GARBAGE
2024-07-09 13:53 ` [bug#71938] [PATCH v2 09/25] gnu: Add ghc-mattermost-api-qc Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 10/25] gnu: Add ghc-modern-uri Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 11/25] gnu: Add ghc-aspell-pipe Romain GARBAGE
2024-07-09 13:53 ` [bug#71938] [PATCH v2 12/25] gnu: Add ghc-bimap Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 13/25] gnu: Add ghc-checkers Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 14/25] gnu: Add ghc-monad-parallel Romain GARBAGE
2024-07-09 13:53 ` [bug#44518] [PATCH v2 15/25] gnu: ghc-text-zipper: Update to 0.13 Romain GARBAGE
2024-07-09 13:54 ` [bug#44518] [PATCH v2 16/25] gnu: Add ghc-stm-delay Romain GARBAGE
2024-07-09 13:54 ` [bug#71938] [PATCH v2 17/25] gnu: Add ghc-unique Romain GARBAGE
2024-07-09 13:54 ` [bug#44518] " Romain GARBAGE
2024-07-09 13:54 ` [bug#44518] [PATCH v2 18/25] gnu: Add ghc-unix-compat-7 Romain GARBAGE
2024-07-09 13:54 ` [bug#71938] [PATCH v2 19/25] gnu: Add ghc-vty-crossplatform Romain GARBAGE
2024-07-09 13:54 ` [bug#71938] [PATCH v2 20/25] gnu: Add ghc-vty-unix Romain GARBAGE
2024-07-09 13:54 ` [bug#44518] [PATCH v2 21/25] gnu: Add ghc-vty-6 Romain GARBAGE
2024-07-09 13:54 ` [bug#44518] [PATCH v2 22/25] gnu: Add ghc-hclip Romain GARBAGE
2024-07-09 13:54 ` Romain GARBAGE [this message]
2024-07-09 13:54 ` [bug#71938] [PATCH v2 24/25] gnu: Add ghc-brick-skylighting Romain GARBAGE
2024-07-09 13:54 ` [bug#44518] [PATCH v2 25/25] gnu: Add matterhorn Romain GARBAGE
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20240709140812.6183-24-romain.garbage@inria.fr \
--to=romain.garbage@inria.fr \
--cc=44518@debbugs.gnu.org \
--cc=71938@debbugs.gnu.org \
--cc=rekado@elephly.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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.