opaleye-0.5.0.0: An SQL-generating DSL targeting PostgreSQL

Safe Haskell	Safe
Language	Haskell98

Opaleye.Internal.PrimQuery

Documentation

data LimitOp Source

Constructors

LimitOp Int
OffsetOp Int
LimitOffsetOp Int Int

Instances

Show LimitOp Source

data BinOp Source

Constructors

Except
ExceptAll
Union
UnionAll
Intersect
IntersectAll

Instances

Show BinOp Source

data JoinType Source

Constructors

Instances

Show JoinType Source

data TableIdentifier Source

Constructors

TableIdentifier
Fields tiSchemaName :: Maybe String tiTableName :: String

Instances

Show TableIdentifier Source

tiToSqlTable :: TableIdentifier -> SqlTable Source

data PrimQuery' a Source

Constructors

Unit
Empty a
BaseTable TableIdentifier [(Symbol, PrimExpr)]
Product (NonEmpty (PrimQuery' a)) [PrimExpr]
Aggregate [(Symbol, (Maybe (AggrOp, [OrderExpr]), PrimExpr))] (PrimQuery' a)
Order [OrderExpr] (PrimQuery' a)
Limit LimitOp (PrimQuery' a)
Join JoinType PrimExpr (PrimQuery' a) (PrimQuery' a)
Values [Symbol] (NonEmpty [PrimExpr])
Binary BinOp [(Symbol, (PrimExpr, PrimExpr))] (PrimQuery' a, PrimQuery' a)
Label String (PrimQuery' a)

Instances

Show a => Show (PrimQuery' a) Source

type PrimQuery = PrimQuery' () Source

type PrimQueryFold = PrimQueryFold' () Source

data PrimQueryFold' a p Source

Constructors

Fields

unit :: p
empty :: a -> p
baseTable :: TableIdentifier -> [(Symbol, PrimExpr)] -> p
product :: NonEmpty p -> [PrimExpr] -> p
aggregate :: [(Symbol, (Maybe (AggrOp, [OrderExpr]), PrimExpr))] -> p -> p
order :: [OrderExpr] -> p -> p
limit :: LimitOp -> p -> p
join :: JoinType -> PrimExpr -> p -> p -> p
values :: [Symbol] -> NonEmpty [PrimExpr] -> p
binary :: BinOp -> [(Symbol, (PrimExpr, PrimExpr))] -> (p, p) -> p
label :: String -> p -> p

primQueryFoldDefault :: PrimQueryFold' a (PrimQuery' a) Source

foldPrimQuery :: PrimQueryFold' a p -> PrimQuery' a -> p Source

times :: PrimQuery -> PrimQuery -> PrimQuery Source

restrict :: PrimExpr -> PrimQuery -> PrimQuery Source

isUnit :: PrimQuery' a -> Bool Source