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

Hydra.Langs.Shacl.Coder

Documentation

shaclCoder :: Module -> Flow Graph (ShapesGraph, Graph -> Flow Graph Graph) Source #

common :: [CommonConstraint] -> CommonProperties Source #

defaultCommonProperties :: CommonProperties Source #

elementIri :: Element -> Iri Source #

encodeField :: Name -> Resource -> Field -> Flow Graph [Triple] Source #

encodeFieldType :: Name -> Maybe Integer -> FieldType -> Flow Graph (Definition PropertyShape) Source #

encodeLiteralType :: LiteralType -> CommonProperties Source #

encodeTerm :: Resource -> Term -> Flow Graph [Description] Source #

encodeType :: Type -> Flow Graph CommonProperties Source #

node :: [CommonConstraint] -> Shape Source #

property :: Iri -> PropertyShape Source #

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