Safe Haskell	Safe-Inferred
Language	Haskell2010

ProjectM36.SQL.Select

Documentation

data Query Source #

Constructors

QuerySelect Select
QueryValues [[ScalarExpr]]
QueryTable TableName
QueryOp QueryOperator Query Query

Instances

Instances details

Generic Query Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep Query :: Type -> Type Source # Methods from :: Query -> Rep Query x Source # to :: Rep Query x -> Query Source #
Show Query Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> Query -> ShowS Source # show :: Query -> String Source # showList :: [Query] -> ShowS Source #
NFData Query Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: Query -> () Source #
Eq Query Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: Query -> Query -> Bool Source # (/=) :: Query -> Query -> Bool Source #
Serialise Query Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy Query -> SchemaGen Schema Source # toBuilder :: Query -> Builder Source # extractor :: Extractor Query Source # decodeCurrent :: Decoder Query Source # bundleSerialise :: BundleSerialise Query Source #
type Rep Query Source #
Instance details Defined in ProjectM36.SQL.Select type Rep Query = D1 ('MetaData "Query" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) ((C1 ('MetaCons "QuerySelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select)) :+: C1 ('MetaCons "QueryValues" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[ScalarExpr]]))) :+: (C1 ('MetaCons "QueryTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableName)) :+: C1 ('MetaCons "QueryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QueryOperator) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Query) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Query)))))

data QueryOperator Source #

Constructors

UnionQueryOperator
IntersectQueryOperator
ExceptQueryOperator

Instances

Instances details

Generic QueryOperator Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep QueryOperator :: Type -> Type Source # Methods from :: QueryOperator -> Rep QueryOperator x Source # to :: Rep QueryOperator x -> QueryOperator Source #
Show QueryOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> QueryOperator -> ShowS Source # show :: QueryOperator -> String Source # showList :: [QueryOperator] -> ShowS Source #
NFData QueryOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: QueryOperator -> () Source #
Eq QueryOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: QueryOperator -> QueryOperator -> Bool Source # (/=) :: QueryOperator -> QueryOperator -> Bool Source #
Serialise QueryOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy QueryOperator -> SchemaGen Schema Source # toBuilder :: QueryOperator -> Builder Source # extractor :: Extractor QueryOperator Source # decodeCurrent :: Decoder QueryOperator Source # bundleSerialise :: BundleSerialise QueryOperator Source #
type Rep QueryOperator Source #
Instance details Defined in ProjectM36.SQL.Select type Rep QueryOperator = D1 ('MetaData "QueryOperator" "ProjectM36.SQL.Select" "project-m36-1.1.1-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)))

data Select Source #

Constructors

Select
Fields distinctness :: Maybe Distinctness projectionClause :: [SelectItem] tableExpr :: Maybe TableExpr withClause :: Maybe WithClause

Instances

Instances details

Generic Select Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep Select :: Type -> Type Source # Methods from :: Select -> Rep Select x Source # to :: Rep Select x -> Select Source #
Show Select Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> Select -> ShowS Source # show :: Select -> String Source # showList :: [Select] -> ShowS Source #
NFData Select Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: Select -> () Source #
Eq Select Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: Select -> Select -> Bool Source # (/=) :: Select -> Select -> Bool Source #
Hashable Select Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> Select -> Int Source # hash :: Select -> Int Source #
Serialise Select Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy Select -> SchemaGen Schema Source # toBuilder :: Select -> Builder Source # extractor :: Extractor Select Source # decodeCurrent :: Decoder Select Source # bundleSerialise :: BundleSerialise Select Source #
type Rep Select Source #
Instance details Defined in ProjectM36.SQL.Select type Rep Select = D1 ('MetaData "Select" "ProjectM36.SQL.Select" "project-m36-1.1.1-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 #

Constructors

WithClause
Fields isRecursive :: Bool withExprs :: NonEmpty WithExpr

Instances

Instances details

Generic WithClause Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep WithClause :: Type -> Type Source # Methods from :: WithClause -> Rep WithClause x Source # to :: Rep WithClause x -> WithClause Source #
Show WithClause Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> WithClause -> ShowS Source # show :: WithClause -> String Source # showList :: [WithClause] -> ShowS Source #
NFData WithClause Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: WithClause -> () Source #
Eq WithClause Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: WithClause -> WithClause -> Bool Source # (/=) :: WithClause -> WithClause -> Bool Source #
Hashable WithClause Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> WithClause -> Int Source # hash :: WithClause -> Int Source #
Serialise WithClause Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy WithClause -> SchemaGen Schema Source # toBuilder :: WithClause -> Builder Source # extractor :: Extractor WithClause Source # decodeCurrent :: Decoder WithClause Source # bundleSerialise :: BundleSerialise WithClause Source #
type Rep WithClause Source #
Instance details Defined in ProjectM36.SQL.Select type Rep WithClause = D1 ('MetaData "WithClause" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "WithClause" 'PrefixI 'True) (S1 ('MetaSel ('Just "isRecursive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "withExprs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty WithExpr))))

data WithExpr Source #

Constructors

WithExpr WithExprAlias Select

Instances

Instances details

Generic WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep WithExpr :: Type -> Type Source # Methods from :: WithExpr -> Rep WithExpr x Source # to :: Rep WithExpr x -> WithExpr Source #
Show WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> WithExpr -> ShowS Source # show :: WithExpr -> String Source # showList :: [WithExpr] -> ShowS Source #
NFData WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: WithExpr -> () Source #
Eq WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: WithExpr -> WithExpr -> Bool Source # (/=) :: WithExpr -> WithExpr -> Bool Source #
Hashable WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> WithExpr -> Int Source # hash :: WithExpr -> Int Source #
Serialise WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy WithExpr -> SchemaGen Schema Source # toBuilder :: WithExpr -> Builder Source # extractor :: Extractor WithExpr Source # decodeCurrent :: Decoder WithExpr Source # bundleSerialise :: BundleSerialise WithExpr Source #
type Rep WithExpr Source #
Instance details Defined in ProjectM36.SQL.Select type Rep WithExpr = D1 ('MetaData "WithExpr" "ProjectM36.SQL.Select" "project-m36-1.1.1-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 #

Constructors

WithExprAlias Text

Instances

Instances details

Generic WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep WithExprAlias :: Type -> Type Source # Methods from :: WithExprAlias -> Rep WithExprAlias x Source # to :: Rep WithExprAlias x -> WithExprAlias Source #
Show WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> WithExprAlias -> ShowS Source # show :: WithExprAlias -> String Source # showList :: [WithExprAlias] -> ShowS Source #
NFData WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: WithExprAlias -> () Source #
Eq WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: WithExprAlias -> WithExprAlias -> Bool Source # (/=) :: WithExprAlias -> WithExprAlias -> Bool Source #
Hashable WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> WithExprAlias -> Int Source # hash :: WithExprAlias -> Int Source #
Serialise WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy WithExprAlias -> SchemaGen Schema Source # toBuilder :: WithExprAlias -> Builder Source # extractor :: Extractor WithExprAlias Source # decodeCurrent :: Decoder WithExprAlias Source # bundleSerialise :: BundleSerialise WithExprAlias Source #
type Rep WithExprAlias Source #
Instance details Defined in ProjectM36.SQL.Select type Rep WithExprAlias = D1 ('MetaData "WithExprAlias" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "WithExprAlias" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data InFlag Source #

Constructors

In
NotIn

Instances

Instances details

Generic InFlag Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep InFlag :: Type -> Type Source # Methods from :: InFlag -> Rep InFlag x Source # to :: Rep InFlag x -> InFlag Source #
Show InFlag Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> InFlag -> ShowS Source # show :: InFlag -> String Source # showList :: [InFlag] -> ShowS Source #
NFData InFlag Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: InFlag -> () Source #
Eq InFlag Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: InFlag -> InFlag -> Bool Source # (/=) :: InFlag -> InFlag -> Bool Source #
Hashable InFlag Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> InFlag -> Int Source # hash :: InFlag -> Int Source #
Serialise InFlag Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy InFlag -> SchemaGen Schema Source # toBuilder :: InFlag -> Builder Source # extractor :: Extractor InFlag Source # decodeCurrent :: Decoder InFlag Source # bundleSerialise :: BundleSerialise InFlag Source #
type Rep InFlag Source #
Instance details Defined in ProjectM36.SQL.Select type Rep InFlag = D1 ('MetaData "InFlag" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "In" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotIn" 'PrefixI 'False) (U1 :: Type -> Type))

data ComparisonOperator Source #

Constructors

OpLT
OpGT
OpGTE
OpEQ
OpNE
OpLTE

Instances

Instances details

Generic ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep ComparisonOperator :: Type -> Type Source # Methods from :: ComparisonOperator -> Rep ComparisonOperator x Source # to :: Rep ComparisonOperator x -> ComparisonOperator Source #
Show ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> ComparisonOperator -> ShowS Source # show :: ComparisonOperator -> String Source # showList :: [ComparisonOperator] -> ShowS Source #
NFData ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: ComparisonOperator -> () Source #
Eq ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: ComparisonOperator -> ComparisonOperator -> Bool Source # (/=) :: ComparisonOperator -> ComparisonOperator -> Bool Source #
Hashable ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> ComparisonOperator -> Int Source # hash :: ComparisonOperator -> Int Source #
Serialise ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ComparisonOperator -> SchemaGen Schema Source # toBuilder :: ComparisonOperator -> Builder Source # extractor :: Extractor ComparisonOperator Source # decodeCurrent :: Decoder ComparisonOperator Source # bundleSerialise :: BundleSerialise ComparisonOperator Source #
type Rep ComparisonOperator Source #
Instance details Defined in ProjectM36.SQL.Select type Rep ComparisonOperator = D1 ('MetaData "ComparisonOperator" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) ((C1 ('MetaCons "OpLT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OpGT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpGTE" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "OpEQ" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OpNE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpLTE" 'PrefixI 'False) (U1 :: Type -> Type))))

data QuantifiedComparisonPredicate Source #

Constructors

QCAny
QCSome
QCAll

Instances

Instances details

Generic QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep QuantifiedComparisonPredicate :: Type -> Type Source # Methods from :: QuantifiedComparisonPredicate -> Rep QuantifiedComparisonPredicate x Source # to :: Rep QuantifiedComparisonPredicate x -> QuantifiedComparisonPredicate Source #
Show QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> QuantifiedComparisonPredicate -> ShowS Source # show :: QuantifiedComparisonPredicate -> String Source # showList :: [QuantifiedComparisonPredicate] -> ShowS Source #
NFData QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: QuantifiedComparisonPredicate -> () Source #
Eq QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: QuantifiedComparisonPredicate -> QuantifiedComparisonPredicate -> Bool Source # (/=) :: QuantifiedComparisonPredicate -> QuantifiedComparisonPredicate -> Bool Source #
Hashable QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> QuantifiedComparisonPredicate -> Int Source # hash :: QuantifiedComparisonPredicate -> Int Source #
Serialise QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy QuantifiedComparisonPredicate -> SchemaGen Schema Source # toBuilder :: QuantifiedComparisonPredicate -> Builder Source # extractor :: Extractor QuantifiedComparisonPredicate Source # decodeCurrent :: Decoder QuantifiedComparisonPredicate Source # bundleSerialise :: BundleSerialise QuantifiedComparisonPredicate Source #
type Rep QuantifiedComparisonPredicate Source #
Instance details Defined in ProjectM36.SQL.Select type Rep QuantifiedComparisonPredicate = D1 ('MetaData "QuantifiedComparisonPredicate" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "QCAny" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QCSome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QCAll" 'PrefixI 'False) (U1 :: Type -> Type)))

data TableRef Source #

Instances

Instances details

Generic TableRef Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep TableRef :: Type -> Type Source # Methods from :: TableRef -> Rep TableRef x Source # to :: Rep TableRef x -> TableRef Source #
Show TableRef Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> TableRef -> ShowS Source # show :: TableRef -> String Source # showList :: [TableRef] -> ShowS Source #
NFData TableRef Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: TableRef -> () Source #
Eq TableRef Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: TableRef -> TableRef -> Bool Source # (/=) :: TableRef -> TableRef -> Bool Source #
Hashable TableRef Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> TableRef -> Int Source # hash :: TableRef -> Int Source #
Serialise TableRef Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy TableRef -> SchemaGen Schema Source # toBuilder :: TableRef -> Builder Source # extractor :: Extractor TableRef Source # decodeCurrent :: Decoder TableRef Source # bundleSerialise :: BundleSerialise TableRef Source #
type Rep TableRef Source #
Instance details Defined in ProjectM36.SQL.Select type Rep TableRef = D1 ('MetaData "TableRef" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (((C1 ('MetaCons "SimpleTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableName)) :+: C1 ('MetaCons "InnerJoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinCondition))) :+: (C1 ('MetaCons "RightOuterJoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinCondition)) :+: C1 ('MetaCons "LeftOuterJoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinCondition)))) :+: ((C1 ('MetaCons "FullOuterJoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinCondition)) :+: C1 ('MetaCons "CrossJoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef))) :+: (C1 ('MetaCons "NaturalJoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef)) :+: (C1 ('MetaCons "AliasedTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableAlias)) :+: C1 ('MetaCons "QueryTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select))))))

type ProjectionScalarExpr = ScalarExprBase ColumnProjectionName Source #

type ScalarExpr = ScalarExprBase ColumnName Source #

data ScalarExprBase n Source #

Constructors

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
Fields caseWhens :: [(ScalarExprBase n, ScalarExprBase n)] caseElse :: Maybe (ScalarExprBase n)
QuantifiedComparison
Fields qcExpr :: ScalarExprBase n qcOperator :: ComparisonOperator qcPredicate :: QuantifiedComparisonPredicate qcQuery :: Select
InExpr InFlag (ScalarExprBase n) InPredicateValue
BooleanOperatorExpr (ScalarExprBase n) BoolOp (ScalarExprBase n)	ExistsSubQuery Select \| UniqueSubQuery Select \| ScalarSubQuery Select
ExistsExpr Select

Instances

Instances details

Serialise ProjectionScalarExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ProjectionScalarExpr -> SchemaGen Schema Source # toBuilder :: ProjectionScalarExpr -> Builder Source # extractor :: Extractor ProjectionScalarExpr Source # decodeCurrent :: Decoder ProjectionScalarExpr Source # bundleSerialise :: BundleSerialise ProjectionScalarExpr Source #
Serialise ScalarExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ScalarExpr -> SchemaGen Schema Source # toBuilder :: ScalarExpr -> Builder Source # extractor :: Extractor ScalarExpr Source # decodeCurrent :: Decoder ScalarExpr Source # bundleSerialise :: BundleSerialise ScalarExpr Source #
Generic (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep (ScalarExprBase n) :: Type -> Type Source # Methods from :: ScalarExprBase n -> Rep (ScalarExprBase n) x Source # to :: Rep (ScalarExprBase n) x -> ScalarExprBase n Source #
Show n => Show (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> ScalarExprBase n -> ShowS Source # show :: ScalarExprBase n -> String Source # showList :: [ScalarExprBase n] -> ShowS Source #
NFData n => NFData (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: ScalarExprBase n -> () Source #
Eq n => Eq (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: ScalarExprBase n -> ScalarExprBase n -> Bool Source # (/=) :: ScalarExprBase n -> ScalarExprBase n -> Bool Source #
(Hashable n, Eq n) => Hashable (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> ScalarExprBase n -> Int Source # hash :: ScalarExprBase n -> Int Source #
Corecursive (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods embed :: Base (ScalarExprBase n) (ScalarExprBase n) -> ScalarExprBase n Source # ana :: (a -> Base (ScalarExprBase n) a) -> a -> ScalarExprBase n Source # apo :: (a -> Base (ScalarExprBase n) (Either (ScalarExprBase n) a)) -> a -> ScalarExprBase n Source # postpro :: Recursive (ScalarExprBase n) => (forall b. Base (ScalarExprBase n) b -> Base (ScalarExprBase n) b) -> (a -> Base (ScalarExprBase n) a) -> a -> ScalarExprBase n Source # gpostpro :: (Recursive (ScalarExprBase n), Monad m) => (forall b. m (Base (ScalarExprBase n) b) -> Base (ScalarExprBase n) (m b)) -> (forall c. Base (ScalarExprBase n) c -> Base (ScalarExprBase n) c) -> (a -> Base (ScalarExprBase n) (m a)) -> a -> ScalarExprBase n Source #
Recursive (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods project :: ScalarExprBase n -> Base (ScalarExprBase n) (ScalarExprBase n) Source # cata :: (Base (ScalarExprBase n) a -> a) -> ScalarExprBase n -> a Source # para :: (Base (ScalarExprBase n) (ScalarExprBase n, a) -> a) -> ScalarExprBase n -> a Source # gpara :: (Corecursive (ScalarExprBase n), Comonad w) => (forall b. Base (ScalarExprBase n) (w b) -> w (Base (ScalarExprBase n) b)) -> (Base (ScalarExprBase n) (EnvT (ScalarExprBase n) w a) -> a) -> ScalarExprBase n -> a Source # prepro :: Corecursive (ScalarExprBase n) => (forall b. Base (ScalarExprBase n) b -> Base (ScalarExprBase n) b) -> (Base (ScalarExprBase n) a -> a) -> ScalarExprBase n -> a Source # gprepro :: (Corecursive (ScalarExprBase n), Comonad w) => (forall b. Base (ScalarExprBase n) (w b) -> w (Base (ScalarExprBase n) b)) -> (forall c. Base (ScalarExprBase n) c -> Base (ScalarExprBase n) c) -> (Base (ScalarExprBase n) (w a) -> a) -> ScalarExprBase n -> a Source #
type Rep (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select type Rep (ScalarExprBase n) = D1 ('MetaData "ScalarExprBase" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) ((((C1 ('MetaCons "IntegerLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "DoubleLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "StringLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "BooleanLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :+: ((C1 ('MetaCons "NullLiteral" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Identifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n))) :+: (C1 ('MetaCons "BinaryOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OperatorName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)))) :+: C1 ('MetaCons "PrefixOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OperatorName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)))))) :+: (((C1 ('MetaCons "PostfixOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OperatorName)) :+: C1 ('MetaCons "BetweenOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n))))) :+: (C1 ('MetaCons "FunctionApplication" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ScalarExprBase n])) :+: C1 ('MetaCons "CaseExpr" 'PrefixI 'True) (S1 ('MetaSel ('Just "caseWhens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(ScalarExprBase n, ScalarExprBase n)]) :: S1 ('MetaSel ('Just "caseElse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (ScalarExprBase n)))))) :+: ((C1 ('MetaCons "QuantifiedComparison" 'PrefixI 'True) ((S1 ('MetaSel ('Just "qcExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: S1 ('MetaSel ('Just "qcOperator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ComparisonOperator)) :: (S1 ('MetaSel ('Just "qcPredicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QuantifiedComparisonPredicate) :: S1 ('MetaSel ('Just "qcQuery") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select))) :+: C1 ('MetaCons "InExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InFlag) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InPredicateValue)))) :+: (C1 ('MetaCons "BooleanOperatorExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BoolOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ScalarExprBase n)))) :+: C1 ('MetaCons "ExistsExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select))))))
type Base (ScalarExprBase n) Source #
Instance details Defined in ProjectM36.SQL.Select type Base (ScalarExprBase n) = ScalarExprBaseF n

data BoolOp Source #

Constructors

AndOp
OrOp

Instances

Instances details

Generic BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep BoolOp :: Type -> Type Source # Methods from :: BoolOp -> Rep BoolOp x Source # to :: Rep BoolOp x -> BoolOp Source #
Show BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> BoolOp -> ShowS Source # show :: BoolOp -> String Source # showList :: [BoolOp] -> ShowS Source #
NFData BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: BoolOp -> () Source #
Eq BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: BoolOp -> BoolOp -> Bool Source # (/=) :: BoolOp -> BoolOp -> Bool Source #
Hashable BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> BoolOp -> Int Source # hash :: BoolOp -> Int Source #
Serialise BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy BoolOp -> SchemaGen Schema Source # toBuilder :: BoolOp -> Builder Source # extractor :: Extractor BoolOp Source # decodeCurrent :: Decoder BoolOp Source # bundleSerialise :: BundleSerialise BoolOp Source #
type Rep BoolOp Source #
Instance details Defined in ProjectM36.SQL.Select type Rep BoolOp = D1 ('MetaData "BoolOp" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "AndOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrOp" 'PrefixI 'False) (U1 :: Type -> Type))

data InPredicateValue Source #

Constructors

InList [ScalarExpr]
InQueryExpr Select
InScalarExpr ScalarExpr

Instances

Instances details

Generic InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep InPredicateValue :: Type -> Type Source # Methods from :: InPredicateValue -> Rep InPredicateValue x Source # to :: Rep InPredicateValue x -> InPredicateValue Source #
Show InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> InPredicateValue -> ShowS Source # show :: InPredicateValue -> String Source # showList :: [InPredicateValue] -> ShowS Source #
NFData InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: InPredicateValue -> () Source #
Eq InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: InPredicateValue -> InPredicateValue -> Bool Source # (/=) :: InPredicateValue -> InPredicateValue -> Bool Source #
Hashable InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> InPredicateValue -> Int Source # hash :: InPredicateValue -> Int Source #
Serialise InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy InPredicateValue -> SchemaGen Schema Source # toBuilder :: InPredicateValue -> Builder Source # extractor :: Extractor InPredicateValue Source # decodeCurrent :: Decoder InPredicateValue Source # bundleSerialise :: BundleSerialise InPredicateValue Source #
type Rep InPredicateValue Source #
Instance details Defined in ProjectM36.SQL.Select type Rep InPredicateValue = D1 ('MetaData "InPredicateValue" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "InList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ScalarExpr])) :+: (C1 ('MetaCons "InQueryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select)) :+: C1 ('MetaCons "InScalarExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScalarExpr))))

newtype GroupByExpr Source #

Constructors

GroupByExpr ProjectionScalarExpr

Instances

Instances details

Generic GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep GroupByExpr :: Type -> Type Source # Methods from :: GroupByExpr -> Rep GroupByExpr x Source # to :: Rep GroupByExpr x -> GroupByExpr Source #
Show GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> GroupByExpr -> ShowS Source # show :: GroupByExpr -> String Source # showList :: [GroupByExpr] -> ShowS Source #
NFData GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: GroupByExpr -> () Source #
Eq GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: GroupByExpr -> GroupByExpr -> Bool Source # (/=) :: GroupByExpr -> GroupByExpr -> Bool Source #
Hashable GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> GroupByExpr -> Int Source # hash :: GroupByExpr -> Int Source #
Serialise GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy GroupByExpr -> SchemaGen Schema Source # toBuilder :: GroupByExpr -> Builder Source # extractor :: Extractor GroupByExpr Source # decodeCurrent :: Decoder GroupByExpr Source # bundleSerialise :: BundleSerialise GroupByExpr Source #
type Rep GroupByExpr Source #
Instance details Defined in ProjectM36.SQL.Select type Rep GroupByExpr = D1 ('MetaData "GroupByExpr" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "GroupByExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectionScalarExpr)))

newtype HavingExpr Source #

Constructors

HavingExpr ProjectionScalarExpr

Instances

Instances details

Generic HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep HavingExpr :: Type -> Type Source # Methods from :: HavingExpr -> Rep HavingExpr x Source # to :: Rep HavingExpr x -> HavingExpr Source #
Show HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> HavingExpr -> ShowS Source # show :: HavingExpr -> String Source # showList :: [HavingExpr] -> ShowS Source #
NFData HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: HavingExpr -> () Source #
Eq HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: HavingExpr -> HavingExpr -> Bool Source # (/=) :: HavingExpr -> HavingExpr -> Bool Source #
Hashable HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> HavingExpr -> Int Source # hash :: HavingExpr -> Int Source #
Serialise HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy HavingExpr -> SchemaGen Schema Source # toBuilder :: HavingExpr -> Builder Source # extractor :: Extractor HavingExpr Source # decodeCurrent :: Decoder HavingExpr Source # bundleSerialise :: BundleSerialise HavingExpr Source #
type Rep HavingExpr Source #
Instance details Defined in ProjectM36.SQL.Select type Rep HavingExpr = D1 ('MetaData "HavingExpr" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "HavingExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectionScalarExpr)))

data SortExpr Source #

Constructors

SortExpr ScalarExpr (Maybe Direction) (Maybe NullsOrder)

Instances

Instances details

Generic SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep SortExpr :: Type -> Type Source # Methods from :: SortExpr -> Rep SortExpr x Source # to :: Rep SortExpr x -> SortExpr Source #
Show SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> SortExpr -> ShowS Source # show :: SortExpr -> String Source # showList :: [SortExpr] -> ShowS Source #
NFData SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: SortExpr -> () Source #
Eq SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: SortExpr -> SortExpr -> Bool Source # (/=) :: SortExpr -> SortExpr -> Bool Source #
Hashable SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> SortExpr -> Int Source # hash :: SortExpr -> Int Source #
Serialise SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy SortExpr -> SchemaGen Schema Source # toBuilder :: SortExpr -> Builder Source # extractor :: Extractor SortExpr Source # decodeCurrent :: Decoder SortExpr Source # bundleSerialise :: BundleSerialise SortExpr Source #
type Rep SortExpr Source #
Instance details Defined in ProjectM36.SQL.Select type Rep SortExpr = D1 ('MetaData "SortExpr" "ProjectM36.SQL.Select" "project-m36-1.1.1-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 Direction Source #

Constructors

Ascending
Descending

Instances

Instances details

Generic Direction Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep Direction :: Type -> Type Source # Methods from :: Direction -> Rep Direction x Source # to :: Rep Direction x -> Direction Source #
Show Direction Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> Direction -> ShowS Source # show :: Direction -> String Source # showList :: [Direction] -> ShowS Source #
NFData Direction Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: Direction -> () Source #
Eq Direction Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: Direction -> Direction -> Bool Source # (/=) :: Direction -> Direction -> Bool Source #
Hashable Direction Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> Direction -> Int Source # hash :: Direction -> Int Source #
Serialise Direction Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy Direction -> SchemaGen Schema Source # toBuilder :: Direction -> Builder Source # extractor :: Extractor Direction Source # decodeCurrent :: Decoder Direction Source # bundleSerialise :: BundleSerialise Direction Source #
type Rep Direction Source #
Instance details Defined in ProjectM36.SQL.Select type Rep Direction = D1 ('MetaData "Direction" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "Ascending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Descending" 'PrefixI 'False) (U1 :: Type -> Type))

data NullsOrder Source #

Constructors

NullsFirst
NullsLast

Instances

Instances details

Generic NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep NullsOrder :: Type -> Type Source # Methods from :: NullsOrder -> Rep NullsOrder x Source # to :: Rep NullsOrder x -> NullsOrder Source #
Show NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> NullsOrder -> ShowS Source # show :: NullsOrder -> String Source # showList :: [NullsOrder] -> ShowS Source #
NFData NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: NullsOrder -> () Source #
Eq NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: NullsOrder -> NullsOrder -> Bool Source # (/=) :: NullsOrder -> NullsOrder -> Bool Source #
Hashable NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> NullsOrder -> Int Source # hash :: NullsOrder -> Int Source #
Serialise NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy NullsOrder -> SchemaGen Schema Source # toBuilder :: NullsOrder -> Builder Source # extractor :: Extractor NullsOrder Source # decodeCurrent :: Decoder NullsOrder Source # bundleSerialise :: BundleSerialise NullsOrder Source #
type Rep NullsOrder Source #
Instance details Defined in ProjectM36.SQL.Select type Rep NullsOrder = D1 ('MetaData "NullsOrder" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "NullsFirst" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullsLast" 'PrefixI 'False) (U1 :: Type -> Type))

data JoinType Source #

Constructors

InnerJoin
RightOuterJoin
LeftOuterJoin
FullOuterJoin
CrossJoin
NaturalJoin

Instances

Instances details

Generic JoinType Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep JoinType :: Type -> Type Source # Methods from :: JoinType -> Rep JoinType x Source # to :: Rep JoinType x -> JoinType Source #
Show JoinType Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> JoinType -> ShowS Source # show :: JoinType -> String Source # showList :: [JoinType] -> ShowS Source #
NFData JoinType Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: JoinType -> () Source #
Eq JoinType Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: JoinType -> JoinType -> Bool Source # (/=) :: JoinType -> JoinType -> Bool Source #
Serialise JoinType Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy JoinType -> SchemaGen Schema Source # toBuilder :: JoinType -> Builder Source # extractor :: Extractor JoinType Source # decodeCurrent :: Decoder JoinType Source # bundleSerialise :: BundleSerialise JoinType Source #
type Rep JoinType Source #
Instance details Defined in ProjectM36.SQL.Select type Rep JoinType = D1 ('MetaData "JoinType" "ProjectM36.SQL.Select" "project-m36-1.1.1-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 #

Constructors

JoinOn JoinOnCondition
JoinUsing [UnqualifiedColumnName]

Instances

Instances details

Generic JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep JoinCondition :: Type -> Type Source # Methods from :: JoinCondition -> Rep JoinCondition x Source # to :: Rep JoinCondition x -> JoinCondition Source #
Show JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> JoinCondition -> ShowS Source # show :: JoinCondition -> String Source # showList :: [JoinCondition] -> ShowS Source #
NFData JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: JoinCondition -> () Source #
Eq JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: JoinCondition -> JoinCondition -> Bool Source # (/=) :: JoinCondition -> JoinCondition -> Bool Source #
Hashable JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> JoinCondition -> Int Source # hash :: JoinCondition -> Int Source #
Serialise JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy JoinCondition -> SchemaGen Schema Source # toBuilder :: JoinCondition -> Builder Source # extractor :: Extractor JoinCondition Source # decodeCurrent :: Decoder JoinCondition Source # bundleSerialise :: BundleSerialise JoinCondition Source #
type Rep JoinCondition Source #
Instance details Defined in ProjectM36.SQL.Select type Rep JoinCondition = D1 ('MetaData "JoinCondition" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "JoinOn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinOnCondition)) :+: C1 ('MetaCons "JoinUsing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UnqualifiedColumnName])))

newtype JoinOnCondition Source #

Constructors

JoinOnCondition ScalarExpr

Instances

Instances details

Generic JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep JoinOnCondition :: Type -> Type Source # Methods from :: JoinOnCondition -> Rep JoinOnCondition x Source # to :: Rep JoinOnCondition x -> JoinOnCondition Source #
Show JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> JoinOnCondition -> ShowS Source # show :: JoinOnCondition -> String Source # showList :: [JoinOnCondition] -> ShowS Source #
NFData JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: JoinOnCondition -> () Source #
Eq JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: JoinOnCondition -> JoinOnCondition -> Bool Source # (/=) :: JoinOnCondition -> JoinOnCondition -> Bool Source #
Hashable JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> JoinOnCondition -> Int Source # hash :: JoinOnCondition -> Int Source #
Serialise JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy JoinOnCondition -> SchemaGen Schema Source # toBuilder :: JoinOnCondition -> Builder Source # extractor :: Extractor JoinOnCondition Source # decodeCurrent :: Decoder JoinOnCondition Source # bundleSerialise :: BundleSerialise JoinOnCondition Source #
type Rep JoinOnCondition Source #
Instance details Defined in ProjectM36.SQL.Select type Rep JoinOnCondition = D1 ('MetaData "JoinOnCondition" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "JoinOnCondition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScalarExpr)))

newtype ColumnProjectionName Source #

Constructors

ColumnProjectionName [ProjectionName]

Instances

Instances details

Generic ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep ColumnProjectionName :: Type -> Type Source # Methods from :: ColumnProjectionName -> Rep ColumnProjectionName x Source # to :: Rep ColumnProjectionName x -> ColumnProjectionName Source #
Show ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> ColumnProjectionName -> ShowS Source # show :: ColumnProjectionName -> String Source # showList :: [ColumnProjectionName] -> ShowS Source #
NFData ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: ColumnProjectionName -> () Source #
Eq ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: ColumnProjectionName -> ColumnProjectionName -> Bool Source # (/=) :: ColumnProjectionName -> ColumnProjectionName -> Bool Source #
Ord ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: ColumnProjectionName -> ColumnProjectionName -> Ordering Source # (<) :: ColumnProjectionName -> ColumnProjectionName -> Bool Source # (<=) :: ColumnProjectionName -> ColumnProjectionName -> Bool Source # (>) :: ColumnProjectionName -> ColumnProjectionName -> Bool Source # (>=) :: ColumnProjectionName -> ColumnProjectionName -> Bool Source # max :: ColumnProjectionName -> ColumnProjectionName -> ColumnProjectionName Source # min :: ColumnProjectionName -> ColumnProjectionName -> ColumnProjectionName Source #
Hashable ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> ColumnProjectionName -> Int Source # hash :: ColumnProjectionName -> Int Source #
Serialise ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ColumnProjectionName -> SchemaGen Schema Source # toBuilder :: ColumnProjectionName -> Builder Source # extractor :: Extractor ColumnProjectionName Source # decodeCurrent :: Decoder ColumnProjectionName Source # bundleSerialise :: BundleSerialise ColumnProjectionName Source #
Serialise ProjectionScalarExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ProjectionScalarExpr -> SchemaGen Schema Source # toBuilder :: ProjectionScalarExpr -> Builder Source # extractor :: Extractor ProjectionScalarExpr Source # decodeCurrent :: Decoder ProjectionScalarExpr Source # bundleSerialise :: BundleSerialise ProjectionScalarExpr Source #
type Rep ColumnProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep ColumnProjectionName = D1 ('MetaData "ColumnProjectionName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "ColumnProjectionName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ProjectionName])))

data ProjectionName Source #

Constructors

ProjectionName Text
Asterisk

Instances

Instances details

Generic ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep ProjectionName :: Type -> Type Source # Methods from :: ProjectionName -> Rep ProjectionName x Source # to :: Rep ProjectionName x -> ProjectionName Source #
Show ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> ProjectionName -> ShowS Source # show :: ProjectionName -> String Source # showList :: [ProjectionName] -> ShowS Source #
NFData ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: ProjectionName -> () Source #
Eq ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: ProjectionName -> ProjectionName -> Bool Source # (/=) :: ProjectionName -> ProjectionName -> Bool Source #
Ord ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: ProjectionName -> ProjectionName -> Ordering Source # (<) :: ProjectionName -> ProjectionName -> Bool Source # (<=) :: ProjectionName -> ProjectionName -> Bool Source # (>) :: ProjectionName -> ProjectionName -> Bool Source # (>=) :: ProjectionName -> ProjectionName -> Bool Source # max :: ProjectionName -> ProjectionName -> ProjectionName Source # min :: ProjectionName -> ProjectionName -> ProjectionName Source #
Hashable ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> ProjectionName -> Int Source # hash :: ProjectionName -> Int Source #
Serialise ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ProjectionName -> SchemaGen Schema Source # toBuilder :: ProjectionName -> Builder Source # extractor :: Extractor ProjectionName Source # decodeCurrent :: Decoder ProjectionName Source # bundleSerialise :: BundleSerialise ProjectionName Source #
type Rep ProjectionName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep ProjectionName = D1 ('MetaData "ProjectionName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "ProjectionName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Asterisk" 'PrefixI 'False) (U1 :: Type -> Type))

newtype ColumnName Source #

Constructors

ColumnName [Text]

Instances

Instances details

Generic ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep ColumnName :: Type -> Type Source # Methods from :: ColumnName -> Rep ColumnName x Source # to :: Rep ColumnName x -> ColumnName Source #
Show ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> ColumnName -> ShowS Source # show :: ColumnName -> String Source # showList :: [ColumnName] -> ShowS Source #
NFData ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: ColumnName -> () Source #
Eq ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: ColumnName -> ColumnName -> Bool Source # (/=) :: ColumnName -> ColumnName -> Bool Source #
Ord ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: ColumnName -> ColumnName -> Ordering Source # (<) :: ColumnName -> ColumnName -> Bool Source # (<=) :: ColumnName -> ColumnName -> Bool Source # (>) :: ColumnName -> ColumnName -> Bool Source # (>=) :: ColumnName -> ColumnName -> Bool Source # max :: ColumnName -> ColumnName -> ColumnName Source # min :: ColumnName -> ColumnName -> ColumnName Source #
Hashable ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> ColumnName -> Int Source # hash :: ColumnName -> Int Source #
Serialise ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ColumnName -> SchemaGen Schema Source # toBuilder :: ColumnName -> Builder Source # extractor :: Extractor ColumnName Source # decodeCurrent :: Decoder ColumnName Source # bundleSerialise :: BundleSerialise ColumnName Source #
Serialise ScalarExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ScalarExpr -> SchemaGen Schema Source # toBuilder :: ScalarExpr -> Builder Source # extractor :: Extractor ScalarExpr Source # decodeCurrent :: Decoder ScalarExpr Source # bundleSerialise :: BundleSerialise ScalarExpr Source #
type Rep ColumnName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep ColumnName = D1 ('MetaData "ColumnName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "ColumnName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

newtype UnqualifiedColumnName Source #

Constructors

UnqualifiedColumnName Text

Instances

Instances details

Generic UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep UnqualifiedColumnName :: Type -> Type Source # Methods from :: UnqualifiedColumnName -> Rep UnqualifiedColumnName x Source # to :: Rep UnqualifiedColumnName x -> UnqualifiedColumnName Source #
Show UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> UnqualifiedColumnName -> ShowS Source # show :: UnqualifiedColumnName -> String Source # showList :: [UnqualifiedColumnName] -> ShowS Source #
NFData UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: UnqualifiedColumnName -> () Source #
Eq UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool Source # (/=) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool Source #
Ord UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: UnqualifiedColumnName -> UnqualifiedColumnName -> Ordering Source # (<) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool Source # (<=) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool Source # (>) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool Source # (>=) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool Source # max :: UnqualifiedColumnName -> UnqualifiedColumnName -> UnqualifiedColumnName Source # min :: UnqualifiedColumnName -> UnqualifiedColumnName -> UnqualifiedColumnName Source #
Hashable UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> UnqualifiedColumnName -> Int Source # hash :: UnqualifiedColumnName -> Int Source #
Serialise UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy UnqualifiedColumnName -> SchemaGen Schema Source # toBuilder :: UnqualifiedColumnName -> Builder Source # extractor :: Extractor UnqualifiedColumnName Source # decodeCurrent :: Decoder UnqualifiedColumnName Source # bundleSerialise :: BundleSerialise UnqualifiedColumnName Source #
type Rep UnqualifiedColumnName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep UnqualifiedColumnName = D1 ('MetaData "UnqualifiedColumnName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "UnqualifiedColumnName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TableName Source #

Constructors

TableName [Text]

Instances

Instances details

Generic TableName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep TableName :: Type -> Type Source # Methods from :: TableName -> Rep TableName x Source # to :: Rep TableName x -> TableName Source #
Show TableName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> TableName -> ShowS Source # show :: TableName -> String Source # showList :: [TableName] -> ShowS Source #
NFData TableName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: TableName -> () Source #
Eq TableName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: TableName -> TableName -> Bool Source # (/=) :: TableName -> TableName -> Bool Source #
Ord TableName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: TableName -> TableName -> Ordering Source # (<) :: TableName -> TableName -> Bool Source # (<=) :: TableName -> TableName -> Bool Source # (>) :: TableName -> TableName -> Bool Source # (>=) :: TableName -> TableName -> Bool Source # max :: TableName -> TableName -> TableName Source # min :: TableName -> TableName -> TableName Source #
Hashable TableName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> TableName -> Int Source # hash :: TableName -> Int Source #
Serialise TableName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy TableName -> SchemaGen Schema Source # toBuilder :: TableName -> Builder Source # extractor :: Extractor TableName Source # decodeCurrent :: Decoder TableName Source # bundleSerialise :: BundleSerialise TableName Source #
type Rep TableName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep TableName = D1 ('MetaData "TableName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "TableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

newtype OperatorName Source #

Constructors

OperatorName [Text]

Instances

Instances details

Generic OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep OperatorName :: Type -> Type Source # Methods from :: OperatorName -> Rep OperatorName x Source # to :: Rep OperatorName x -> OperatorName Source #
Show OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> OperatorName -> ShowS Source # show :: OperatorName -> String Source # showList :: [OperatorName] -> ShowS Source #
NFData OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: OperatorName -> () Source #
Eq OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: OperatorName -> OperatorName -> Bool Source # (/=) :: OperatorName -> OperatorName -> Bool Source #
Ord OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: OperatorName -> OperatorName -> Ordering Source # (<) :: OperatorName -> OperatorName -> Bool Source # (<=) :: OperatorName -> OperatorName -> Bool Source # (>) :: OperatorName -> OperatorName -> Bool Source # (>=) :: OperatorName -> OperatorName -> Bool Source # max :: OperatorName -> OperatorName -> OperatorName Source # min :: OperatorName -> OperatorName -> OperatorName Source #
Hashable OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> OperatorName -> Int Source # hash :: OperatorName -> Int Source #
Serialise OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy OperatorName -> SchemaGen Schema Source # toBuilder :: OperatorName -> Builder Source # extractor :: Extractor OperatorName Source # decodeCurrent :: Decoder OperatorName Source # bundleSerialise :: BundleSerialise OperatorName Source #
type Rep OperatorName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep OperatorName = D1 ('MetaData "OperatorName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "OperatorName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

newtype ColumnAlias Source #

Constructors

ColumnAlias
Fields unColumnAlias :: Text

Instances

Instances details

Generic ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep ColumnAlias :: Type -> Type Source # Methods from :: ColumnAlias -> Rep ColumnAlias x Source # to :: Rep ColumnAlias x -> ColumnAlias Source #
Show ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> ColumnAlias -> ShowS Source # show :: ColumnAlias -> String Source # showList :: [ColumnAlias] -> ShowS Source #
NFData ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: ColumnAlias -> () Source #
Eq ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: ColumnAlias -> ColumnAlias -> Bool Source # (/=) :: ColumnAlias -> ColumnAlias -> Bool Source #
Ord ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: ColumnAlias -> ColumnAlias -> Ordering Source # (<) :: ColumnAlias -> ColumnAlias -> Bool Source # (<=) :: ColumnAlias -> ColumnAlias -> Bool Source # (>) :: ColumnAlias -> ColumnAlias -> Bool Source # (>=) :: ColumnAlias -> ColumnAlias -> Bool Source # max :: ColumnAlias -> ColumnAlias -> ColumnAlias Source # min :: ColumnAlias -> ColumnAlias -> ColumnAlias Source #
Hashable ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> ColumnAlias -> Int Source # hash :: ColumnAlias -> Int Source #
Serialise ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy ColumnAlias -> SchemaGen Schema Source # toBuilder :: ColumnAlias -> Builder Source # extractor :: Extractor ColumnAlias Source # decodeCurrent :: Decoder ColumnAlias Source # bundleSerialise :: BundleSerialise ColumnAlias Source #
type Rep ColumnAlias Source #
Instance details Defined in ProjectM36.SQL.Select type Rep ColumnAlias = D1 ('MetaData "ColumnAlias" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "ColumnAlias" 'PrefixI 'True) (S1 ('MetaSel ('Just "unColumnAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TableAlias Source #

Constructors

TableAlias
Fields unTableAlias :: Text

Instances

Instances details

Monoid TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods mempty :: TableAlias Source # mappend :: TableAlias -> TableAlias -> TableAlias Source # mconcat :: [TableAlias] -> TableAlias Source #
Semigroup TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods (<>) :: TableAlias -> TableAlias -> TableAlias Source # sconcat :: NonEmpty TableAlias -> TableAlias Source # stimes :: Integral b => b -> TableAlias -> TableAlias Source #
Generic TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep TableAlias :: Type -> Type Source # Methods from :: TableAlias -> Rep TableAlias x Source # to :: Rep TableAlias x -> TableAlias Source #
Show TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> TableAlias -> ShowS Source # show :: TableAlias -> String Source # showList :: [TableAlias] -> ShowS Source #
NFData TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: TableAlias -> () Source #
Eq TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: TableAlias -> TableAlias -> Bool Source # (/=) :: TableAlias -> TableAlias -> Bool Source #
Ord TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: TableAlias -> TableAlias -> Ordering Source # (<) :: TableAlias -> TableAlias -> Bool Source # (<=) :: TableAlias -> TableAlias -> Bool Source # (>) :: TableAlias -> TableAlias -> Bool Source # (>=) :: TableAlias -> TableAlias -> Bool Source # max :: TableAlias -> TableAlias -> TableAlias Source # min :: TableAlias -> TableAlias -> TableAlias Source #
Hashable TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> TableAlias -> Int Source # hash :: TableAlias -> Int Source #
Serialise TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy TableAlias -> SchemaGen Schema Source # toBuilder :: TableAlias -> Builder Source # extractor :: Extractor TableAlias Source # decodeCurrent :: Decoder TableAlias Source # bundleSerialise :: BundleSerialise TableAlias Source #
type Rep TableAlias Source #
Instance details Defined in ProjectM36.SQL.Select type Rep TableAlias = D1 ('MetaData "TableAlias" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "TableAlias" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTableAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype FuncName Source #

Constructors

FuncName [Text]

Instances

Instances details

Generic FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep FuncName :: Type -> Type Source # Methods from :: FuncName -> Rep FuncName x Source # to :: Rep FuncName x -> FuncName Source #
Show FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> FuncName -> ShowS Source # show :: FuncName -> String Source # showList :: [FuncName] -> ShowS Source #
NFData FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: FuncName -> () Source #
Eq FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: FuncName -> FuncName -> Bool Source # (/=) :: FuncName -> FuncName -> Bool Source #
Ord FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Methods compare :: FuncName -> FuncName -> Ordering Source # (<) :: FuncName -> FuncName -> Bool Source # (<=) :: FuncName -> FuncName -> Bool Source # (>) :: FuncName -> FuncName -> Bool Source # (>=) :: FuncName -> FuncName -> Bool Source # max :: FuncName -> FuncName -> FuncName Source # min :: FuncName -> FuncName -> FuncName Source #
Hashable FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> FuncName -> Int Source # hash :: FuncName -> Int Source #
Serialise FuncName Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy FuncName -> SchemaGen Schema Source # toBuilder :: FuncName -> Builder Source # extractor :: Extractor FuncName Source # decodeCurrent :: Decoder FuncName Source # bundleSerialise :: BundleSerialise FuncName Source #
type Rep FuncName Source #
Instance details Defined in ProjectM36.SQL.Select type Rep FuncName = D1 ('MetaData "FuncName" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "FuncName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data Distinctness Source #

Constructors

Distinct
All

Instances

Instances details

Generic Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep Distinctness :: Type -> Type Source # Methods from :: Distinctness -> Rep Distinctness x Source # to :: Rep Distinctness x -> Distinctness Source #
Show Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> Distinctness -> ShowS Source # show :: Distinctness -> String Source # showList :: [Distinctness] -> ShowS Source #
NFData Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: Distinctness -> () Source #
Eq Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: Distinctness -> Distinctness -> Bool Source # (/=) :: Distinctness -> Distinctness -> Bool Source #
Hashable Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> Distinctness -> Int Source # hash :: Distinctness -> Int Source #
Serialise Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy Distinctness -> SchemaGen Schema Source # toBuilder :: Distinctness -> Builder Source # extractor :: Extractor Distinctness Source # decodeCurrent :: Decoder Distinctness Source # bundleSerialise :: BundleSerialise Distinctness Source #
type Rep Distinctness Source #
Instance details Defined in ProjectM36.SQL.Select type Rep Distinctness = D1 ('MetaData "Distinctness" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "Distinct" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "All" 'PrefixI 'False) (U1 :: Type -> Type))

newtype RestrictionExpr Source #

Constructors

RestrictionExpr ScalarExpr

Instances

Instances details

Generic RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep RestrictionExpr :: Type -> Type Source # Methods from :: RestrictionExpr -> Rep RestrictionExpr x Source # to :: Rep RestrictionExpr x -> RestrictionExpr Source #
Show RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> RestrictionExpr -> ShowS Source # show :: RestrictionExpr -> String Source # showList :: [RestrictionExpr] -> ShowS Source #
NFData RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: RestrictionExpr -> () Source #
Eq RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: RestrictionExpr -> RestrictionExpr -> Bool Source # (/=) :: RestrictionExpr -> RestrictionExpr -> Bool Source #
Hashable RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> RestrictionExpr -> Int Source # hash :: RestrictionExpr -> Int Source #
Serialise RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy RestrictionExpr -> SchemaGen Schema Source # toBuilder :: RestrictionExpr -> Builder Source # extractor :: Extractor RestrictionExpr Source # decodeCurrent :: Decoder RestrictionExpr Source # bundleSerialise :: BundleSerialise RestrictionExpr Source #
type Rep RestrictionExpr Source #
Instance details Defined in ProjectM36.SQL.Select type Rep RestrictionExpr = D1 ('MetaData "RestrictionExpr" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'True) (C1 ('MetaCons "RestrictionExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScalarExpr)))

data TableExpr Source #

Constructors

TableExpr
Fields fromClause :: [TableRef] whereClause :: Maybe RestrictionExpr groupByClause :: [GroupByExpr] havingClause :: Maybe HavingExpr orderByClause :: [SortExpr] limitClause :: Maybe Integer offsetClause :: Maybe Integer

Instances

Instances details

Generic TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select Associated Types type Rep TableExpr :: Type -> Type Source # Methods from :: TableExpr -> Rep TableExpr x Source # to :: Rep TableExpr x -> TableExpr Source #
Show TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods showsPrec :: Int -> TableExpr -> ShowS Source # show :: TableExpr -> String Source # showList :: [TableExpr] -> ShowS Source #
NFData TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods rnf :: TableExpr -> () Source #
Eq TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods (==) :: TableExpr -> TableExpr -> Bool Source # (/=) :: TableExpr -> TableExpr -> Bool Source #
Hashable TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods hashWithSalt :: Int -> TableExpr -> Int Source # hash :: TableExpr -> Int Source #
Serialise TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select Methods schemaGen :: Proxy TableExpr -> SchemaGen Schema Source # toBuilder :: TableExpr -> Builder Source # extractor :: Extractor TableExpr Source # decodeCurrent :: Decoder TableExpr Source # bundleSerialise :: BundleSerialise TableExpr Source #
type Rep TableExpr Source #
Instance details Defined in ProjectM36.SQL.Select type Rep TableExpr = D1 ('MetaData "TableExpr" "ProjectM36.SQL.Select" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "TableExpr" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fromClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableRef]) :: (S1 ('MetaSel ('Just "whereClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RestrictionExpr)) :: S1 ('MetaSel ('Just "groupByClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GroupByExpr]))) :: ((S1 ('MetaSel ('Just "havingClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HavingExpr)) :: S1 ('MetaSel ('Just "orderByClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SortExpr])) :: (S1 ('MetaSel ('Just "limitClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :: S1 ('MetaSel ('Just "offsetClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))))))

emptyTableExpr :: TableExpr Source #

data ScalarExprBaseF (n :: Type) r Source #

Constructors

IntegerLiteralF Integer
DoubleLiteralF Double
StringLiteralF Text
BooleanLiteralF Bool
NullLiteralF
IdentifierF n
BinaryOperatorF r OperatorName r
PrefixOperatorF OperatorName r
PostfixOperatorF r OperatorName
BetweenOperatorF r r r
FunctionApplicationF FuncName [r]
CaseExprF
Fields caseWhensF :: [(r, r)] caseElseF :: (Maybe r)
QuantifiedComparisonF
Fields qcExprF :: r qcOperatorF :: ComparisonOperator qcPredicateF :: QuantifiedComparisonPredicate qcQueryF :: Select
InExprF InFlag r InPredicateValue
BooleanOperatorExprF r BoolOp r
ExistsExprF Select

Instances

Instances details

Foldable (ScalarExprBaseF n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods fold :: Monoid m => ScalarExprBaseF n m -> m Source # foldMap :: Monoid m => (a -> m) -> ScalarExprBaseF n a -> m Source # foldMap' :: Monoid m => (a -> m) -> ScalarExprBaseF n a -> m Source # foldr :: (a -> b -> b) -> b -> ScalarExprBaseF n a -> b Source # foldr' :: (a -> b -> b) -> b -> ScalarExprBaseF n a -> b Source # foldl :: (b -> a -> b) -> b -> ScalarExprBaseF n a -> b Source # foldl' :: (b -> a -> b) -> b -> ScalarExprBaseF n a -> b Source # foldr1 :: (a -> a -> a) -> ScalarExprBaseF n a -> a Source # foldl1 :: (a -> a -> a) -> ScalarExprBaseF n a -> a Source # toList :: ScalarExprBaseF n a -> [a] Source # null :: ScalarExprBaseF n a -> Bool Source # length :: ScalarExprBaseF n a -> Int Source # elem :: Eq a => a -> ScalarExprBaseF n a -> Bool Source # maximum :: Ord a => ScalarExprBaseF n a -> a Source # minimum :: Ord a => ScalarExprBaseF n a -> a Source # sum :: Num a => ScalarExprBaseF n a -> a Source # product :: Num a => ScalarExprBaseF n a -> a Source #
Traversable (ScalarExprBaseF n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods traverse :: Applicative f => (a -> f b) -> ScalarExprBaseF n a -> f (ScalarExprBaseF n b) Source # sequenceA :: Applicative f => ScalarExprBaseF n (f a) -> f (ScalarExprBaseF n a) Source # mapM :: Monad m => (a -> m b) -> ScalarExprBaseF n a -> m (ScalarExprBaseF n b) Source # sequence :: Monad m => ScalarExprBaseF n (m a) -> m (ScalarExprBaseF n a) Source #
Functor (ScalarExprBaseF n) Source #
Instance details Defined in ProjectM36.SQL.Select Methods fmap :: (a -> b) -> ScalarExprBaseF n a -> ScalarExprBaseF n b Source # (<$) :: a -> ScalarExprBaseF n b -> ScalarExprBaseF n a Source #

SimpleTableRef TableName
InnerJoinTableRef TableRef JoinCondition
RightOuterJoinTableRef TableRef JoinCondition
LeftOuterJoinTableRef TableRef JoinCondition
FullOuterJoinTableRef TableRef JoinCondition
CrossJoinTableRef TableRef
NaturalJoinTableRef TableRef
AliasedTableRef TableRef TableAlias
QueryTableRef Select