From 11d0fb47c292a0ca25a9c377499d2b221d97a5cb Mon Sep 17 00:00:00 2001
From: Volpeon <github@volpeon.ink>
Date: Fri, 26 May 2023 07:40:13 +0200
Subject: Init

---
 src/Data/JLD/Model/IRI.hs | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 src/Data/JLD/Model/IRI.hs

(limited to 'src/Data/JLD/Model/IRI.hs')

diff --git a/src/Data/JLD/Model/IRI.hs b/src/Data/JLD/Model/IRI.hs
new file mode 100644
index 0000000..7c054eb
--- /dev/null
+++ b/src/Data/JLD/Model/IRI.hs
@@ -0,0 +1,46 @@
+module Data.JLD.Model.IRI (
+    CompactIRI (..),
+    compactIriPrefix,
+    compactIriSuffix,
+    isBlankIri,
+    endsWithGenericDelim,
+    parseCompactIri,
+    renderCompactIri,
+) where
+
+import Data.JLD.Prelude
+
+import Data.Char (isAlphaNum)
+import Data.Text qualified as T (drop, findIndex, isPrefixOf, take, uncons, unsnoc)
+
+data CompactIRI = CompactIRI Text Text | BlankIRI Text
+    deriving (Show, Eq)
+
+compactIriPrefix :: CompactIRI -> Text
+compactIriPrefix (CompactIRI prefix _) = prefix
+compactIriPrefix (BlankIRI _) = "_"
+
+compactIriSuffix :: CompactIRI -> Text
+compactIriSuffix (CompactIRI _ suffix) = suffix
+compactIriSuffix (BlankIRI suffix) = suffix
+
+renderCompactIri :: CompactIRI -> Text
+renderCompactIri iri = compactIriPrefix iri <> ":" <> compactIriSuffix iri
+
+parseCompactIri :: Text -> Maybe CompactIRI
+parseCompactIri value
+    | Just idx <- (+ 1) <$> T.findIndex (== ':') (T.drop 1 value)
+    , prefix <- T.take idx value
+    , suffix <- T.drop (idx + 1) value
+    , not ("/" `T.isPrefixOf` suffix)
+    , Just (prefixFirst, _) <- T.uncons prefix
+    , prefixFirst == '_' || isAlphaNum prefixFirst =
+        Just <| if prefix == "_" then BlankIRI suffix else CompactIRI prefix suffix
+    | otherwise = Nothing
+
+isBlankIri :: Text -> Bool
+isBlankIri = T.isPrefixOf "_:"
+
+endsWithGenericDelim :: Text -> Bool
+endsWithGenericDelim (T.unsnoc -> Just (_, c)) = c `elem` (":/?#[]@" :: String)
+endsWithGenericDelim _ = False
-- 
cgit v1.2.3-54-g00ecf