starlitcanopy/simple-sql-parser
1
Fork 0
Code Activity

add parsing for more multi keyword type names

Browse source
This commit is contained in:
Jake Wheat 2013-12-19 10:35:38 +02:00
parent 1be27eca58
commit 72d7b9428f
1 changed files with 28 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
Language/SQL/SimpleSQL/Parser.lhs
View file

@ -411,13 +411,35 @@ typename: used in casts. Special cases for the multi keyword typenames
that SQL supports. that SQL supports.
> typeName :: P TypeName > typeName :: P TypeName
> typeName = choice > typeName = choice (multiWordParsers
> [TypeName "double precision" > ++ [TypeName <$> identifierString])
> <$ try (keyword_ "double" <* keyword_ "precision") > >>= optionSuffix precision
> ,TypeName "character varying"
> <$ try (keyword_ "character" <* keyword_ "varying")
> ,TypeName <$> identifierString] >>= optionSuffix precision
> where > where
> multiWordParsers =
> flip map multiWordTypeNames
> $ \ks -> (TypeName . unwords) <$> try (mapM keyword ks)
> multiWordTypeNames = map words
> ["double precision"
> ,"character varying"
> ,"char varying"
> ,"character large object"
> ,"char large object"
> ,"national character"
> ,"national char"
> ,"national character varying"
> ,"national char varying"
> ,"national character large object"
> ,"nchar large object"
> ,"nchar varying"
> ,"bit varying"
> ]
todo: timestamp types:
| TIME [ <left paren> <time precision> <right paren> ] [ WITH TIME ZONE ]
| TIMESTAMP [ <left paren> <timestamp precision> <right paren> ] [ WITH TIME ZONE ]
> precision t = try (parens (commaSep integerLiteral)) >>= makeWrap t > precision t = try (parens (commaSep integerLiteral)) >>= makeWrap t
> makeWrap (TypeName t) [a] = return $ PrecTypeName t a > makeWrap (TypeName t) [a] = return $ PrecTypeName t a
> makeWrap (TypeName t) [a,b] = return $ PrecScaleTypeName t a b > makeWrap (TypeName t) [a,b] = return $ PrecScaleTypeName t a b