From 0c677070edf9978cb85a0b521f7e6e0ef6d6b491 Mon Sep 17 00:00:00 2001
From: Chris Wells <chris@mathematicaster.org>
Date: Mon, 10 Feb 2025 12:48:38 -0600
Subject: A lot of work on aliases and the like

---
 src/Data/License.hs | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 src/Data/License.hs

(limited to 'src/Data/License.hs')

diff --git a/src/Data/License.hs b/src/Data/License.hs
new file mode 100644
index 0000000..2039806
--- /dev/null
+++ b/src/Data/License.hs
@@ -0,0 +1,40 @@
+module Data.License
+    ( License (..)
+    , License_
+    , licenseHtml
+    ) where
+
+import Prolog
+import Network.URI
+import Data.Aeson
+import Data.Alias
+import Data.Set qualified as S
+import Text.Blaze
+import Text.Blaze.Html
+
+import Data.Linked
+
+data License a = License
+    { name :: !a
+    , shortName :: !(Maybe a)
+    , link :: !(Maybe URI)
+    } deriving (Eq, Foldable, Functor, Generic, Ord, Show, Traversable)
+
+instance Binary a => Binary (License a)
+
+type License_ = License StrictText
+
+licenseHtml :: ToMarkup a => License a -> Html
+licenseHtml (License n sn l) = linkedHtml $ Linked (maybe n id sn) l (n <$ sn)
+
+instance Ord a => ToAliases (License a) a where
+    toAliases (License n sn _) = S.fromList $ n : toList sn
+
+instance FromAlias a (License a) where
+    fromAlias n = pure $ License n Nothing Nothing
+
+instance FromJSON a => FromJSON (License a) where
+    parseJSON = withObject "License" $ \v -> License
+        <$> v .: "name"
+        <*> v .:? "short" .!= Nothing
+        <*> v .:? "link" .!= Nothing
-- 
cgit v1.2.3