Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
QuerySelect Select | |
QueryValues [[ScalarExpr]] | |
QueryTable TableName | |
QueryOp QueryOperator Query Query |
Instances
data QueryOperator Source #
Instances
Generic QueryOperator Source # | |
Defined in ProjectM36.SQL.Select from :: QueryOperator -> Rep QueryOperator x Source # to :: Rep QueryOperator x -> QueryOperator Source # | |
Show QueryOperator Source # | |
Defined in ProjectM36.SQL.Select | |
NFData QueryOperator Source # | |
Defined in ProjectM36.SQL.Select rnf :: QueryOperator -> () Source # | |
Eq QueryOperator Source # | |
Defined in ProjectM36.SQL.Select (==) :: QueryOperator -> QueryOperator -> Bool Source # (/=) :: QueryOperator -> QueryOperator -> Bool Source # | |
Serialise QueryOperator Source # | |
type Rep QueryOperator Source # | |
Defined in ProjectM36.SQL.Select type Rep QueryOperator = D1 ('MetaData "QueryOperator" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "UnionQueryOperator" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntersectQueryOperator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExceptQueryOperator" 'PrefixI 'False) (U1 :: Type -> Type))) |
Instances
Generic Select Source # | |
Show Select Source # | |
NFData Select Source # | |
Defined in ProjectM36.SQL.Select | |
Eq Select Source # | |
Hashable Select Source # | |
Serialise Select Source # | |
type Rep Select Source # | |
Defined in ProjectM36.SQL.Select type Rep Select = D1 ('MetaData "Select" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "Select" 'PrefixI 'True) ((S1 ('MetaSel ('Just "distinctness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Distinctness)) :*: S1 ('MetaSel ('Just "projectionClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SelectItem])) :*: (S1 ('MetaSel ('Just "tableExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TableExpr)) :*: S1 ('MetaSel ('Just "withClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause))))) |
emptySelect :: Select Source #
type SelectItem = (ProjectionScalarExpr, Maybe ColumnAlias) Source #
data WithClause Source #
Instances
Instances
Generic WithExpr Source # | |
Show WithExpr Source # | |
NFData WithExpr Source # | |
Defined in ProjectM36.SQL.Select | |
Eq WithExpr Source # | |
Hashable WithExpr Source # | |
Serialise WithExpr Source # | |
type Rep WithExpr Source # | |
Defined in ProjectM36.SQL.Select type Rep WithExpr = D1 ('MetaData "WithExpr" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "WithExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WithExprAlias) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select))) |
newtype WithExprAlias Source #
Instances
data ComparisonOperator Source #
Instances
data QuantifiedComparisonPredicate Source #
Instances
Instances
type ScalarExpr = ScalarExprBase ColumnName Source #
data ScalarExprBase n Source #
IntegerLiteral Integer | |
DoubleLiteral Double | |
StringLiteral Text | |
BooleanLiteral Bool | |
NullLiteral | |
Identifier n | Interval |
BinaryOperator (ScalarExprBase n) OperatorName (ScalarExprBase n) | |
PrefixOperator OperatorName (ScalarExprBase n) | |
PostfixOperator (ScalarExprBase n) OperatorName | |
BetweenOperator (ScalarExprBase n) (ScalarExprBase n) (ScalarExprBase n) | |
FunctionApplication FuncName [ScalarExprBase n] | |
CaseExpr | |
| |
QuantifiedComparison | |
InExpr InFlag (ScalarExprBase n) InPredicateValue | |
BooleanOperatorExpr (ScalarExprBase n) BoolOp (ScalarExprBase n) | ExistsSubQuery Select | UniqueSubQuery Select | ScalarSubQuery Select |
ExistsExpr Select |
Instances
data InPredicateValue Source #
Instances
newtype GroupByExpr Source #
Instances
Generic GroupByExpr Source # | |
Defined in ProjectM36.SQL.Select from :: GroupByExpr -> Rep GroupByExpr x Source # to :: Rep GroupByExpr x -> GroupByExpr Source # | |
Show GroupByExpr Source # | |
Defined in ProjectM36.SQL.Select | |
NFData GroupByExpr Source # | |
Defined in ProjectM36.SQL.Select rnf :: GroupByExpr -> () Source # | |
Eq GroupByExpr Source # | |
Defined in ProjectM36.SQL.Select (==) :: GroupByExpr -> GroupByExpr -> Bool Source # (/=) :: GroupByExpr -> GroupByExpr -> Bool Source # | |
Hashable GroupByExpr Source # | |
Defined in ProjectM36.SQL.Select hashWithSalt :: Int -> GroupByExpr -> Int Source # hash :: GroupByExpr -> Int Source # | |
Serialise GroupByExpr Source # | |
type Rep GroupByExpr Source # | |
Defined in ProjectM36.SQL.Select type Rep GroupByExpr = D1 ('MetaData "GroupByExpr" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "GroupByExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectionScalarExpr))) |
newtype HavingExpr Source #
Instances
Instances
Generic SortExpr Source # | |
Show SortExpr Source # | |
NFData SortExpr Source # | |
Defined in ProjectM36.SQL.Select | |
Eq SortExpr Source # | |
Hashable SortExpr Source # | |
Serialise SortExpr Source # | |
type Rep SortExpr Source # | |
Defined in ProjectM36.SQL.Select type Rep SortExpr = D1 ('MetaData "SortExpr" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "SortExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScalarExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Direction)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder))))) |
data NullsOrder Source #
Instances
Generic NullsOrder Source # | |
Defined in ProjectM36.SQL.Select from :: NullsOrder -> Rep NullsOrder x Source # to :: Rep NullsOrder x -> NullsOrder Source # | |
Show NullsOrder Source # | |
Defined in ProjectM36.SQL.Select | |
NFData NullsOrder Source # | |
Defined in ProjectM36.SQL.Select rnf :: NullsOrder -> () Source # | |
Eq NullsOrder Source # | |
Defined in ProjectM36.SQL.Select (==) :: NullsOrder -> NullsOrder -> Bool Source # (/=) :: NullsOrder -> NullsOrder -> Bool Source # | |
Hashable NullsOrder Source # | |
Defined in ProjectM36.SQL.Select hashWithSalt :: Int -> NullsOrder -> Int Source # hash :: NullsOrder -> Int Source # | |
Serialise NullsOrder Source # | |
Defined in ProjectM36.SQL.Select | |
type Rep NullsOrder Source # | |
Instances
Generic JoinType Source # | |
Show JoinType Source # | |
NFData JoinType Source # | |
Defined in ProjectM36.SQL.Select | |
Eq JoinType Source # | |
Serialise JoinType Source # | |
type Rep JoinType Source # | |
Defined in ProjectM36.SQL.Select type Rep JoinType = D1 ('MetaData "JoinType" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) ((C1 ('MetaCons "InnerJoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightOuterJoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftOuterJoin" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FullOuterJoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CrossJoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NaturalJoin" 'PrefixI 'False) (U1 :: Type -> Type)))) |
data JoinCondition Source #
Instances
newtype JoinOnCondition Source #
Instances
newtype ColumnProjectionName Source #
Instances
data ProjectionName Source #
Instances
newtype ColumnName Source #
Instances
newtype UnqualifiedColumnName Source #
Instances
Instances
Generic TableName Source # | |
Show TableName Source # | |
NFData TableName Source # | |
Defined in ProjectM36.SQL.Select | |
Eq TableName Source # | |
Ord TableName Source # | |
Defined in ProjectM36.SQL.Select | |
Hashable TableName Source # | |
Serialise TableName Source # | |
type Rep TableName Source # | |
Defined in ProjectM36.SQL.Select |
newtype OperatorName Source #
Instances
newtype ColumnAlias Source #
Instances
newtype TableAlias Source #
Instances
Instances
Generic FuncName Source # | |
Show FuncName Source # | |
NFData FuncName Source # | |
Defined in ProjectM36.SQL.Select | |
Eq FuncName Source # | |
Ord FuncName Source # | |
Defined in ProjectM36.SQL.Select | |
Hashable FuncName Source # | |
Serialise FuncName Source # | |
type Rep FuncName Source # | |
Defined in ProjectM36.SQL.Select |
data Distinctness Source #
Instances
Generic Distinctness Source # | |
Defined in ProjectM36.SQL.Select from :: Distinctness -> Rep Distinctness x Source # to :: Rep Distinctness x -> Distinctness Source # | |
Show Distinctness Source # | |
Defined in ProjectM36.SQL.Select | |
NFData Distinctness Source # | |
Defined in ProjectM36.SQL.Select rnf :: Distinctness -> () Source # | |
Eq Distinctness Source # | |
Defined in ProjectM36.SQL.Select (==) :: Distinctness -> Distinctness -> Bool Source # (/=) :: Distinctness -> Distinctness -> Bool Source # | |
Hashable Distinctness Source # | |
Defined in ProjectM36.SQL.Select hashWithSalt :: Int -> Distinctness -> Int Source # hash :: Distinctness -> Int Source # | |
Serialise Distinctness Source # | |
type Rep Distinctness Source # | |
newtype RestrictionExpr Source #
Instances
TableExpr | |
|
Instances
data ScalarExprBaseF (n :: Type) r Source #