Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Dsl.Core

Documentation

annotatedTerm :: TTerm Term -> TTerm (Map String Term) -> TTerm AnnotatedTerm Source #

annotatedTermSubject :: TTerm (AnnotatedTerm -> Term) Source #

annotatedTermAnnotation :: TTerm (AnnotatedTerm -> Map String Term) Source #

annotatedType :: TTerm Type -> TTerm (Map String Term) -> TTerm AnnotatedType Source #

annotatedTypeSubject :: TTerm (AnnotatedType -> Type) Source #

annotatedTypeAnnotation :: TTerm (AnnotatedType -> Map String Term) Source #

application :: TTerm Term -> TTerm Term -> TTerm Application Source #

applicationFunction :: TTerm (Application -> Term) Source #

applicationArgument :: TTerm (Application -> Term) Source #

applicationType :: TTerm Type -> TTerm Type -> TTerm ApplicationType Source #

applicationTypeFunction :: TTerm (ApplicationType -> Type) Source #

applicationTypeArgument :: TTerm (ApplicationType -> Type) Source #

caseStatement :: TTerm Name -> TTerm (Maybe Term) -> TTerm [Field] -> TTerm CaseStatement Source #

caseStatementTypeName :: TTerm (CaseStatement -> Name) Source #

caseStatementDefault :: TTerm (CaseStatement -> Maybe Term) Source #

caseStatementCases :: TTerm (CaseStatement -> [Field]) Source #

field :: TTerm Name -> TTerm Term -> TTerm Field Source #

fieldName :: TTerm (Field -> Name) Source #

fieldTerm :: TTerm (Field -> Term) Source #

fieldType :: TTerm Name -> TTerm Type -> TTerm FieldType Source #

fieldTypeName :: TTerm (FieldType -> Name) Source #

fieldTypeType :: TTerm (FieldType -> Type) Source #

functionType :: TTerm Type -> TTerm Type -> TTerm FunctionType Source #

functionTypeDomain :: TTerm (FunctionType -> Type) Source #

functionTypeCodomain :: TTerm (FunctionType -> Type) Source #

injection :: TTerm Name -> TTerm Field -> TTerm Injection Source #

injectionTypeName :: TTerm (Injection -> Name) Source #

injectionField :: TTerm (Injection -> Field) Source #

lambda :: TTerm Name -> TTerm Term -> TTerm Lambda Source #

lambdaParameter :: TTerm (Lambda -> Name) Source #

lambdaBody :: TTerm (Lambda -> Term) Source #

lambdaDomain :: TTerm (Lambda -> Maybe Type) Source #

lambdaType :: TTerm Name -> TTerm Type -> TTerm LambdaType Source #

lambdaTypeParameter :: TTerm (LambdaType -> Name) Source #

lambdaTypeBody :: TTerm (LambdaType -> Type) Source #

letExpression :: TTerm [LetBinding] -> TTerm Term -> TTerm Let Source #

letBindings :: TTerm (Let -> [LetBinding]) Source #

letBindingName :: TTerm (LetBinding -> Name) Source #

letBindingTerm :: TTerm (LetBinding -> Term) Source #

letBindingType :: TTerm (LetBinding -> Maybe TypeScheme) Source #

letEnvironment :: TTerm (Let -> Term) Source #

literalBinary :: TTerm String -> TTerm Literal Source #

literalBoolean :: TTerm Bool -> TTerm Literal Source #

literalFloat :: TTerm FloatValue -> TTerm Literal Source #

literalInteger :: TTerm IntegerValue -> TTerm Literal Source #

mapType :: TTerm Type -> TTerm Type -> TTerm MapType Source #

mapTypeKeys :: TTerm (MapType -> Type) Source #

mapTypeValues :: TTerm (MapType -> Type) Source #

name :: Name -> TTerm Name Source #

optionalCases :: TTerm Term -> TTerm Term -> TTerm OptionalCases Source #

optionalCasesNothing :: TTerm (OptionalCases -> Term) Source #

optionalCasesJust :: TTerm (OptionalCases -> Term) Source #

projectionTypeName :: TTerm (Projection -> Name) Source #

projectionField :: TTerm (Projection -> Name) Source #

record :: TTerm Name -> TTerm [Field] -> TTerm Record Source #

recordTypeName :: TTerm (Record -> Name) Source #

recordFields :: TTerm (Record -> [Field]) Source #

rowType :: TTerm Name -> TTerm [FieldType] -> TTerm RowType Source #

rowTypeTypeName :: TTerm (RowType -> Name) Source #

rowTypeFields :: TTerm (RowType -> [FieldType]) Source #

sum :: TTerm Int -> TTerm Int -> TTerm Term -> TTerm Sum Source #

sumIndex :: TTerm (Sum -> Int) Source #

sumSize :: TTerm (Sum -> Int) Source #

sumTerm :: TTerm (Sum -> Term) Source #

termAnnotated :: TTerm AnnotatedTerm -> TTerm Term Source #

tupleProjectionArity :: TTerm (TupleProjection -> Int) Source #

tupleProjectionIndex :: TTerm (TupleProjection -> Int) Source #

typeAbstractionParameter :: TTerm (TypeAbstraction -> Name) Source #

typeAbstractionBody :: TTerm (TypeAbstraction -> Type) Source #

typeSchemeVariables :: TTerm (TypeScheme -> [Name]) Source #

typeSchemeType :: TTerm (TypeScheme -> Type) Source #

typedTermTerm :: TTerm (TypedTerm -> Term) Source #

unName :: TTerm (Name -> String) Source #

unNamespace :: TTerm (Namespace -> String) Source #

wrappedTerm :: TTerm Name -> TTerm Term -> TTerm WrappedTerm Source #

wrappedTermTypeName :: TTerm (WrappedTerm -> Name) Source #

wrappedTermObject :: TTerm (WrappedTerm -> Term) Source #

wrappedType :: TTerm Name -> TTerm Type -> TTerm WrappedType Source #

wrappedTypeTypeName :: TTerm (WrappedType -> Name) Source #

wrappedTypeObject :: TTerm (WrappedType -> Type) Source #