Opaleye.Internal.PrimQuery

Documentation

data LimitOp

Constructors

LimitOp Int

OffsetOp Int

LimitOffsetOp Int Int

Instances

Show LimitOp

Methods

showsPrec :: Int -> LimitOp -> ShowS

show :: LimitOp -> String

showList :: [LimitOp] -> ShowS

data BinOp

Constructors

Except

ExceptAll

Union

UnionAll

Intersect

IntersectAll

Instances

Show BinOp

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

data JoinType

Constructors

LeftJoin

RightJoin

FullJoin

Instances

Show JoinType

Methods

showsPrec :: Int -> JoinType -> ShowS

show :: JoinType -> String

showList :: [JoinType] -> ShowS

data TableIdentifier

Constructors

TableIdentifier

Fields

• tiSchemaName :: Maybe String
• tiTableName :: String

Instances

Show TableIdentifier

Methods

showsPrec :: Int -> TableIdentifier -> ShowS

show :: TableIdentifier -> String

showList :: [TableIdentifier] -> ShowS

tiToSqlTable :: TableIdentifier -> SqlTable

type Bindings a = [(Symbol, a)]

data PrimQuery' a

Constructors

Unit

Empty a

BaseTable TableIdentifier (Bindings PrimExpr)

Product (NonEmpty (PrimQuery' a)) [PrimExpr]

Aggregate (Bindings (Maybe (AggrOp, [OrderExpr], AggrDistinct), PrimExpr)) (PrimQuery' a)

Order [OrderExpr] (PrimQuery' a)

Limit LimitOp (PrimQuery' a)

Join JoinType PrimExpr (Bindings PrimExpr) (Bindings PrimExpr) (PrimQuery' a) (PrimQuery' a)

Exists Bool (PrimQuery' a) (PrimQuery' a)

Values [Symbol] (NonEmpty [PrimExpr])

Binary BinOp (Bindings (PrimExpr, PrimExpr)) (PrimQuery' a, PrimQuery' a)

Label String (PrimQuery' a)

RelExpr PrimExpr (Bindings PrimExpr)

Instances

Show a => Show (PrimQuery' a)

Methods

showsPrec :: Int -> PrimQuery' a -> ShowS

show :: PrimQuery' a -> String

showList :: [PrimQuery' a] -> ShowS

type PrimQuery = PrimQuery' ()

type PrimQueryFold = PrimQueryFold' ()

data PrimQueryFold' a p

Constructors

PrimQueryFold

Fields

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

  A relation-valued expression

primQueryFoldDefault :: PrimQueryFold' a (PrimQuery' a)

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

times :: PrimQuery -> PrimQuery -> PrimQuery

restrict :: PrimExpr -> PrimQuery -> PrimQuery

exists :: PrimQuery -> PrimQuery -> PrimQuery

notExists :: PrimQuery -> PrimQuery -> PrimQuery

isUnit :: PrimQuery' a -> Bool