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

Hydra.Impl.Haskell.Dsl.Standard

Description

A DSL which is used as a basis for some of the other DSLs

Documentation

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