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

data PrimQuery' a

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)

RelExpr PrimExpr [(Symbol, 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 -> [(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
• relExpr :: PrimExpr -> [(Symbol, 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

isUnit :: PrimQuery' a -> Bool