hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Ext.Shacl.Coder

Documentation

shaclCoder :: (Eq m, Show m) => Module m -> GraphFlow m (ShapesGraph, Graph m -> GraphFlow m Graph) Source #

common :: [CommonConstraint] -> CommonProperties Source #

defaultCommonProperties :: CommonProperties Source #

descriptionsToGraph :: [Description] -> Graph Source #

elementIri :: Element m -> Iri Source #

emptyDescription :: Node -> Description Source #

emptyGraph :: Graph Source #

emptyLangStrings :: LangStrings Source #

encodeField :: Show m => Name -> Resource -> Field m -> GraphFlow m [Triple] Source #

encodeFieldType :: Show m => Name -> Maybe Integer -> FieldType m -> GraphFlow m (Definition PropertyShape) Source #

encodeLiteral :: Literal -> GraphFlow m Node Source #

encodeLiteralType :: LiteralType -> CommonProperties Source #

encodeTerm :: Show m => Resource -> Term m -> GraphFlow m [Description] Source #

encodeType :: Show m => Type m -> GraphFlow m CommonProperties Source #

forObjects :: Resource -> Iri -> [Node] -> [Triple] Source #

iri :: String -> String -> Iri Source #

keyIri :: String -> Iri Source #

mergeGraphs :: [Graph] -> Graph Source #

nameToIri :: Name -> Iri Source #

nextBlankNode :: Show m => GraphFlow m Resource Source #

node :: [CommonConstraint] -> Shape Source #

property :: Iri -> PropertyShape Source #

propertyIri :: Name -> FieldName -> Iri Source #

rdfIri :: String -> Iri Source #

resourceToNode :: Resource -> Node Source #

subjectsOf :: [Description] -> [Node] Source #

triplesOf :: [Description] -> [Triple] Source #

withType :: Name -> Description -> Description Source #

xmlSchemaDatatypeIri :: String -> Iri Source #