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

Hydra.Impl.Haskell.Dsl.Bootstrap

Documentation

datatype :: Namespace -> String -> Type m -> Element m Source #

bootstrapContext :: Context Meta Source #

nsref :: Namespace -> String -> Type m Source #

qualify :: Namespace -> Name -> Name Source #

termElement :: Name -> Type m -> Term m -> Element m Source #

typeElement :: Name -> Type m -> Element m Source #