Database.HsSqlPpp.TypeCheck

Contains functions for typechecking sql asts.

typechecking/ annotation functions

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

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

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

Typecheck a query expr

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

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

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

Methods

(==) :: TypeCheckFlags -> TypeCheckFlags -> Bool

(/=) :: TypeCheckFlags -> TypeCheckFlags -> Bool

Show TypeCheckFlags

Methods

showsPrec :: Int -> TypeCheckFlags -> ShowS

show :: TypeCheckFlags -> String

showList :: [TypeCheckFlags] -> ShowS

data Dialect

Constructors

Dialect

Fields

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

Instances

Eq Dialect

Methods

(==) :: Dialect -> Dialect -> Bool

(/=) :: Dialect -> Dialect -> Bool

Data Dialect

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dialect -> c Dialect

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dialect

toConstr :: Dialect -> Constr

dataTypeOf :: Dialect -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Dialect)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Dialect)

gmapT :: (forall b. Data b => b -> b) -> Dialect -> Dialect

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dialect -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dialect -> r

gmapQ :: (forall d. Data d => d -> u) -> Dialect -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Dialect -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dialect -> m Dialect

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dialect -> m Dialect

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dialect -> m Dialect

Show Dialect

Methods

showsPrec :: Int -> Dialect -> ShowS

show :: Dialect -> String

showList :: [Dialect] -> ShowS

ansiDialect :: Dialect

defaultTypeCheckFlags :: TypeCheckFlags

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

emptyEnvironment :: Environment