Hydra.Dsl.Core

Documentation

annotatedTerm :: Datum Term -> Datum (Map String Term) -> Datum AnnotatedTerm

annotatedTermSubject :: Datum (AnnotatedTerm -> Term)

annotatedTermAnnotation :: Datum (AnnotatedTerm -> Map String Term)

annotatedType :: Datum Type -> Datum (Map String Term) -> Datum AnnotatedType

annotatedTypeSubject :: Datum (AnnotatedType -> Type)

annotatedTypeAnnotation :: Datum (AnnotatedType -> Map String Term)

application :: Datum Term -> Datum Term -> Datum Application

applicationFunction :: Datum (Application -> Term)

applicationArgument :: Datum (Application -> Term)

applicationType :: Datum Type -> Datum Type -> Datum ApplicationType

applicationTypeFunction :: Datum (ApplicationType -> Type)

applicationTypeArgument :: Datum (ApplicationType -> Type)

caseStatement :: Datum Name -> Datum (Maybe Term) -> Datum [Field] -> Datum CaseStatement

caseStatementTypeName :: Datum (CaseStatement -> Name)

caseStatementDefault :: Datum (CaseStatement -> Maybe Term)

caseStatementCases :: Datum (CaseStatement -> [Field])

field :: Datum Name -> Datum Term -> Datum Field

fieldName :: Datum (Field -> Name)

fieldTerm :: Datum (Field -> Term)

fieldType :: Datum Name -> Datum Type -> Datum FieldType

fieldTypeName :: Datum (FieldType -> Name)

fieldTypeType :: Datum (FieldType -> Type)

functionType :: Datum Type -> Datum Type -> Datum FunctionType

functionTypeDomain :: Datum (FunctionType -> Type)

functionTypeCodomain :: Datum (FunctionType -> Type)

injection :: Datum Name -> Datum Field -> Datum Injection

injectionTypeName :: Datum (Injection -> Name)

injectionField :: Datum (Injection -> Field)

lambda :: Datum Name -> Datum Term -> Datum Lambda

lambdaParameter :: Datum (Lambda -> Name)

lambdaBody :: Datum (Lambda -> Term)

lambdaType :: Datum Name -> Datum Type -> Datum LambdaType

lambdaTypeParameter :: Datum (LambdaType -> Name)

lambdaTypeBody :: Datum (LambdaType -> Type)

letExpression :: Datum [LetBinding] -> Datum Term -> Datum Let

letBindings :: Datum (Let -> [LetBinding])

letBindingName :: Datum (LetBinding -> Name)

letBindingTerm :: Datum (LetBinding -> Term)

letBindingType :: Datum (LetBinding -> Maybe TypeScheme)

letEnvironment :: Datum (Let -> Term)

literalBinary :: Datum String -> Datum Literal

literalBoolean :: Datum Bool -> Datum Literal

literalFloat :: Datum FloatValue -> Datum Literal

literalInteger :: Datum IntegerValue -> Datum Literal

mapType :: Datum Type -> Datum Type -> Datum MapType

mapTypeKeys :: Datum (MapType -> Type)

mapTypeValues :: Datum (MapType -> Type)

optionalCases :: Datum Term -> Datum Term -> Datum OptionalCases

optionalCasesNothing :: Datum (OptionalCases -> Term)

optionalCasesJust :: Datum (OptionalCases -> Term)

projectionTypeName :: Datum (Projection -> Name)

projectionField :: Datum (Projection -> Name)

record :: Datum Name -> Datum [Field] -> Datum Record

recordTypeName :: Datum (Record -> Name)

recordFields :: Datum (Record -> [Field])

rowType :: Datum Name -> Datum (Maybe Name) -> Datum [FieldType] -> Datum RowType

rowTypeTypeName :: Datum (RowType -> Name)

rowTypeExtends :: Datum (RowType -> Maybe Name)

rowTypeFields :: Datum (RowType -> [FieldType])

sum :: Datum Int -> Datum Int -> Datum Term -> Datum Sum

sumIndex :: Datum (Sum -> Int)

sumSize :: Datum (Sum -> Int)

sumTerm :: Datum (Sum -> Term)

termAnnotated :: Datum AnnotatedTerm -> Datum Term

tupleProjectionArity :: Datum (TupleProjection -> Int)

tupleProjectionIndex :: Datum (TupleProjection -> Int)

typeSchemeVariables :: Datum (TypeScheme -> [Name])

typeSchemeType :: Datum (TypeScheme -> Type)

typedTermTerm :: Datum (TypedTerm -> Term)

wrappedTerm :: Datum Name -> Datum Term -> Datum WrappedTerm

wrappedTermTypeName :: Datum (WrappedTerm -> Name)

wrappedTermObject :: Datum (WrappedTerm -> Term)

wrappedType :: Datum Name -> Datum Type -> Datum WrappedType

wrappedTypeTypeName :: Datum (WrappedType -> Name)

wrappedTypeObject :: Datum (WrappedType -> Type)