Safe Haskell	None
Language	Haskell2010

Database.Beam.Backend.SQL.AST

Description

This module implements an AST type for SQL92. It allows us to realize the call structure of the builders defined in SQL92

Documentation

data Command Source #

Constructors

SelectCommand Select
InsertCommand Insert
UpdateCommand Update
DeleteCommand Delete

Instances

Eq Command Source #
Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
Show Command Source #
Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #
IsSql92Syntax Command Source #
Associated Types type Sql92SelectSyntax Command :: * Source # type Sql92InsertSyntax Command :: * Source # type Sql92UpdateSyntax Command :: * Source # type Sql92DeleteSyntax Command :: * Source # Methods selectCmd :: Sql92SelectSyntax Command -> Command Source # insertCmd :: Sql92InsertSyntax Command -> Command Source # updateCmd :: Sql92UpdateSyntax Command -> Command Source # deleteCmd :: Sql92DeleteSyntax Command -> Command Source #
type Sql92SelectSyntax Command Source #
type Sql92SelectSyntax Command = Select
type Sql92InsertSyntax Command Source #
type Sql92InsertSyntax Command = Insert
type Sql92UpdateSyntax Command Source #
type Sql92UpdateSyntax Command = Update
type Sql92DeleteSyntax Command Source #
type Sql92DeleteSyntax Command = Delete

data Select Source #

Constructors

Select
Fields selectTable :: SelectTable selectOrdering :: [Ordering] selectLimit, selectOffset :: Maybe Integer

Instances

Eq Select Source #
Methods (==) :: Select -> Select -> Bool # (/=) :: Select -> Select -> Bool #
Show Select Source #
Methods showsPrec :: Int -> Select -> ShowS # show :: Select -> String # showList :: [Select] -> ShowS #
IsSql92SelectSyntax Select Source #
Associated Types type Sql92SelectSelectTableSyntax Select :: * Source # type Sql92SelectOrderingSyntax Select :: * Source # Methods selectStmt :: Sql92SelectSelectTableSyntax Select -> [Sql92SelectOrderingSyntax Select] -> Maybe Integer -> Maybe Integer -> Select Source #
HasQBuilder Select Source #
Methods buildSqlQuery :: Projectible (Sql92SelectExpressionSyntax Select) a => TablePrefix -> Q Select db s a -> Select Source #
type Sql92SelectSelectTableSyntax Select Source #
type Sql92SelectSelectTableSyntax Select = SelectTable
type Sql92SelectOrderingSyntax Select Source #
type Sql92SelectOrderingSyntax Select = Ordering

data SelectTable Source #

Constructors

SelectTable
Fields selectQuantifier :: Maybe SetQuantifier selectProjection :: Projection selectFrom :: Maybe From selectWhere :: Maybe Expression selectGrouping :: Maybe Grouping selectHaving :: Maybe Expression
UnionTables Bool SelectTable SelectTable
IntersectTables Bool SelectTable SelectTable
ExceptTable Bool SelectTable SelectTable

Instances

Eq SelectTable Source #
Methods (==) :: SelectTable -> SelectTable -> Bool # (/=) :: SelectTable -> SelectTable -> Bool #
Show SelectTable Source #
Methods showsPrec :: Int -> SelectTable -> ShowS # show :: SelectTable -> String # showList :: [SelectTable] -> ShowS #
IsSql92SelectTableSyntax SelectTable Source #
Associated Types type Sql92SelectTableSelectSyntax SelectTable :: * Source # type Sql92SelectTableExpressionSyntax SelectTable :: * Source # type Sql92SelectTableProjectionSyntax SelectTable :: * Source # type Sql92SelectTableFromSyntax SelectTable :: * Source # type Sql92SelectTableGroupingSyntax SelectTable :: * Source # type Sql92SelectTableSetQuantifierSyntax SelectTable :: * Source # Methods selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax SelectTable) -> Sql92SelectTableProjectionSyntax SelectTable -> Maybe (Sql92SelectTableFromSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> Maybe (Sql92SelectTableGroupingSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> SelectTable Source # unionTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # intersectTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # exceptTable :: Bool -> SelectTable -> SelectTable -> SelectTable Source #
type Sql92SelectTableSelectSyntax SelectTable Source #
type Sql92SelectTableSelectSyntax SelectTable = Select
type Sql92SelectTableExpressionSyntax SelectTable Source #
type Sql92SelectTableExpressionSyntax SelectTable = Expression
type Sql92SelectTableProjectionSyntax SelectTable Source #
type Sql92SelectTableProjectionSyntax SelectTable = Projection
type Sql92SelectTableFromSyntax SelectTable Source #
type Sql92SelectTableFromSyntax SelectTable = From
type Sql92SelectTableGroupingSyntax SelectTable Source #
type Sql92SelectTableGroupingSyntax SelectTable = Grouping
type Sql92SelectTableSetQuantifierSyntax SelectTable Source #
type Sql92SelectTableSetQuantifierSyntax SelectTable = SetQuantifier

data Insert Source #

Constructors

Insert
Fields insertTable :: Text insertFields :: [Text] insertValues :: InsertValues

Instances

Eq Insert Source #
Methods (==) :: Insert -> Insert -> Bool # (/=) :: Insert -> Insert -> Bool #
Show Insert Source #
Methods showsPrec :: Int -> Insert -> ShowS # show :: Insert -> String # showList :: [Insert] -> ShowS #
IsSql92InsertSyntax Insert Source #
Associated Types type Sql92InsertValuesSyntax Insert :: * Source # Methods insertStmt :: Text -> [Text] -> Sql92InsertValuesSyntax Insert -> Insert Source #
type Sql92InsertValuesSyntax Insert Source #
type Sql92InsertValuesSyntax Insert = InsertValues

data InsertValues Source #

Constructors

InsertValues
Fields insertValuesExpressions :: [[Expression]]
InsertSelect
Fields insertSelectStmt :: Select

Instances

Eq InsertValues Source #
Methods (==) :: InsertValues -> InsertValues -> Bool # (/=) :: InsertValues -> InsertValues -> Bool #
Show InsertValues Source #
Methods showsPrec :: Int -> InsertValues -> ShowS # show :: InsertValues -> String # showList :: [InsertValues] -> ShowS #
IsSql92InsertValuesSyntax InsertValues Source #
Associated Types type Sql92InsertValuesExpressionSyntax InsertValues :: * Source # type Sql92InsertValuesSelectSyntax InsertValues :: * Source # Methods insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax InsertValues]] -> InsertValues Source # insertFromSql :: Sql92InsertValuesSelectSyntax InsertValues -> InsertValues Source #
type Sql92InsertValuesExpressionSyntax InsertValues Source #
type Sql92InsertValuesExpressionSyntax InsertValues = Expression
type Sql92InsertValuesSelectSyntax InsertValues Source #
type Sql92InsertValuesSelectSyntax InsertValues = Select

data Update Source #

Constructors

Update
Fields updateTable :: Text updateFields :: [(FieldName, Expression)] updateWhere :: Maybe Expression

Instances

Eq Update Source #
Methods (==) :: Update -> Update -> Bool # (/=) :: Update -> Update -> Bool #
Show Update Source #
Methods showsPrec :: Int -> Update -> ShowS # show :: Update -> String # showList :: [Update] -> ShowS #
IsSql92UpdateSyntax Update Source #
Associated Types type Sql92UpdateFieldNameSyntax Update :: * Source # type Sql92UpdateExpressionSyntax Update :: * Source # Methods updateStmt :: Text -> [(Sql92UpdateFieldNameSyntax Update, Sql92UpdateExpressionSyntax Update)] -> Maybe (Sql92UpdateExpressionSyntax Update) -> Update Source #
type Sql92UpdateFieldNameSyntax Update Source #
type Sql92UpdateFieldNameSyntax Update = FieldName
type Sql92UpdateExpressionSyntax Update Source #
type Sql92UpdateExpressionSyntax Update = Expression

data Delete Source #

Constructors

Delete
Fields deleteTable :: Text deleteWhere :: Maybe Expression

Instances

Eq Delete Source #
Methods (==) :: Delete -> Delete -> Bool # (/=) :: Delete -> Delete -> Bool #
Show Delete Source #
Methods showsPrec :: Int -> Delete -> ShowS # show :: Delete -> String # showList :: [Delete] -> ShowS #
IsSql92DeleteSyntax Delete Source #
Associated Types type Sql92DeleteExpressionSyntax Delete :: * Source # Methods deleteStmt :: Text -> Maybe (Sql92DeleteExpressionSyntax Delete) -> Delete Source #
type Sql92DeleteExpressionSyntax Delete Source #
type Sql92DeleteExpressionSyntax Delete = Expression

data FieldName Source #

Constructors

QualifiedField Text Text
UnqualifiedField Text

Instances

Eq FieldName Source #
Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Show FieldName Source #
Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #
IsSql92FieldNameSyntax FieldName Source #
Methods qualifiedField :: Text -> Text -> FieldName Source # unqualifiedField :: Text -> FieldName Source #

data ComparatorQuantifier Source #

Constructors

ComparatorQuantifierAny
ComparatorQuantifierAll

Instances

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

data ExtractField Source #

Constructors

ExtractFieldTimeZoneHour
ExtractFieldTimeZoneMinute
ExtractFieldDateTimeYear
ExtractFieldDateTimeMonth
ExtractFieldDateTimeDay
ExtractFieldDateTimeHour
ExtractFieldDateTimeMinute
ExtractFieldDateTimeSecond

Instances

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

data CastTarget Source #

Constructors

CastTargetDataType DataType
CastTargetDomainName Text

Instances

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

data DataType Source #

Instances

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

data SetQuantifier Source #

Constructors

SetQuantifierAll
SetQuantifierDistinct

Instances

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

data Expression Source #

Constructors

ExpressionValue Value
ExpressionDefault
ExpressionRow [Expression]
ExpressionIn Expression [Expression]
ExpressionIsNull Expression
ExpressionIsNotNull Expression
ExpressionIsTrue Expression
ExpressionIsNotTrue Expression
ExpressionIsFalse Expression
ExpressionIsNotFalse Expression
ExpressionIsUnknown Expression
ExpressionIsNotUnknown Expression
ExpressionCase [(Expression, Expression)] Expression
ExpressionCoalesce [Expression]
ExpressionNullIf Expression Expression
ExpressionFieldName FieldName
ExpressionBetween Expression Expression Expression
ExpressionBinOp Text Expression Expression
ExpressionCompOp Text (Maybe ComparatorQuantifier) Expression Expression
ExpressionUnOp Text Expression
ExpressionPosition Expression Expression
ExpressionCast Expression CastTarget
ExpressionExtract ExtractField Expression
ExpressionCharLength Expression
ExpressionOctetLength Expression
ExpressionBitLength Expression
ExpressionAbs Expression
ExpressionFunctionCall Expression [Expression]
ExpressionInstanceField Expression Text
ExpressionRefField Expression Text
ExpressionCountAll
ExpressionAgg Text (Maybe SetQuantifier) [Expression]
ExpressionSubquery Select
ExpressionUnique Select
ExpressionDistinct Select
ExpressionExists Select
ExpressionCurrentTimestamp

Instances

Eq Expression Source #
Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Show Expression Source #
Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
IsSql92AggregationExpressionSyntax Expression Source #
Associated Types type Sql92AggregationSetQuantifierSyntax Expression :: * Source # Methods countAllE :: Expression Source # countE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # avgE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # maxE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # minE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # sumE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source #
IsSql92ExpressionSyntax Expression Source #
Associated Types type Sql92ExpressionQuantifierSyntax Expression :: * Source # type Sql92ExpressionValueSyntax Expression :: * Source # type Sql92ExpressionSelectSyntax Expression :: * Source # type Sql92ExpressionFieldNameSyntax Expression :: * Source # type Sql92ExpressionCastTargetSyntax Expression :: * Source # type Sql92ExpressionExtractFieldSyntax Expression :: * Source # Methods valueE :: Sql92ExpressionValueSyntax Expression -> Expression Source # rowE :: [Expression] -> Expression Source # coalesceE :: [Expression] -> Expression Source # caseE :: [(Expression, Expression)] -> Expression -> Expression Source # fieldE :: Sql92ExpressionFieldNameSyntax Expression -> Expression Source # betweenE :: Expression -> Expression -> Expression -> Expression Source # andE :: Expression -> Expression -> Expression Source # orE :: Expression -> Expression -> Expression Source # addE :: Expression -> Expression -> Expression Source # subE :: Expression -> Expression -> Expression Source # mulE :: Expression -> Expression -> Expression Source # divE :: Expression -> Expression -> Expression Source # likeE :: Expression -> Expression -> Expression Source # modE :: Expression -> Expression -> Expression Source # overlapsE :: Expression -> Expression -> Expression Source # nullIfE :: Expression -> Expression -> Expression Source # positionE :: Expression -> Expression -> Expression Source # eqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # neqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # ltE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # gtE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # leE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # geE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # castE :: Expression -> Sql92ExpressionCastTargetSyntax Expression -> Expression Source # notE :: Expression -> Expression Source # negateE :: Expression -> Expression Source # isNullE :: Expression -> Expression Source # isNotNullE :: Expression -> Expression Source # isTrueE :: Expression -> Expression Source # isNotTrueE :: Expression -> Expression Source # isFalseE :: Expression -> Expression Source # isNotFalseE :: Expression -> Expression Source # isUnknownE :: Expression -> Expression Source # isNotUnknownE :: Expression -> Expression Source # charLengthE :: Expression -> Expression Source # octetLengthE :: Expression -> Expression Source # bitLengthE :: Expression -> Expression Source # absE :: Expression -> Expression Source # extractE :: Sql92ExpressionExtractFieldSyntax Expression -> Expression -> Expression Source # existsE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # uniqueE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # subqueryE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # currentTimestampE :: Expression Source # defaultE :: Expression Source # inE :: Expression -> [Expression] -> Expression Source #
IsSql99ExpressionSyntax Expression Source #
Methods distinctE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # similarToE :: Expression -> Expression -> Expression Source # functionCallE :: Expression -> [Expression] -> Expression Source # instanceFieldE :: Expression -> Text -> Expression Source # refFieldE :: Expression -> Text -> Expression Source #
IsSqlExpressionSyntaxStringType * * Expression Text Source #

type Sql92AggregationSetQuantifierSyntax Expression Source #
type Sql92AggregationSetQuantifierSyntax Expression = SetQuantifier
type Sql92ExpressionQuantifierSyntax Expression Source #
type Sql92ExpressionQuantifierSyntax Expression = ComparatorQuantifier
type Sql92ExpressionValueSyntax Expression Source #
type Sql92ExpressionValueSyntax Expression = Value
type Sql92ExpressionSelectSyntax Expression Source #
type Sql92ExpressionSelectSyntax Expression = Select
type Sql92ExpressionFieldNameSyntax Expression Source #
type Sql92ExpressionFieldNameSyntax Expression = FieldName
type Sql92ExpressionCastTargetSyntax Expression Source #
type Sql92ExpressionCastTargetSyntax Expression = CastTarget
type Sql92ExpressionExtractFieldSyntax Expression Source #
type Sql92ExpressionExtractFieldSyntax Expression = ExtractField

newtype Projection Source #

Constructors

ProjExprs [(Expression, Maybe Text)]

Instances

Eq Projection Source #
Methods (==) :: Projection -> Projection -> Bool # (/=) :: Projection -> Projection -> Bool #
Show Projection Source #
Methods showsPrec :: Int -> Projection -> ShowS # show :: Projection -> String # showList :: [Projection] -> ShowS #
IsSql92ProjectionSyntax Projection Source #
Associated Types type Sql92ProjectionExpressionSyntax Projection :: * Source # Methods projExprs :: [(Sql92ProjectionExpressionSyntax Projection, Maybe Text)] -> Projection Source #
type Sql92ProjectionExpressionSyntax Projection Source #
type Sql92ProjectionExpressionSyntax Projection = Expression

data Ordering Source #

Constructors

OrderingAsc Expression
OrderingDesc Expression

Instances

Eq Ordering Source #
Methods (==) :: Ordering -> Ordering -> Bool # (/=) :: Ordering -> Ordering -> Bool #
Show Ordering Source #
Methods showsPrec :: Int -> Ordering -> ShowS # show :: Ordering -> String # showList :: [Ordering] -> ShowS #
IsSql92OrderingSyntax Ordering Source #
Associated Types type Sql92OrderingExpressionSyntax Ordering :: * Source # Methods ascOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering Source # descOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering Source #
type Sql92OrderingExpressionSyntax Ordering Source #
type Sql92OrderingExpressionSyntax Ordering = Expression

newtype Grouping Source #

Constructors

Grouping [Expression]

Instances

Eq Grouping Source #
Methods (==) :: Grouping -> Grouping -> Bool # (/=) :: Grouping -> Grouping -> Bool #
Show Grouping Source #
Methods showsPrec :: Int -> Grouping -> ShowS # show :: Grouping -> String # showList :: [Grouping] -> ShowS #
IsSql92GroupingSyntax Grouping Source #
Associated Types type Sql92GroupingExpressionSyntax Grouping :: * Source # Methods groupByExpressions :: [Sql92GroupingExpressionSyntax Grouping] -> Grouping Source #
type Sql92GroupingExpressionSyntax Grouping Source #
type Sql92GroupingExpressionSyntax Grouping = Expression

data TableSource Source #

Constructors

TableNamed Text
TableFromSubSelect Select

Instances

Eq TableSource Source #
Methods (==) :: TableSource -> TableSource -> Bool # (/=) :: TableSource -> TableSource -> Bool #
Show TableSource Source #
Methods showsPrec :: Int -> TableSource -> ShowS # show :: TableSource -> String # showList :: [TableSource] -> ShowS #
IsSql92TableSourceSyntax TableSource Source #
Associated Types type Sql92TableSourceSelectSyntax TableSource :: * Source # Methods tableNamed :: Text -> TableSource Source # tableFromSubSelect :: Sql92TableSourceSelectSyntax TableSource -> TableSource Source #
type Sql92TableSourceSelectSyntax TableSource Source #
type Sql92TableSourceSelectSyntax TableSource = Select

data From Source #

Constructors

FromTable TableSource (Maybe Text)
InnerJoin From From (Maybe Expression)
LeftJoin From From (Maybe Expression)
RightJoin From From (Maybe Expression)
OuterJoin From From (Maybe Expression)

Instances

Eq From Source #
Methods (==) :: From -> From -> Bool # (/=) :: From -> From -> Bool #
Show From Source #
Methods showsPrec :: Int -> From -> ShowS # show :: From -> String # showList :: [From] -> ShowS #
IsSql92FromSyntax From Source #
Associated Types type Sql92FromTableSourceSyntax From :: * Source # type Sql92FromExpressionSyntax From :: * Source # Methods fromTable :: Sql92FromTableSourceSyntax From -> Maybe Text -> From Source # innerJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source # leftJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source # rightJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source #
type Sql92FromTableSourceSyntax From Source #
type Sql92FromTableSourceSyntax From = TableSource
type Sql92FromExpressionSyntax From Source #
type Sql92FromExpressionSyntax From = Expression

data Value where Source #

Constructors

Value :: (Show a, Eq a, Typeable a) => a -> Value

Instances

Eq Value Source #
Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Show Value Source #
Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
HasSqlValueSyntax Value Bool Source #
Methods sqlValueSyntax :: Bool -> Value Source #
HasSqlValueSyntax Value Double Source #
Methods sqlValueSyntax :: Double -> Value Source #
HasSqlValueSyntax Value Int Source #
Methods sqlValueSyntax :: Int -> Value Source #
HasSqlValueSyntax Value Int16 Source #
Methods sqlValueSyntax :: Int16 -> Value Source #
HasSqlValueSyntax Value Int32 Source #
Methods sqlValueSyntax :: Int32 -> Value Source #
HasSqlValueSyntax Value Int64 Source #
Methods sqlValueSyntax :: Int64 -> Value Source #
HasSqlValueSyntax Value Integer Source #
Methods sqlValueSyntax :: Integer -> Value Source #
HasSqlValueSyntax Value Word Source #
Methods sqlValueSyntax :: Word -> Value Source #
HasSqlValueSyntax Value Word16 Source #
Methods sqlValueSyntax :: Word16 -> Value Source #
HasSqlValueSyntax Value Word32 Source #
Methods sqlValueSyntax :: Word32 -> Value Source #
HasSqlValueSyntax Value Word64 Source #
Methods sqlValueSyntax :: Word64 -> Value Source #
HasSqlValueSyntax Value ByteString Source #
Methods sqlValueSyntax :: ByteString -> Value Source #
HasSqlValueSyntax Value String Source #
Methods sqlValueSyntax :: String -> Value Source #
HasSqlValueSyntax Value Text Source #
Methods sqlValueSyntax :: Text -> Value Source #
HasSqlValueSyntax Value UTCTime Source #
Methods sqlValueSyntax :: UTCTime -> Value Source #
HasSqlValueSyntax Value LocalTime Source #
Methods sqlValueSyntax :: LocalTime -> Value Source #
HasSqlValueSyntax Value TimeOfDay Source #
Methods sqlValueSyntax :: TimeOfDay -> Value Source #
HasSqlValueSyntax Value Day Source #
Methods sqlValueSyntax :: Day -> Value Source #
HasSqlValueSyntax Value SqlNull Source #
Methods sqlValueSyntax :: SqlNull -> Value Source #
HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x) Source #
Methods sqlValueSyntax :: Maybe x -> Value Source #
HasSqlValueSyntax Value (Maybe x) => HasSqlValueSyntax Value (Auto x) Source #
Methods sqlValueSyntax :: Auto x -> Value Source #

DataTypeChar Bool (Maybe Int)
DataTypeNationalChar Bool (Maybe Int)
DataTypeBit Bool (Maybe Int)
DataTypeNumeric Int (Maybe Int)
DataTypeInteger
DataTypeSmallInt
DataTypeFloat (Maybe Int)
DataTypeReal
DataTypeDoublePrecision
DataTypeDate
DataTypeTime (Maybe Word) Bool
DataTypeTimeStamp (Maybe Word) Bool
DataTypeInterval ExtractField
DataTypeIntervalFromTo ExtractField ExtractField