Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Select
- data SelectAttrs
- data From = From {}
- data Join = Join {}
- data Values = Values {
- vAttrs :: SelectAttrs
- vValues :: [[SqlExpr]]
- data Binary = Binary {}
- data JoinType
- data BinOp
- data Label = Label {}
- data Returning a = Returning a (NonEmpty SqlExpr)
- data Exists = Exists {}
- sqlQueryGenerator :: PrimQueryFold' Void Select
- exists :: Bool -> Select -> Select -> Select
- sql :: ([PrimExpr], PrimQuery' Void, Tag) -> Select
- unit :: Select
- empty :: Void -> select
- baseTable :: TableIdentifier -> [(Symbol, PrimExpr)] -> Select
- product :: NonEmpty Select -> [PrimExpr] -> Select
- aggregate :: [(Symbol, (Maybe (AggrOp, [OrderExpr], AggrDistinct), PrimExpr))] -> Select -> Select
- aggrExpr :: Maybe (AggrOp, [OrderExpr], AggrDistinct) -> PrimExpr -> PrimExpr
- distinctOnOrderBy :: Maybe (NonEmpty PrimExpr) -> [OrderExpr] -> Select -> Select
- limit_ :: LimitOp -> Select -> Select
- join :: JoinType -> PrimExpr -> Bindings PrimExpr -> Bindings PrimExpr -> Select -> Select -> Select
- values :: [Symbol] -> NonEmpty [PrimExpr] -> Select
- binary :: BinOp -> [(Symbol, (PrimExpr, PrimExpr))] -> (Select, Select) -> Select
- joinType :: JoinType -> JoinType
- binOp :: BinOp -> BinOp
- newSelect :: From
- sqlExpr :: PrimExpr -> SqlExpr
- sqlBinding :: (Symbol, PrimExpr) -> (SqlExpr, Maybe SqlColumn)
- ensureColumns :: [(SqlExpr, Maybe a)] -> NonEmpty (SqlExpr, Maybe a)
- ensureColumnsGen :: (SqlExpr -> a) -> [a] -> NonEmpty a
- label :: String -> Select -> Select
- relExpr :: PrimExpr -> [(Symbol, PrimExpr)] -> Select
Documentation
SelectFrom From | |
Table SqlTable | |
RelExpr SqlExpr | A relation-valued expression |
SelectJoin Join | |
SelectValues Values | |
SelectBinary Binary | |
SelectLabel Label | |
SelectExists Exists |
data SelectAttrs Source #
Star | |
SelectAttrs (NonEmpty (SqlExpr, Maybe SqlColumn)) | |
SelectAttrsStar (NonEmpty (SqlExpr, Maybe SqlColumn)) |
Instances
Show SelectAttrs Source # | |
Defined in Opaleye.Internal.Sql showsPrec :: Int -> SelectAttrs -> ShowS # show :: SelectAttrs -> String # showList :: [SelectAttrs] -> ShowS # |
Values | |
|
Exists | |
|
aggregate :: [(Symbol, (Maybe (AggrOp, [OrderExpr], AggrDistinct), PrimExpr))] -> Select -> Select Source #
join :: JoinType -> PrimExpr -> Bindings PrimExpr -> Bindings PrimExpr -> Select -> Select -> Select Source #
ensureColumnsGen :: (SqlExpr -> a) -> [a] -> NonEmpty a Source #
For ensuring that we have at least one column in a SELECT or RETURNING