Hydra.Impl.Haskell.Dsl.Standard
key_maxSize :: String Source #
key_minSize :: String Source #
annotateTerm :: String -> Maybe (Term Meta) -> Term Meta -> Term Meta Source #
annotateType :: String -> Maybe (Term Meta) -> Type Meta -> Type Meta Source #
bounded :: Maybe Int -> Maybe Int -> Type Meta -> Type Meta Source #
boundedList :: Maybe Int -> Maybe Int -> Type Meta -> Type Meta Source #
boundedSet :: Maybe Int -> Maybe Int -> Type Meta -> Type Meta Source #
boundedString :: Maybe Int -> Maybe Int -> Type Meta Source #
coreContext :: Context Meta Source #
doc :: String -> Type Meta -> Type Meta Source #
dataDoc :: String -> Term Meta -> Term Meta Source #
dataterm :: Namespace -> String -> Type Meta -> Term Meta -> Element Meta Source #
graphContext :: Graph Meta -> Context Meta Source #
nonemptyList :: Type Meta -> Type Meta Source #
note :: String -> Type Meta -> Type Meta Source #
see :: String -> Type Meta -> Type Meta Source #
setMaxLength :: Int -> Type Meta -> Type Meta Source #
setMinLength :: Int -> Type Meta -> Type Meta Source #
standardGraph :: [Element Meta] -> Graph Meta Source #
twoOrMoreList :: Type Meta -> Type Meta Source #
module Hydra.Impl.Haskell.Dsl.Bootstrap