diff options
author | Volpeon <github@volpeon.ink> | 2023-05-26 07:40:13 +0200 |
---|---|---|
committer | Volpeon <github@volpeon.ink> | 2023-05-26 07:40:13 +0200 |
commit | 11d0fb47c292a0ca25a9c377499d2b221d97a5cb (patch) | |
tree | e729e2a4508763b3073b7eae9a56bc9c6a9ca0f7 /src/Data/JLD/Model/IRI.hs | |
download | hs-jsonld-11d0fb47c292a0ca25a9c377499d2b221d97a5cb.tar.gz hs-jsonld-11d0fb47c292a0ca25a9c377499d2b221d97a5cb.tar.bz2 hs-jsonld-11d0fb47c292a0ca25a9c377499d2b221d97a5cb.zip |
Init
Diffstat (limited to 'src/Data/JLD/Model/IRI.hs')
-rw-r--r-- | src/Data/JLD/Model/IRI.hs | 46 |
1 files changed, 46 insertions, 0 deletions
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 @@ | |||
1 | module Data.JLD.Model.IRI ( | ||
2 | CompactIRI (..), | ||
3 | compactIriPrefix, | ||
4 | compactIriSuffix, | ||
5 | isBlankIri, | ||
6 | endsWithGenericDelim, | ||
7 | parseCompactIri, | ||
8 | renderCompactIri, | ||
9 | ) where | ||
10 | |||
11 | import Data.JLD.Prelude | ||
12 | |||
13 | import Data.Char (isAlphaNum) | ||
14 | import Data.Text qualified as T (drop, findIndex, isPrefixOf, take, uncons, unsnoc) | ||
15 | |||
16 | data CompactIRI = CompactIRI Text Text | BlankIRI Text | ||
17 | deriving (Show, Eq) | ||
18 | |||
19 | compactIriPrefix :: CompactIRI -> Text | ||
20 | compactIriPrefix (CompactIRI prefix _) = prefix | ||
21 | compactIriPrefix (BlankIRI _) = "_" | ||
22 | |||
23 | compactIriSuffix :: CompactIRI -> Text | ||
24 | compactIriSuffix (CompactIRI _ suffix) = suffix | ||
25 | compactIriSuffix (BlankIRI suffix) = suffix | ||
26 | |||
27 | renderCompactIri :: CompactIRI -> Text | ||
28 | renderCompactIri iri = compactIriPrefix iri <> ":" <> compactIriSuffix iri | ||
29 | |||
30 | parseCompactIri :: Text -> Maybe CompactIRI | ||
31 | parseCompactIri value | ||
32 | | Just idx <- (+ 1) <$> T.findIndex (== ':') (T.drop 1 value) | ||
33 | , prefix <- T.take idx value | ||
34 | , suffix <- T.drop (idx + 1) value | ||
35 | , not ("/" `T.isPrefixOf` suffix) | ||
36 | , Just (prefixFirst, _) <- T.uncons prefix | ||
37 | , prefixFirst == '_' || isAlphaNum prefixFirst = | ||
38 | Just <| if prefix == "_" then BlankIRI suffix else CompactIRI prefix suffix | ||
39 | | otherwise = Nothing | ||
40 | |||
41 | isBlankIri :: Text -> Bool | ||
42 | isBlankIri = T.isPrefixOf "_:" | ||
43 | |||
44 | endsWithGenericDelim :: Text -> Bool | ||
45 | endsWithGenericDelim (T.unsnoc -> Just (_, c)) = c `elem` (":/?#[]@" :: String) | ||
46 | endsWithGenericDelim _ = False | ||