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

Hydra.Dsl.ShorthandTypes

Documentation

eqA :: Map Name (Set TypeClass) Source #

ordA :: Map Name (Set TypeClass) Source #

aT :: Type Source #

annotatedTermT :: Type Source #

annotatedTypeT :: Type Source #

applicationT :: Type Source #

applicationTypeT :: Type Source #

bT :: Type Source #

bigfloatT :: Type Source #

bigintT :: Type Source #

binaryT :: Type Source #

booleanT :: Type Source #

cT :: Type Source #

caseStatementT :: Type Source #

elementT :: Type Source #

eliminationT :: Type Source #

eliminationVariantT :: Type Source #

fieldT :: Type Source #

fieldNameT :: Type Source #

fieldTypeT :: Type Source #

fileExtensionT :: Type Source #

float32T :: Type Source #

float64T :: Type Source #

floatTypeT :: Type Source #

floatValueT :: Type Source #

flowS1AT :: Type Source #

flowS2AT :: Type Source #

flowSAT :: Type Source #

flowSST :: Type Source #

flowStateT :: Type -> Type -> Type Source #

flowT :: Type -> Type -> Type Source #

funT :: Type -> Type -> Type Source #

functionT :: Type Source #

functionTypeT :: Type Source #

functionVariantT :: Type Source #

graphT :: Type Source #

injectionT :: Type Source #

int8T :: Type Source #

int16T :: Type Source #

int32T :: Type Source #

int64T :: Type Source #

integerTypeT :: Type Source #

integerValueT :: Type Source #

kvT :: Type Source #

lambdaT :: Type Source #

lambdaTypeT :: Type Source #

languageT :: Type Source #

letT :: Type Source #

letBindingT :: Type Source #

listT :: Type -> Type Source #

literalT :: Type Source #

literalTypeT :: Type Source #

literalVariantT :: Type Source #

mapT :: Type -> Type -> Type Source #

mapTypeT :: Type Source #

nameT :: Type Source #

namespaceT :: Type Source #

optionalT :: Type -> Type Source #

optionalCasesT :: Type Source #

pairT :: Type -> Type -> Type Source #

precisionT :: Type Source #

primitiveT :: Type Source #

projectionT :: Type Source #

qualifiedNameT :: Type Source #

recordT :: Type Source #

rowTypeT :: Type Source #

sT :: Type Source #

setT :: Type -> Type Source #

stringT :: Type Source #

sumT :: Type Source #

termT :: Type Source #

termAccessorT :: Type Source #

termVariantT :: Type Source #

traceT :: Type Source #

tupleProjectionT :: Type Source #

typeT :: Type Source #

typeAbstractionT :: Type Source #

typeSchemeT :: Type Source #

typedTermT :: Type Source #

typeVariantT :: Type Source #

uint8T :: Type Source #

uint16T :: Type Source #

uint32T :: Type Source #

uint64T :: Type Source #

unitT :: Type Source #

wrappedTermT :: Type Source #

wrappedTypeT :: Type Source #

xT :: Type Source #