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

Hydra.Sources.Tier4.Langs.Owl.Syntax

Documentation

key_iri :: String Source #

withIri :: String -> Type -> Type Source #

nonNegativeInteger :: Type Source #

owlIri :: [Char] -> Type -> Type Source #

owlSyntaxModule :: Module Source #