hydra-0.5.1: Type-aware transformations for data and programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Dsl.Bootstrap

Description

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

Synopsis

bootstrapGraph :: Graph
datatype :: Namespace -> String -> Type -> Element
typeref :: Namespace -> String -> Type
qualify :: Namespace -> Name -> Name
typeElement :: Name -> Type -> Element

Documentation

bootstrapGraph :: Graph Source #

An empty graph (no elements, no primitives, but an annotation class) which is used for bootstrapping Hydra Core

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

typeref :: Namespace -> String -> Type Source #

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

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