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

Hydra.Impl.Haskell.Dsl.Bootstrap

Description

A bootstrapping DSL, used for Hydra's inner core models

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 #