From a6e6e84cb7078e6a7fad67ca5f3c0d11926d6c70 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 11 Jul 2023 05:46:21 +0200
Subject: [PATCH] Commit some unused code.

---
 drop/UnusedCode.purs | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 drop/UnusedCode.purs

diff --git a/drop/UnusedCode.purs b/drop/UnusedCode.purs
new file mode 100644
index 0000000..ff07709
--- /dev/null
+++ b/drop/UnusedCode.purs
@@ -0,0 +1,23 @@
+
+-- TODO: wrong type
+--home_icon :: forall r w i. Array (HP.IProp r i) -> HH.HTML w i
+--home_icon = HH.span
+--              [HP.classes [HH.ClassName "icon is-small"]]
+--              [HH.i ([HP.classes [HH.ClassName "fas fa-home"]] <> aria) []]
+--  where aria = [Aria.hidden "true"]
+
+nav_bar :: forall w i. String -> HH.HTML w i
+nav_bar domain
+  = HH.nav
+      [ HP.classes $ C.breadcrumb <> C.is_centered <> C.has_succeeds_separator
+      , Aria.label "breadcrumbs"
+      ] [ HH.ul_
+            [ HH.li_ [ HH.a [HP.href "/"] [ HH.text "Home"] ]
+            , HH.li []
+                [ HH.a
+                    [HP.href "/", aria_current "page"]
+                    [HH.text ("Domain: " <> domain)]
+                ]
+            ]
+        ]
+