Safe Haskell	None
Language	Haskell2010

Database.HsSqlPpp.TypeCheck

Contents

typechecking/ annotation functions

Description

Contains functions for typechecking sql asts.

Synopsis

typechecking/ annotation functions

typeCheckStatements :: TypeCheckFlags -> Catalog -> [Statement] -> (Catalog, [Statement]) Source

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

typeCheckQueryExpr :: TypeCheckFlags -> Catalog -> QueryExpr -> QueryExpr Source

Typecheck a query expr

typeCheckScalarExpr :: TypeCheckFlags -> Catalog -> Environment -> ScalarExpr -> ScalarExpr Source

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

data TypeCheckFlags Source

some options when typechecking

Constructors

TypeCheckFlags
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 :: Dialect

Instances

Eq TypeCheckFlags Source
Show TypeCheckFlags Source

data Dialect Source

Constructors

Dialect
Fields diName :: String diSyntaxFlavour :: SyntaxFlavour diCanonicalTypeNames :: [(Text, [Text])] diTextTypes :: [Text] diDatetimeTypes :: [Text] diNumberTypes :: [Text] namesForAnsiTypes :: [(Text, Text)] diDefaultCatalog :: Catalog

Instances

Eq Dialect Source
Data Dialect Source
Show Dialect Source

ansiDialect :: Dialect Source

defaultTypeCheckFlags :: TypeCheckFlags Source

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

emptyEnvironment :: Environment Source