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

Hydra.Impl.Haskell.Sources.Ext.Owl.Syntax

Documentation

key_iri :: String Source #

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

nonNegativeInteger :: Type m Source #

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

owlSyntaxModule :: Module Meta Source #