Moduleopaleye-0.10.8.0Haskell2010
Opaleye.Internal.PrimQuery
- 15 types
- 19 values
- Packageopaleye-0.10.8.0
- Exports34
- LanguageHaskell2010
- LicenceBSD-3-Clause
Instances1Show
Show SemijoinTypeDefined in opaleye-0.10.8.0 · Opaleye.Internal.PrimQuery
Constructors
Instances1Show
Show TableIdentifierDefined in opaleye-0.10.8.0 · Opaleye.Internal.PrimQuery
Instances1Show
Show MaterializedDefined in opaleye-0.10.8.0 · Opaleye.Internal.PrimQuery
Constructors
Instances2Semigroup, Monoid
Semigroup PrimQueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.PrimQueryMonoid PrimQueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.PrimQuery
Constructors
UnitEmpty aBaseTable TableIdentifier (Bindings PrimExpr)Product (NonEmpty (Lateral, PrimQuery' a)) [PrimExpr]Aggregate (Bindings Aggregate) (PrimQuery' a)The subqueries to take the product of and the restrictions to apply
Window (Bindings (WndwOp, Partition)) (PrimQuery' a)DistinctOnOrderBy (Maybe (NonEmpty PrimExpr)) [OrderExpr] (PrimQuery' a)Represents both
DISTINCT ONandORDER BYclauses. In order to represent valid SQL only,DISTINCT ONexpressions are always interpreted as the firstORDER BYs when present, preceding any in the provided list. See distinctOnOrderBy.Limit LimitOp (PrimQuery' a)Join JoinType PrimExpr (Lateral, PrimQuery' a) (Lateral, PrimQuery' a)Semijoin SemijoinType (PrimQuery' a) (PrimQuery' a)Exists Symbol (PrimQuery' a)Values [Symbol] (NonEmpty [PrimExpr])Binary BinOp (PrimQuery' a, PrimQuery' a)Label String (PrimQuery' a)RelExpr PrimExpr [Symbol]Rebind Bool (Bindings PrimExpr) (PrimQuery' a)ForUpdate (PrimQuery' a)With Recursive (Maybe Materialized) Symbol [Symbol] (PrimQuery' a) (PrimQuery' a)
Instances1Show
Show a => Show (PrimQuery' a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.PrimQuery
Constructors
PrimQueryFoldunit :: p'empty :: a -> p'baseTable :: TableIdentifier -> Bindings PrimExpr -> p'product :: NonEmpty (Lateral, p) -> [PrimExpr] -> p'aggregate :: Bindings Aggregate -> p -> p'window :: Bindings (WndwOp, Partition) -> p -> p'distinctOnOrderBy :: Maybe (NonEmpty PrimExpr) -> [OrderExpr] -> p -> p'limit :: LimitOp -> p -> p'join :: JoinType -> PrimExpr -> (Lateral, p) -> (Lateral, p) -> p'semijoin :: SemijoinType -> p -> p -> p'exists :: Symbol -> p -> p'values :: [Symbol] -> NonEmpty [PrimExpr] -> p'binary :: BinOp -> (p, p) -> p'label :: String -> p -> p'relExpr :: PrimExpr -> [Symbol] -> p'A relation-valued expression
rebind :: Bool -> Bindings PrimExpr -> p -> p'forUpdate :: p -> p'with :: Recursive -> Maybe Materialized -> Symbol -> [Symbol] -> p -> p -> p'