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

Hydra.Dsl.Annotations

Description

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

Documentation

key_deprecated :: Name Source #

key_maxLength :: Name Source #

key_minLength :: Name Source #

key_preserveFieldName :: Name Source #

annotateTerm :: Name -> Maybe Term -> Term -> Term Source #

annotateType :: Name -> Maybe Term -> Type -> Type Source #

bounded :: Maybe Int -> Maybe Int -> Type -> Type Source #

boundedList :: Maybe Int -> Maybe Int -> Type -> Type Source #

boundedSet :: Maybe Int -> Maybe Int -> Type -> Type Source #

boundedString :: Maybe Int -> Maybe Int -> Type Source #

deprecated :: Type -> Type Source #

doc :: String -> Type -> Type Source #

doc70 :: String -> Type -> Type Source #

doc80 :: String -> Type -> Type Source #

dataDoc :: String -> Term -> Term Source #

minLengthList :: Int -> Type -> Type Source #

nonemptyList :: Type -> Type Source #

note :: String -> Type -> Type Source #

preserveFieldName :: Type -> Type Source #

see :: String -> Type -> Type Source #

setMaxLength :: Int -> Type -> Type Source #

setMinLength :: Int -> Type -> Type Source #

twoOrMoreList :: Type -> Type Source #