Safe Haskell	None
Language	Haskell2010

Database.HsSqlPpp.Parse

Contents

Description

Functions to parse SQL.

Synopsis

Main

Arguments

:: ParseFlags	parse options
-> FilePath	filename to use in errors
-> Maybe (Int, Int)	set the line number and column number of the first char in the source (used in annotation)
-> Text	a string containing the sql to parse
-> Either ParseErrorExtra [Statement]

Parse a list of statements

Arguments

:: ParseFlags	parse options
-> FilePath	filename to use in errors
-> Maybe (Int, Int)	set the line number and column number
-> Text	a string containing the sql to parse
-> Either ParseErrorExtra [Statement]

Parse a list of procedural sql statements

Arguments

:: ParseFlags	parse options
-> FilePath	filename to use in errors
-> Maybe (Int, Int)	set the line number and column number
-> Text	a string containing the sql to parse
-> Either ParseErrorExtra QueryExpr

Parse a single query expr

Arguments

:: ParseFlags	parse options
-> FilePath	filename to use in errors
-> Maybe (Int, Int)	set the line number and column number
-> Text	a string containing the sql to parse
-> Either ParseErrorExtra ScalarExpr

Parse a single scalar expr

Parsing options

Settings to influence the parsing

Constructors

ParseFlags
Fields pfDialect :: Dialect

Instances

Eq ParseFlags Source #
Methods (==) :: ParseFlags -> ParseFlags -> Bool # (/=) :: ParseFlags -> ParseFlags -> Bool #
Show ParseFlags Source #
Methods showsPrec :: Int -> ParseFlags -> ShowS # show :: ParseFlags -> String # showList :: [ParseFlags] -> ShowS #

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 #

Simple wrapper to allow showing the source context of a ParseError

Constructors

ParseErrorExtra
Fields parseErrorError :: ParseError wrapped error parseErrorPosition :: Maybe (Int, Int) source position adjustment to get the context bit in error messages right - this is the same as what is passed into parseSqlWithPosition parseErrorSqlSource :: Text sql source

Instances

Show ParseErrorExtra Source #
Methods showsPrec :: Int -> ParseErrorExtra -> ShowS # show :: ParseErrorExtra -> String # showList :: [ParseErrorExtra] -> ShowS #