napkin-0.5.11
Copyright(c) Soostone Inc 2020
LicenseAllRightsReserved
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Napkin.Parse.Base

Description

 
Synopsis

Documentation

data ParseExc #

Constructors

UnimplementedError 
FeatureNotSupportedError String 
SyntaxError String 

Instances

Instances details
Eq ParseExc # 
Instance details

Defined in Napkin.Parse.Base

Methods

(==) :: ParseExc -> ParseExc -> Bool #

(/=) :: ParseExc -> ParseExc -> Bool #

Show ParseExc # 
Instance details

Defined in Napkin.Parse.Base

Methods

showsPrec :: Int -> ParseExc -> ShowS #

show :: ParseExc -> String #

showList :: [ParseExc] -> ShowS #

Generic ParseExc # 
Instance details

Defined in Napkin.Parse.Base

Associated Types

type Rep ParseExc :: Type -> Type #

Methods

from :: ParseExc -> Rep ParseExc x #

to :: Rep ParseExc x -> ParseExc #

NFData ParseExc # 
Instance details

Defined in Napkin.Parse.Base

Methods

rnf :: ParseExc -> () #

Exception ParseExc # 
Instance details

Defined in Napkin.Parse.Base

Methods

toException :: ParseExc -> SomeException #

fromException :: SomeException -> Maybe ParseExc #

displayException :: ParseExc -> String #

type Rep ParseExc # 
Instance details

Defined in Napkin.Parse.Base

type Rep ParseExc = D1 ('MetaData "ParseExc" "Napkin.Parse.Base" "napkin-0.5.11-AmFJpcsQ4Ny8ZeMMGxUvw7" 'False) (C1 ('MetaCons "UnimplementedError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FeatureNotSupportedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "SyntaxError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

class ParseSQL backend where #

Methods

parseSQLStatement :: ParseSQLFun backend Query #

parseSQLSExp :: ParseSQLFun backend SExp #

parseSQLSelExps :: ParseSQLFun backend [Alias SExp] #

parseSQLFrom :: ParseSQLFun backend From #

parseSQLRelation :: ParseSQLFun backend (Alias Relation) #

Instances

Instances details
ParseSQL Sqlite # 
Instance details

Defined in Napkin.Parse.Sqlite

Methods

parseSQLStatement :: ParseSQLFun Sqlite Query #

parseSQLSExp :: ParseSQLFun Sqlite SExp #

parseSQLSelExps :: ParseSQLFun Sqlite [Alias SExp] #

parseSQLFrom :: ParseSQLFun Sqlite From #

parseSQLRelation :: ParseSQLFun Sqlite (Alias Relation) #

ParseSQL Redshift # 
Instance details

Defined in Napkin.Parse.Redshift

Methods

parseSQLStatement :: ParseSQLFun Redshift Query #

parseSQLSExp :: ParseSQLFun Redshift SExp #

parseSQLSelExps :: ParseSQLFun Redshift [Alias SExp] #

parseSQLFrom :: ParseSQLFun Redshift From #

parseSQLRelation :: ParseSQLFun Redshift (Alias Relation) #

ParseSQL Postgres # 
Instance details

Defined in Napkin.Parse.Postgres

Methods

parseSQLStatement :: ParseSQLFun Postgres Query #

parseSQLSExp :: ParseSQLFun Postgres SExp #

parseSQLSelExps :: ParseSQLFun Postgres [Alias SExp] #

parseSQLFrom :: ParseSQLFun Postgres From #

parseSQLRelation :: ParseSQLFun Postgres (Alias Relation) #

ParseSQL BigQuery # 
Instance details

Defined in Napkin.Parse.BigQuery

Methods

parseSQLStatement :: ParseSQLFun BigQuery Query #

parseSQLSExp :: ParseSQLFun BigQuery SExp #

parseSQLSelExps :: ParseSQLFun BigQuery [Alias SExp] #

parseSQLFrom :: ParseSQLFun BigQuery From #

parseSQLRelation :: ParseSQLFun BigQuery (Alias Relation) #

type ParseSQLFun backend a = backend -> String -> FilePath -> Either ParseErrors a #

notSupported :: HasCallStack => String -> a #

badSyntax :: HasCallStack => String -> a #

parsedAsQuery :: FilePath -> Statement -> Either ParseErrors Query #

Convert a SimpleSQL QueryExpr into a Napkin Query.

convertSetQuantifier :: SetQuantifier -> Q () #

convertQueryExpr :: QueryExpr -> Q () #

convertSetQuantifierForSetOperatorName :: SetOperatorName -> SetQuantifier -> UnionType #

convertCorresponding :: Corresponding -> Q () #

convertSelect :: [(ScalarExpr, Maybe Name)] -> Q [Ref SExp] #

convertFrom :: TableRef -> Q (Ref Relation) #

convertWhere :: Maybe ScalarExpr -> Q () #

convertGroupBy :: [GroupingExpr] -> Q () #

convertHaving :: Maybe ScalarExpr -> Q () #

convertGroupingExpr :: GroupingExpr -> SExp #

tableAsRelation :: TableRef -> Alias Relation #

nameAsString :: Name -> String #

idenNamesAsSExp :: [Name] -> Either ParseErrors SExp #

scalarExprAsSExp :: ScalarExpr -> Either ParseErrors SExp #

Convert an SQL ScalarExpr to napkin's SExp

convertSortSpec :: SortSpec -> Either ParseErrors OrderPart #

convertOrderBy :: [SortSpec] -> Q () #

convertOffset :: Maybe ScalarExpr -> Q () #

convertFetchFirst :: Maybe ScalarExpr -> Q () #

convertDirection :: Direction -> OrderDir #

convertNullsOrder :: NullsOrder -> Maybe NullOrder #

convertFrame :: Frame -> WindowFrame #

convertFramePos :: FramePos -> FrameLength #

namesToRef :: [Name] -> Ref a #

nameToRef :: Name -> Ref a #

parseFail :: FilePath -> String -> ParseErrors #

numericScalarExpr :: ScalarExpr -> Maybe Int #

convertType :: TypeName -> Type #

convertInPredValue :: InPredValue -> Either ParseErrors [SExp] #

convertIntervalTypeField :: IntervalTypeField -> DatePart #

prettyNames :: [Name] -> String #

convertNullsRespect :: Maybe NullsRespect -> Maybe NullStrategy #

convertNullsRespectFunMod :: Maybe NullsRespect -> [FunModifier] #

type ParseErrors = ParseErrorBundle SQLTokenStream Void #