From 766ee5803e2727cd2dcda0225030a35a2a116661 Mon Sep 17 00:00:00 2001
From: Romain GARBAGE <romain.garbage@inria.fr>
Date: Mon, 22 Jul 2024 13:28:21 +0200
Subject: gnu: Add ghc-brick-skylighting.

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

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

(limited to 'gnu')

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 960136e872..290ea50ed6 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15905,6 +15905,26 @@ purposes.  See the
 an event handler and a drawing function and the library does the rest.")
     (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")
-- 
cgit v1.2.3

form class='right' method='get' action='/guix/log/gnu/bootloader.scm'>
<input type='hidden' name='id' value='79bc5c20b27d5e48f4a2dd47847875e05c95e4f3'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=79bc5c20b27d5e48f4a2dd47847875e05c95e4f3'>root</a>/<a href='/guix/log/gnu?id=79bc5c20b27d5e48f4a2dd47847875e05c95e4f3'>gnu</a>/<a href='/guix/log/gnu/bootloader.scm?id=79bc5c20b27d5e48f4a2dd47847875e05c95e4f3'>bootloader.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/bootloader.scm?id=79bc5c20b27d5e48f4a2dd47847875e05c95e4f3&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-01-14 23:00:03 +0100'>2024-01-14</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=086850e5b2b4a1744565fe83624d256524b64a49'>bootloader: grub: Add support for loading an additional initrd.</a><span class='msg-avail'>...</span></td><td>Tomas Volf</td></tr>
<tr><td><span title='2023-10-28 00:17:24 +0200'>2023-10-28</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=344e39c928bdb8e6b7e5ac79d94535921a414a05'>profiles: Hooks honor the #:system parameter of ‘profile-derivation’.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2022-12-01 14:31:28 -0500'>2022-12-01</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=a9acbf919a7668e26863d2d26d48c5fd41b57fcd'>gnu: bootloader: Rework chaining, add grub-efi-netboot-removable-bootloader.</a><span class='msg-avail'>...</span></td><td>Stefan</td></tr>
<tr><td><span title='2022-09-08 22:30:43 +0200'>2022-09-08</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=32da9bbc91d365f514ae41528587905b21c41825'>gnu: bootloader: Report error in menu-entry.</a><span class='msg-avail'>...</span></td><td>tiantian</td></tr>
<tr><td><span title='2022-09-08 22:29:57 +0200'>2022-09-08</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=52d780ea2b0714d035a84e350b516ca2e2c19af1'>gnu: bootloader: Extend `&lt;menu-entry&gt;' for chain-loader.</a><span class='msg-avail'>...</span></td><td>tiantian</td></tr>
<tr><td><span title='2022-08-30 08:51:12 +0200'>2022-08-30</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=93ed34977eba26fbb74881bbb3d9af9b3118a663'>bootloader: Wrap lines.</a><span class='msg-avail'>...</span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2022-08-30 08:50:44 +0200'>2022-08-30</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=f126f23b132148192b2c9a89032a5831af0b3c52'>bootloader: Add device-tree-support? option.</a><span class='msg-avail'>...</span></td><td>Reza Alizadeh Majd</td></tr>
<tr><td><span title='2022-08-28 23:37:28 +0200'>2022-08-28</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=0811d2cb8dff5de9f535e14726c9874ec2f4a96c'>bootloader: Convert device in menu-entry to proper sexp.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2022-08-21 02:00:00 +0200'>2022-08-21</span></td><td><a href='/guix/commit/gnu/bootloader.scm?id=91b112b8dd28007db9a6f43dd65457e6763b486f'>bootloader: Remove expired export.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>