Safe Haskell	None
Language	Haskell2010

Database.HsSqlPpp.TypeChecker

Contents

typechecking/ annotation functions

Description

Contains functions for typechecking sql asts.

Synopsis

typechecking/ annotation functions

typeCheckStatements :: TypeCheckingFlags -> Catalog -> [Statement] -> (Catalog, [Statement])

Typechecks the ast, and returns the updated catalog (which includes changes from any ddl statements in the ast).

typeCheckParameterizedStatement :: TypeCheckingFlags -> Catalog -> Statement -> Either String Statement

Not working yet. Typechecks a statement possibly containing ? placeholders. These are annotated with the 'inferred type', and the stType annotation on the return value can be used to get this info easily. Returns Left if the statement is not a query,insert,update or delete statement

typeCheckQueryExpr :: TypeCheckingFlags -> Catalog -> QueryExpr -> QueryExpr

Typecheck a query expr

typeCheckScalarExpr :: TypeCheckingFlags -> Catalog -> ScalarExpr -> ScalarExpr

type check a scalar expr

typeCheckScalarExprEnv :: TypeCheckingFlags -> Catalog -> Environment -> ScalarExpr -> ScalarExpr

data TypeCheckingFlags

some options when typechecking

Constructors

TypeCheckingFlags
Fields tcfAddQualifiers :: Bool add qualifiers to unqualified ids where possible tcfAddFullTablerefAliases :: Bool add full aliases to every tableref and subselect tcfAddSelectItemAliases :: Bool add explicit aliases to all select items tcfExpandStars :: Bool expand stars in select lists to explicit list columns tcfDialect :: SQLSyntaxDialect

Instances

Eq TypeCheckingFlags
Show TypeCheckingFlags

data SQLSyntaxDialect

The dialect of SQL to use.

Constructors

PostgreSQLDialect
SQLServerDialect
OracleDialect

Instances

Eq SQLSyntaxDialect
Show SQLSyntaxDialect

defaultTypeCheckingFlags :: TypeCheckingFlags

reasonable defaults for type checking, doesn't add anything optional