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 #
Methods (==) :: TypeCheckFlags -> TypeCheckFlags -> Bool # (/=) :: TypeCheckFlags -> TypeCheckFlags -> Bool #
Show TypeCheckFlags Source #
Methods showsPrec :: Int -> TypeCheckFlags -> ShowS # show :: TypeCheckFlags -> String # showList :: [TypeCheckFlags] -> ShowS #

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 #
Methods (==) :: Dialect -> Dialect -> Bool # (/=) :: Dialect -> Dialect -> Bool #
Data Dialect Source #
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 Source #
Methods showsPrec :: Int -> Dialect -> ShowS # show :: Dialect -> String # showList :: [Dialect] -> ShowS #

ansiDialect :: Dialect Source #

defaultTypeCheckFlags :: TypeCheckFlags Source #

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

emptyEnvironment :: Environment Source #