Document iris

This patch adds documentation for the `iris` value generated from an RDFS or OWL vocabulary.
robstewart57 · Mar 20, 2024 · 61bb2f6 · 61bb2f6
1 parent f5d15d8
commit 61bb2f6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Data/RDF/Vocabulary/Generator/VocabularyGenerator.hs b/src/Data/RDF/Vocabulary/Generator/VocabularyGenerator.hs
@@ -96,7 +96,9 @@ declareIRI name iri =
 declareIRIs :: [Name] -> Q Dec
 declareIRIs names =
   let iriList = ListE (VarE <$> names)
-   in funD (mkName "iris") [return $ Clause [] (NormalB iriList) []]
+   in funD_doc (mkName "iris") [return $ Clause [] (NormalB iriList) []]
+               (Just $ "All IRIs in this vocabulary.")
+               [Nothing]
 
 -- namespace = mkPrefixedNS "ogit" "http://www.purl.org/ogit/"
 declarePrefix :: Name -> Text -> Text -> Q Dec