ProjectM36.SQL.Select

Documentation

data Query

Constructors

QuerySelect Select

QueryValues [[ScalarExpr]]

QueryTable TableName

QueryOp QueryOperator Query Query

Instances

Generic Query

Defined in ProjectM36.SQL.Select

Associated Types

type Rep Query :: Type -> Type

Methods

from :: Query -> Rep Query x

to :: Rep Query x -> Query

Show Query

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> Query -> ShowS

show :: Query -> String

showList :: [Query] -> ShowS

NFData Query

Defined in ProjectM36.SQL.Select

Methods

rnf :: Query -> ()

Eq Query

Defined in ProjectM36.SQL.Select

Methods

(==) :: Query -> Query -> Bool

(/=) :: Query -> Query -> Bool

Serialise Query

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy Query -> SchemaGen Schema

toBuilder :: Query -> Builder

extractor :: Extractor Query

decodeCurrent :: Decoder Query

bundleSerialise :: BundleSerialise Query

type Rep Query

Defined in ProjectM36.SQL.Select

type Rep Query = D1 ('MetaData "Query" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

UnionQueryOperator

IntersectQueryOperator

ExceptQueryOperator

Instances

Generic QueryOperator

Defined in ProjectM36.SQL.Select

Associated Types

type Rep QueryOperator :: Type -> Type

Methods

from :: QueryOperator -> Rep QueryOperator x

to :: Rep QueryOperator x -> QueryOperator

Show QueryOperator

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> QueryOperator -> ShowS

show :: QueryOperator -> String

showList :: [QueryOperator] -> ShowS

NFData QueryOperator

Defined in ProjectM36.SQL.Select

Methods

rnf :: QueryOperator -> ()

Eq QueryOperator

Defined in ProjectM36.SQL.Select

Methods

(==) :: QueryOperator -> QueryOperator -> Bool

(/=) :: QueryOperator -> QueryOperator -> Bool

Serialise QueryOperator

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy QueryOperator -> SchemaGen Schema

toBuilder :: QueryOperator -> Builder

extractor :: Extractor QueryOperator

decodeCurrent :: Decoder QueryOperator

bundleSerialise :: BundleSerialise QueryOperator

type Rep QueryOperator

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)))

data Select

Constructors

Select

Fields

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

Instances

Generic Select

Defined in ProjectM36.SQL.Select

Associated Types

type Rep Select :: Type -> Type

Methods

from :: Select -> Rep Select x

to :: Rep Select x -> Select

Show Select

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> Select -> ShowS

show :: Select -> String

showList :: [Select] -> ShowS

NFData Select

Defined in ProjectM36.SQL.Select

Methods

rnf :: Select -> ()

Eq Select

Defined in ProjectM36.SQL.Select

Methods

(==) :: Select -> Select -> Bool

(/=) :: Select -> Select -> Bool

Hashable Select

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> Select -> Int

hash :: Select -> Int

Serialise Select

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy Select -> SchemaGen Schema

toBuilder :: Select -> Builder

extractor :: Extractor Select

decodeCurrent :: Decoder Select

bundleSerialise :: BundleSerialise Select

type Rep Select

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

type SelectItem = (ProjectionScalarExpr, Maybe ColumnAlias)

data WithClause

Constructors

WithClause

Fields

• isRecursive :: Bool
• withExprs :: NonEmpty WithExpr

Instances

Generic WithClause

Defined in ProjectM36.SQL.Select

Associated Types

type Rep WithClause :: Type -> Type

Methods

from :: WithClause -> Rep WithClause x

to :: Rep WithClause x -> WithClause

Show WithClause

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> WithClause -> ShowS

show :: WithClause -> String

showList :: [WithClause] -> ShowS

NFData WithClause

Defined in ProjectM36.SQL.Select

Methods

rnf :: WithClause -> ()

Eq WithClause

Defined in ProjectM36.SQL.Select

Methods

(==) :: WithClause -> WithClause -> Bool

(/=) :: WithClause -> WithClause -> Bool

Hashable WithClause

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> WithClause -> Int

hash :: WithClause -> Int

Serialise WithClause

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy WithClause -> SchemaGen Schema

toBuilder :: WithClause -> Builder

extractor :: Extractor WithClause

decodeCurrent :: Decoder WithClause

bundleSerialise :: BundleSerialise WithClause

type Rep WithClause

Defined in ProjectM36.SQL.Select

type Rep WithClause = D1 ('MetaData "WithClause" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

WithExpr WithExprAlias Select

Instances

Generic WithExpr

Defined in ProjectM36.SQL.Select

Associated Types

type Rep WithExpr :: Type -> Type

Methods

from :: WithExpr -> Rep WithExpr x

to :: Rep WithExpr x -> WithExpr

Show WithExpr

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> WithExpr -> ShowS

show :: WithExpr -> String

showList :: [WithExpr] -> ShowS

NFData WithExpr

Defined in ProjectM36.SQL.Select

Methods

rnf :: WithExpr -> ()

Eq WithExpr

Defined in ProjectM36.SQL.Select

Methods

(==) :: WithExpr -> WithExpr -> Bool

(/=) :: WithExpr -> WithExpr -> Bool

Hashable WithExpr

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> WithExpr -> Int

hash :: WithExpr -> Int

Serialise WithExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy WithExpr -> SchemaGen Schema

toBuilder :: WithExpr -> Builder

extractor :: Extractor WithExpr

decodeCurrent :: Decoder WithExpr

bundleSerialise :: BundleSerialise WithExpr

type Rep WithExpr

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

Constructors

WithExprAlias Text

Instances

Generic WithExprAlias

Defined in ProjectM36.SQL.Select

Associated Types

type Rep WithExprAlias :: Type -> Type

Methods

from :: WithExprAlias -> Rep WithExprAlias x

to :: Rep WithExprAlias x -> WithExprAlias

Show WithExprAlias

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> WithExprAlias -> ShowS

show :: WithExprAlias -> String

showList :: [WithExprAlias] -> ShowS

NFData WithExprAlias

Defined in ProjectM36.SQL.Select

Methods

rnf :: WithExprAlias -> ()

Eq WithExprAlias

Defined in ProjectM36.SQL.Select

Methods

(==) :: WithExprAlias -> WithExprAlias -> Bool

(/=) :: WithExprAlias -> WithExprAlias -> Bool

Hashable WithExprAlias

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> WithExprAlias -> Int

hash :: WithExprAlias -> Int

Serialise WithExprAlias

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy WithExprAlias -> SchemaGen Schema

toBuilder :: WithExprAlias -> Builder

extractor :: Extractor WithExprAlias

decodeCurrent :: Decoder WithExprAlias

bundleSerialise :: BundleSerialise WithExprAlias

type Rep WithExprAlias

Defined in ProjectM36.SQL.Select

type Rep WithExprAlias = D1 ('MetaData "WithExprAlias" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "WithExprAlias" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data InFlag

Constructors

In

NotIn

Instances

Generic InFlag

Defined in ProjectM36.SQL.Select

Associated Types

type Rep InFlag :: Type -> Type

Methods

from :: InFlag -> Rep InFlag x

to :: Rep InFlag x -> InFlag

Show InFlag

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> InFlag -> ShowS

show :: InFlag -> String

showList :: [InFlag] -> ShowS

NFData InFlag

Defined in ProjectM36.SQL.Select

Methods

rnf :: InFlag -> ()

Eq InFlag

Defined in ProjectM36.SQL.Select

Methods

(==) :: InFlag -> InFlag -> Bool

(/=) :: InFlag -> InFlag -> Bool

Hashable InFlag

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> InFlag -> Int

hash :: InFlag -> Int

Serialise InFlag

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy InFlag -> SchemaGen Schema

toBuilder :: InFlag -> Builder

extractor :: Extractor InFlag

decodeCurrent :: Decoder InFlag

bundleSerialise :: BundleSerialise InFlag

type Rep InFlag

Defined in ProjectM36.SQL.Select

type Rep InFlag = D1 ('MetaData "InFlag" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "In" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotIn" 'PrefixI 'False) (U1 :: Type -> Type))

data ComparisonOperator

Constructors

OpLT

OpGT

OpGTE

OpEQ

OpNE

OpLTE

Instances

Generic ComparisonOperator

Defined in ProjectM36.SQL.Select

Associated Types

type Rep ComparisonOperator :: Type -> Type

Methods

from :: ComparisonOperator -> Rep ComparisonOperator x

to :: Rep ComparisonOperator x -> ComparisonOperator

Show ComparisonOperator

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> ComparisonOperator -> ShowS

show :: ComparisonOperator -> String

showList :: [ComparisonOperator] -> ShowS

NFData ComparisonOperator

Defined in ProjectM36.SQL.Select

Methods

rnf :: ComparisonOperator -> ()

Eq ComparisonOperator

Defined in ProjectM36.SQL.Select

Methods

(==) :: ComparisonOperator -> ComparisonOperator -> Bool

(/=) :: ComparisonOperator -> ComparisonOperator -> Bool

Hashable ComparisonOperator

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> ComparisonOperator -> Int

hash :: ComparisonOperator -> Int

Serialise ComparisonOperator

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ComparisonOperator -> SchemaGen Schema

toBuilder :: ComparisonOperator -> Builder

extractor :: Extractor ComparisonOperator

decodeCurrent :: Decoder ComparisonOperator

bundleSerialise :: BundleSerialise ComparisonOperator

type Rep ComparisonOperator

Defined in ProjectM36.SQL.Select

type Rep ComparisonOperator = D1 ('MetaData "ComparisonOperator" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

QCAny

QCSome

QCAll

Instances

Generic QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

Associated Types

type Rep QuantifiedComparisonPredicate :: Type -> Type

Methods

from :: QuantifiedComparisonPredicate -> Rep QuantifiedComparisonPredicate x

to :: Rep QuantifiedComparisonPredicate x -> QuantifiedComparisonPredicate

Show QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> QuantifiedComparisonPredicate -> ShowS

show :: QuantifiedComparisonPredicate -> String

showList :: [QuantifiedComparisonPredicate] -> ShowS

NFData QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

Methods

rnf :: QuantifiedComparisonPredicate -> ()

Eq QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

Methods

(==) :: QuantifiedComparisonPredicate -> QuantifiedComparisonPredicate -> Bool

(/=) :: QuantifiedComparisonPredicate -> QuantifiedComparisonPredicate -> Bool

Hashable QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> QuantifiedComparisonPredicate -> Int

hash :: QuantifiedComparisonPredicate -> Int

Serialise QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy QuantifiedComparisonPredicate -> SchemaGen Schema

toBuilder :: QuantifiedComparisonPredicate -> Builder

extractor :: Extractor QuantifiedComparisonPredicate

decodeCurrent :: Decoder QuantifiedComparisonPredicate

bundleSerialise :: BundleSerialise QuantifiedComparisonPredicate

type Rep QuantifiedComparisonPredicate

Defined in ProjectM36.SQL.Select

type Rep QuantifiedComparisonPredicate = D1 ('MetaData "QuantifiedComparisonPredicate" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

SimpleTableRef TableName

InnerJoinTableRef TableRef JoinCondition

RightOuterJoinTableRef TableRef JoinCondition

LeftOuterJoinTableRef TableRef JoinCondition

FullOuterJoinTableRef TableRef JoinCondition

CrossJoinTableRef TableRef

NaturalJoinTableRef TableRef

AliasedTableRef TableRef TableAlias

QueryTableRef Select

Instances

Generic TableRef

Defined in ProjectM36.SQL.Select

Associated Types

type Rep TableRef :: Type -> Type

Methods

from :: TableRef -> Rep TableRef x

to :: Rep TableRef x -> TableRef

Show TableRef

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> TableRef -> ShowS

show :: TableRef -> String

showList :: [TableRef] -> ShowS

NFData TableRef

Defined in ProjectM36.SQL.Select

Methods

rnf :: TableRef -> ()

Eq TableRef

Defined in ProjectM36.SQL.Select

Methods

(==) :: TableRef -> TableRef -> Bool

(/=) :: TableRef -> TableRef -> Bool

Hashable TableRef

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> TableRef -> Int

hash :: TableRef -> Int

Serialise TableRef

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy TableRef -> SchemaGen Schema

toBuilder :: TableRef -> Builder

extractor :: Extractor TableRef

decodeCurrent :: Decoder TableRef

bundleSerialise :: BundleSerialise TableRef

type Rep TableRef

Defined in ProjectM36.SQL.Select

type Rep TableRef = D1 ('MetaData "TableRef" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

type ScalarExpr = ScalarExprBase ColumnName

data ScalarExprBase n

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

Serialise ProjectionScalarExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ProjectionScalarExpr -> SchemaGen Schema

toBuilder :: ProjectionScalarExpr -> Builder

extractor :: Extractor ProjectionScalarExpr

decodeCurrent :: Decoder ProjectionScalarExpr

bundleSerialise :: BundleSerialise ProjectionScalarExpr

Serialise ScalarExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ScalarExpr -> SchemaGen Schema

toBuilder :: ScalarExpr -> Builder

extractor :: Extractor ScalarExpr

decodeCurrent :: Decoder ScalarExpr

bundleSerialise :: BundleSerialise ScalarExpr

Generic (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Associated Types

type Rep (ScalarExprBase n) :: Type -> Type

Methods

from :: ScalarExprBase n -> Rep (ScalarExprBase n) x

to :: Rep (ScalarExprBase n) x -> ScalarExprBase n

Show n => Show (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> ScalarExprBase n -> ShowS

show :: ScalarExprBase n -> String

showList :: [ScalarExprBase n] -> ShowS

NFData n => NFData (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Methods

rnf :: ScalarExprBase n -> ()

Eq n => Eq (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Methods

(==) :: ScalarExprBase n -> ScalarExprBase n -> Bool

(/=) :: ScalarExprBase n -> ScalarExprBase n -> Bool

(Hashable n, Eq n) => Hashable (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> ScalarExprBase n -> Int

hash :: ScalarExprBase n -> Int

Corecursive (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Methods

embed :: Base (ScalarExprBase n) (ScalarExprBase n) -> ScalarExprBase n

ana :: (a -> Base (ScalarExprBase n) a) -> a -> ScalarExprBase n

apo :: (a -> Base (ScalarExprBase n) (Either (ScalarExprBase n) a)) -> a -> ScalarExprBase n

postpro :: Recursive (ScalarExprBase n) => (forall b. Base (ScalarExprBase n) b -> Base (ScalarExprBase n) b) -> (a -> Base (ScalarExprBase n) a) -> a -> ScalarExprBase n

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

Recursive (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

Methods

project :: ScalarExprBase n -> Base (ScalarExprBase n) (ScalarExprBase n)

cata :: (Base (ScalarExprBase n) a -> a) -> ScalarExprBase n -> a

para :: (Base (ScalarExprBase n) (ScalarExprBase n, a) -> a) -> ScalarExprBase n -> a

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

prepro :: Corecursive (ScalarExprBase n) => (forall b. Base (ScalarExprBase n) b -> Base (ScalarExprBase n) b) -> (Base (ScalarExprBase n) a -> a) -> ScalarExprBase n -> a

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

type Rep (ScalarExprBase n)

Defined in ProjectM36.SQL.Select

type Rep (ScalarExprBase n) = D1 ('MetaData "ScalarExprBase" "ProjectM36.SQL.Select" "project-m36-1.0.0-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)

Defined in ProjectM36.SQL.Select

type Base (ScalarExprBase n) = ScalarExprBaseF n

data BoolOp

Constructors

AndOp

OrOp

Instances

Generic BoolOp

Defined in ProjectM36.SQL.Select

Associated Types

type Rep BoolOp :: Type -> Type

Methods

from :: BoolOp -> Rep BoolOp x

to :: Rep BoolOp x -> BoolOp

Show BoolOp

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> BoolOp -> ShowS

show :: BoolOp -> String

showList :: [BoolOp] -> ShowS

NFData BoolOp

Defined in ProjectM36.SQL.Select

Methods

rnf :: BoolOp -> ()

Eq BoolOp

Defined in ProjectM36.SQL.Select

Methods

(==) :: BoolOp -> BoolOp -> Bool

(/=) :: BoolOp -> BoolOp -> Bool

Hashable BoolOp

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> BoolOp -> Int

hash :: BoolOp -> Int

Serialise BoolOp

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy BoolOp -> SchemaGen Schema

toBuilder :: BoolOp -> Builder

extractor :: Extractor BoolOp

decodeCurrent :: Decoder BoolOp

bundleSerialise :: BundleSerialise BoolOp

type Rep BoolOp

Defined in ProjectM36.SQL.Select

type Rep BoolOp = D1 ('MetaData "BoolOp" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "AndOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrOp" 'PrefixI 'False) (U1 :: Type -> Type))

data InPredicateValue

Constructors

InList [ScalarExpr]

InQueryExpr Select

InScalarExpr ScalarExpr

Instances

Generic InPredicateValue

Defined in ProjectM36.SQL.Select

Associated Types

type Rep InPredicateValue :: Type -> Type

Methods

from :: InPredicateValue -> Rep InPredicateValue x

to :: Rep InPredicateValue x -> InPredicateValue

Show InPredicateValue

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> InPredicateValue -> ShowS

show :: InPredicateValue -> String

showList :: [InPredicateValue] -> ShowS

NFData InPredicateValue

Defined in ProjectM36.SQL.Select

Methods

rnf :: InPredicateValue -> ()

Eq InPredicateValue

Defined in ProjectM36.SQL.Select

Methods

(==) :: InPredicateValue -> InPredicateValue -> Bool

(/=) :: InPredicateValue -> InPredicateValue -> Bool

Hashable InPredicateValue

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> InPredicateValue -> Int

hash :: InPredicateValue -> Int

Serialise InPredicateValue

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy InPredicateValue -> SchemaGen Schema

toBuilder :: InPredicateValue -> Builder

extractor :: Extractor InPredicateValue

decodeCurrent :: Decoder InPredicateValue

bundleSerialise :: BundleSerialise InPredicateValue

type Rep InPredicateValue

Defined in ProjectM36.SQL.Select

type Rep InPredicateValue = D1 ('MetaData "InPredicateValue" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

GroupByExpr ProjectionScalarExpr

Instances

Generic GroupByExpr

Defined in ProjectM36.SQL.Select

Associated Types

type Rep GroupByExpr :: Type -> Type

Methods

from :: GroupByExpr -> Rep GroupByExpr x

to :: Rep GroupByExpr x -> GroupByExpr

Show GroupByExpr

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> GroupByExpr -> ShowS

show :: GroupByExpr -> String

showList :: [GroupByExpr] -> ShowS

NFData GroupByExpr

Defined in ProjectM36.SQL.Select

Methods

rnf :: GroupByExpr -> ()

Eq GroupByExpr

Defined in ProjectM36.SQL.Select

Methods

(==) :: GroupByExpr -> GroupByExpr -> Bool

(/=) :: GroupByExpr -> GroupByExpr -> Bool

Hashable GroupByExpr

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> GroupByExpr -> Int

hash :: GroupByExpr -> Int

Serialise GroupByExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy GroupByExpr -> SchemaGen Schema

toBuilder :: GroupByExpr -> Builder

extractor :: Extractor GroupByExpr

decodeCurrent :: Decoder GroupByExpr

bundleSerialise :: BundleSerialise GroupByExpr

type Rep GroupByExpr

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

Constructors

HavingExpr ProjectionScalarExpr

Instances

Generic HavingExpr

Defined in ProjectM36.SQL.Select

Associated Types

type Rep HavingExpr :: Type -> Type

Methods

from :: HavingExpr -> Rep HavingExpr x

to :: Rep HavingExpr x -> HavingExpr

Show HavingExpr

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> HavingExpr -> ShowS

show :: HavingExpr -> String

showList :: [HavingExpr] -> ShowS

NFData HavingExpr

Defined in ProjectM36.SQL.Select

Methods

rnf :: HavingExpr -> ()

Eq HavingExpr

Defined in ProjectM36.SQL.Select

Methods

(==) :: HavingExpr -> HavingExpr -> Bool

(/=) :: HavingExpr -> HavingExpr -> Bool

Hashable HavingExpr

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> HavingExpr -> Int

hash :: HavingExpr -> Int

Serialise HavingExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy HavingExpr -> SchemaGen Schema

toBuilder :: HavingExpr -> Builder

extractor :: Extractor HavingExpr

decodeCurrent :: Decoder HavingExpr

bundleSerialise :: BundleSerialise HavingExpr

type Rep HavingExpr

Defined in ProjectM36.SQL.Select

type Rep HavingExpr = D1 ('MetaData "HavingExpr" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "HavingExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectionScalarExpr)))

data SortExpr

Constructors

SortExpr ScalarExpr (Maybe Direction) (Maybe NullsOrder)

Instances

Generic SortExpr

Defined in ProjectM36.SQL.Select

Associated Types

type Rep SortExpr :: Type -> Type

Methods

from :: SortExpr -> Rep SortExpr x

to :: Rep SortExpr x -> SortExpr

Show SortExpr

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> SortExpr -> ShowS

show :: SortExpr -> String

showList :: [SortExpr] -> ShowS

NFData SortExpr

Defined in ProjectM36.SQL.Select

Methods

rnf :: SortExpr -> ()

Eq SortExpr

Defined in ProjectM36.SQL.Select

Methods

(==) :: SortExpr -> SortExpr -> Bool

(/=) :: SortExpr -> SortExpr -> Bool

Hashable SortExpr

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> SortExpr -> Int

hash :: SortExpr -> Int

Serialise SortExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy SortExpr -> SchemaGen Schema

toBuilder :: SortExpr -> Builder

extractor :: Extractor SortExpr

decodeCurrent :: Decoder SortExpr

bundleSerialise :: BundleSerialise SortExpr

type Rep SortExpr

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 Direction

Constructors

Ascending

Descending

Instances

Generic Direction

Defined in ProjectM36.SQL.Select

Associated Types

type Rep Direction :: Type -> Type

Methods

from :: Direction -> Rep Direction x

to :: Rep Direction x -> Direction

Show Direction

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

NFData Direction

Defined in ProjectM36.SQL.Select

Methods

rnf :: Direction -> ()

Eq Direction

Defined in ProjectM36.SQL.Select

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool

Hashable Direction

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> Direction -> Int

hash :: Direction -> Int

Serialise Direction

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy Direction -> SchemaGen Schema

toBuilder :: Direction -> Builder

extractor :: Extractor Direction

decodeCurrent :: Decoder Direction

bundleSerialise :: BundleSerialise Direction

type Rep Direction

Defined in ProjectM36.SQL.Select

type Rep Direction = D1 ('MetaData "Direction" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "Ascending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Descending" 'PrefixI 'False) (U1 :: Type -> Type))

data NullsOrder

Constructors

NullsFirst

NullsLast

Instances

Generic NullsOrder

Defined in ProjectM36.SQL.Select

Associated Types

type Rep NullsOrder :: Type -> Type

Methods

from :: NullsOrder -> Rep NullsOrder x

to :: Rep NullsOrder x -> NullsOrder

Show NullsOrder

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> NullsOrder -> ShowS

show :: NullsOrder -> String

showList :: [NullsOrder] -> ShowS

NFData NullsOrder

Defined in ProjectM36.SQL.Select

Methods

rnf :: NullsOrder -> ()

Eq NullsOrder

Defined in ProjectM36.SQL.Select

Methods

(==) :: NullsOrder -> NullsOrder -> Bool

(/=) :: NullsOrder -> NullsOrder -> Bool

Hashable NullsOrder

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> NullsOrder -> Int

hash :: NullsOrder -> Int

Serialise NullsOrder

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy NullsOrder -> SchemaGen Schema

toBuilder :: NullsOrder -> Builder

extractor :: Extractor NullsOrder

decodeCurrent :: Decoder NullsOrder

bundleSerialise :: BundleSerialise NullsOrder

type Rep NullsOrder

Defined in ProjectM36.SQL.Select

type Rep NullsOrder = D1 ('MetaData "NullsOrder" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "NullsFirst" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullsLast" 'PrefixI 'False) (U1 :: Type -> Type))

data JoinType

Constructors

InnerJoin

RightOuterJoin

LeftOuterJoin

FullOuterJoin

CrossJoin

NaturalJoin

Instances

Generic JoinType

Defined in ProjectM36.SQL.Select

Associated Types

type Rep JoinType :: Type -> Type

Methods

from :: JoinType -> Rep JoinType x

to :: Rep JoinType x -> JoinType

Show JoinType

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> JoinType -> ShowS

show :: JoinType -> String

showList :: [JoinType] -> ShowS

NFData JoinType

Defined in ProjectM36.SQL.Select

Methods

rnf :: JoinType -> ()

Eq JoinType

Defined in ProjectM36.SQL.Select

Methods

(==) :: JoinType -> JoinType -> Bool

(/=) :: JoinType -> JoinType -> Bool

Serialise JoinType

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy JoinType -> SchemaGen Schema

toBuilder :: JoinType -> Builder

extractor :: Extractor JoinType

decodeCurrent :: Decoder JoinType

bundleSerialise :: BundleSerialise JoinType

type Rep JoinType

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

Constructors

JoinOn JoinOnCondition

JoinUsing [UnqualifiedColumnName]

Instances

Generic JoinCondition

Defined in ProjectM36.SQL.Select

Associated Types

type Rep JoinCondition :: Type -> Type

Methods

from :: JoinCondition -> Rep JoinCondition x

to :: Rep JoinCondition x -> JoinCondition

Show JoinCondition

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> JoinCondition -> ShowS

show :: JoinCondition -> String

showList :: [JoinCondition] -> ShowS

NFData JoinCondition

Defined in ProjectM36.SQL.Select

Methods

rnf :: JoinCondition -> ()

Eq JoinCondition

Defined in ProjectM36.SQL.Select

Methods

(==) :: JoinCondition -> JoinCondition -> Bool

(/=) :: JoinCondition -> JoinCondition -> Bool

Hashable JoinCondition

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> JoinCondition -> Int

hash :: JoinCondition -> Int

Serialise JoinCondition

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy JoinCondition -> SchemaGen Schema

toBuilder :: JoinCondition -> Builder

extractor :: Extractor JoinCondition

decodeCurrent :: Decoder JoinCondition

bundleSerialise :: BundleSerialise JoinCondition

type Rep JoinCondition

Defined in ProjectM36.SQL.Select

type Rep JoinCondition = D1 ('MetaData "JoinCondition" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

JoinOnCondition ScalarExpr

Instances

Generic JoinOnCondition

Defined in ProjectM36.SQL.Select

Associated Types

type Rep JoinOnCondition :: Type -> Type

Methods

from :: JoinOnCondition -> Rep JoinOnCondition x

to :: Rep JoinOnCondition x -> JoinOnCondition

Show JoinOnCondition

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> JoinOnCondition -> ShowS

show :: JoinOnCondition -> String

showList :: [JoinOnCondition] -> ShowS

NFData JoinOnCondition

Defined in ProjectM36.SQL.Select

Methods

rnf :: JoinOnCondition -> ()

Eq JoinOnCondition

Defined in ProjectM36.SQL.Select

Methods

(==) :: JoinOnCondition -> JoinOnCondition -> Bool

(/=) :: JoinOnCondition -> JoinOnCondition -> Bool

Hashable JoinOnCondition

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> JoinOnCondition -> Int

hash :: JoinOnCondition -> Int

Serialise JoinOnCondition

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy JoinOnCondition -> SchemaGen Schema

toBuilder :: JoinOnCondition -> Builder

extractor :: Extractor JoinOnCondition

decodeCurrent :: Decoder JoinOnCondition

bundleSerialise :: BundleSerialise JoinOnCondition

type Rep JoinOnCondition

Defined in ProjectM36.SQL.Select

type Rep JoinOnCondition = D1 ('MetaData "JoinOnCondition" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "JoinOnCondition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScalarExpr)))

newtype ColumnProjectionName

Constructors

ColumnProjectionName [ProjectionName]

Instances

Generic ColumnProjectionName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep ColumnProjectionName :: Type -> Type

Methods

from :: ColumnProjectionName -> Rep ColumnProjectionName x

to :: Rep ColumnProjectionName x -> ColumnProjectionName

Show ColumnProjectionName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> ColumnProjectionName -> ShowS

show :: ColumnProjectionName -> String

showList :: [ColumnProjectionName] -> ShowS

NFData ColumnProjectionName

Defined in ProjectM36.SQL.Select

Methods

rnf :: ColumnProjectionName -> ()

Eq ColumnProjectionName

Defined in ProjectM36.SQL.Select

Methods

(==) :: ColumnProjectionName -> ColumnProjectionName -> Bool

(/=) :: ColumnProjectionName -> ColumnProjectionName -> Bool

Ord ColumnProjectionName

Defined in ProjectM36.SQL.Select

Methods

compare :: ColumnProjectionName -> ColumnProjectionName -> Ordering

(<) :: ColumnProjectionName -> ColumnProjectionName -> Bool

(<=) :: ColumnProjectionName -> ColumnProjectionName -> Bool

(>) :: ColumnProjectionName -> ColumnProjectionName -> Bool

(>=) :: ColumnProjectionName -> ColumnProjectionName -> Bool

max :: ColumnProjectionName -> ColumnProjectionName -> ColumnProjectionName

min :: ColumnProjectionName -> ColumnProjectionName -> ColumnProjectionName

Hashable ColumnProjectionName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> ColumnProjectionName -> Int

hash :: ColumnProjectionName -> Int

Serialise ColumnProjectionName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ColumnProjectionName -> SchemaGen Schema

toBuilder :: ColumnProjectionName -> Builder

extractor :: Extractor ColumnProjectionName

decodeCurrent :: Decoder ColumnProjectionName

bundleSerialise :: BundleSerialise ColumnProjectionName

Serialise ProjectionScalarExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ProjectionScalarExpr -> SchemaGen Schema

toBuilder :: ProjectionScalarExpr -> Builder

extractor :: Extractor ProjectionScalarExpr

decodeCurrent :: Decoder ProjectionScalarExpr

bundleSerialise :: BundleSerialise ProjectionScalarExpr

type Rep ColumnProjectionName

Defined in ProjectM36.SQL.Select

type Rep ColumnProjectionName = D1 ('MetaData "ColumnProjectionName" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "ColumnProjectionName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ProjectionName])))

data ProjectionName

Constructors

ProjectionName Text

Asterisk

Instances

Generic ProjectionName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep ProjectionName :: Type -> Type

Methods

from :: ProjectionName -> Rep ProjectionName x

to :: Rep ProjectionName x -> ProjectionName

Show ProjectionName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> ProjectionName -> ShowS

show :: ProjectionName -> String

showList :: [ProjectionName] -> ShowS

NFData ProjectionName

Defined in ProjectM36.SQL.Select

Methods

rnf :: ProjectionName -> ()

Eq ProjectionName

Defined in ProjectM36.SQL.Select

Methods

(==) :: ProjectionName -> ProjectionName -> Bool

(/=) :: ProjectionName -> ProjectionName -> Bool

Ord ProjectionName

Defined in ProjectM36.SQL.Select

Methods

compare :: ProjectionName -> ProjectionName -> Ordering

(<) :: ProjectionName -> ProjectionName -> Bool

(<=) :: ProjectionName -> ProjectionName -> Bool

(>) :: ProjectionName -> ProjectionName -> Bool

(>=) :: ProjectionName -> ProjectionName -> Bool

max :: ProjectionName -> ProjectionName -> ProjectionName

min :: ProjectionName -> ProjectionName -> ProjectionName

Hashable ProjectionName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> ProjectionName -> Int

hash :: ProjectionName -> Int

Serialise ProjectionName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ProjectionName -> SchemaGen Schema

toBuilder :: ProjectionName -> Builder

extractor :: Extractor ProjectionName

decodeCurrent :: Decoder ProjectionName

bundleSerialise :: BundleSerialise ProjectionName

type Rep ProjectionName

Defined in ProjectM36.SQL.Select

type Rep ProjectionName = D1 ('MetaData "ProjectionName" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

Constructors

ColumnName [Text]

Instances

Generic ColumnName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep ColumnName :: Type -> Type

Methods

from :: ColumnName -> Rep ColumnName x

to :: Rep ColumnName x -> ColumnName

Show ColumnName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> ColumnName -> ShowS

show :: ColumnName -> String

showList :: [ColumnName] -> ShowS

NFData ColumnName

Defined in ProjectM36.SQL.Select

Methods

rnf :: ColumnName -> ()

Eq ColumnName

Defined in ProjectM36.SQL.Select

Methods

(==) :: ColumnName -> ColumnName -> Bool

(/=) :: ColumnName -> ColumnName -> Bool

Ord ColumnName

Defined in ProjectM36.SQL.Select

Methods

compare :: ColumnName -> ColumnName -> Ordering

(<) :: ColumnName -> ColumnName -> Bool

(<=) :: ColumnName -> ColumnName -> Bool

(>) :: ColumnName -> ColumnName -> Bool

(>=) :: ColumnName -> ColumnName -> Bool

max :: ColumnName -> ColumnName -> ColumnName

min :: ColumnName -> ColumnName -> ColumnName

Hashable ColumnName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> ColumnName -> Int

hash :: ColumnName -> Int

Serialise ColumnName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ColumnName -> SchemaGen Schema

toBuilder :: ColumnName -> Builder

extractor :: Extractor ColumnName

decodeCurrent :: Decoder ColumnName

bundleSerialise :: BundleSerialise ColumnName

Serialise ScalarExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ScalarExpr -> SchemaGen Schema

toBuilder :: ScalarExpr -> Builder

extractor :: Extractor ScalarExpr

decodeCurrent :: Decoder ScalarExpr

bundleSerialise :: BundleSerialise ScalarExpr

type Rep ColumnName

Defined in ProjectM36.SQL.Select

type Rep ColumnName = D1 ('MetaData "ColumnName" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "ColumnName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

newtype UnqualifiedColumnName

Constructors

UnqualifiedColumnName Text

Instances

Generic UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep UnqualifiedColumnName :: Type -> Type

Methods

from :: UnqualifiedColumnName -> Rep UnqualifiedColumnName x

to :: Rep UnqualifiedColumnName x -> UnqualifiedColumnName

Show UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> UnqualifiedColumnName -> ShowS

show :: UnqualifiedColumnName -> String

showList :: [UnqualifiedColumnName] -> ShowS

NFData UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Methods

rnf :: UnqualifiedColumnName -> ()

Eq UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Methods

(==) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool

(/=) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool

Ord UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Methods

compare :: UnqualifiedColumnName -> UnqualifiedColumnName -> Ordering

(<) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool

(<=) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool

(>) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool

(>=) :: UnqualifiedColumnName -> UnqualifiedColumnName -> Bool

max :: UnqualifiedColumnName -> UnqualifiedColumnName -> UnqualifiedColumnName

min :: UnqualifiedColumnName -> UnqualifiedColumnName -> UnqualifiedColumnName

Hashable UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> UnqualifiedColumnName -> Int

hash :: UnqualifiedColumnName -> Int

Serialise UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy UnqualifiedColumnName -> SchemaGen Schema

toBuilder :: UnqualifiedColumnName -> Builder

extractor :: Extractor UnqualifiedColumnName

decodeCurrent :: Decoder UnqualifiedColumnName

bundleSerialise :: BundleSerialise UnqualifiedColumnName

type Rep UnqualifiedColumnName

Defined in ProjectM36.SQL.Select

type Rep UnqualifiedColumnName = D1 ('MetaData "UnqualifiedColumnName" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "UnqualifiedColumnName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TableName

Constructors

TableName [Text]

Instances

Generic TableName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep TableName :: Type -> Type

Methods

from :: TableName -> Rep TableName x

to :: Rep TableName x -> TableName

Show TableName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> TableName -> ShowS

show :: TableName -> String

showList :: [TableName] -> ShowS

NFData TableName

Defined in ProjectM36.SQL.Select

Methods

rnf :: TableName -> ()

Eq TableName

Defined in ProjectM36.SQL.Select

Methods

(==) :: TableName -> TableName -> Bool

(/=) :: TableName -> TableName -> Bool

Ord TableName

Defined in ProjectM36.SQL.Select

Methods

compare :: TableName -> TableName -> Ordering

(<) :: TableName -> TableName -> Bool

(<=) :: TableName -> TableName -> Bool

(>) :: TableName -> TableName -> Bool

(>=) :: TableName -> TableName -> Bool

max :: TableName -> TableName -> TableName

min :: TableName -> TableName -> TableName

Hashable TableName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> TableName -> Int

hash :: TableName -> Int

Serialise TableName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy TableName -> SchemaGen Schema

toBuilder :: TableName -> Builder

extractor :: Extractor TableName

decodeCurrent :: Decoder TableName

bundleSerialise :: BundleSerialise TableName

type Rep TableName

Defined in ProjectM36.SQL.Select

type Rep TableName = D1 ('MetaData "TableName" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "TableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

newtype OperatorName

Constructors

OperatorName [Text]

Instances

Generic OperatorName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep OperatorName :: Type -> Type

Methods

from :: OperatorName -> Rep OperatorName x

to :: Rep OperatorName x -> OperatorName

Show OperatorName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> OperatorName -> ShowS

show :: OperatorName -> String

showList :: [OperatorName] -> ShowS

NFData OperatorName

Defined in ProjectM36.SQL.Select

Methods

rnf :: OperatorName -> ()

Eq OperatorName

Defined in ProjectM36.SQL.Select

Methods

(==) :: OperatorName -> OperatorName -> Bool

(/=) :: OperatorName -> OperatorName -> Bool

Ord OperatorName

Defined in ProjectM36.SQL.Select

Methods

compare :: OperatorName -> OperatorName -> Ordering

(<) :: OperatorName -> OperatorName -> Bool

(<=) :: OperatorName -> OperatorName -> Bool

(>) :: OperatorName -> OperatorName -> Bool

(>=) :: OperatorName -> OperatorName -> Bool

max :: OperatorName -> OperatorName -> OperatorName

min :: OperatorName -> OperatorName -> OperatorName

Hashable OperatorName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> OperatorName -> Int

hash :: OperatorName -> Int

Serialise OperatorName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy OperatorName -> SchemaGen Schema

toBuilder :: OperatorName -> Builder

extractor :: Extractor OperatorName

decodeCurrent :: Decoder OperatorName

bundleSerialise :: BundleSerialise OperatorName

type Rep OperatorName

Defined in ProjectM36.SQL.Select

type Rep OperatorName = D1 ('MetaData "OperatorName" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "OperatorName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

newtype ColumnAlias

Constructors

ColumnAlias

Fields

• unColumnAlias :: Text

Instances

Generic ColumnAlias

Defined in ProjectM36.SQL.Select

Associated Types

type Rep ColumnAlias :: Type -> Type

Methods

from :: ColumnAlias -> Rep ColumnAlias x

to :: Rep ColumnAlias x -> ColumnAlias

Show ColumnAlias

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> ColumnAlias -> ShowS

show :: ColumnAlias -> String

showList :: [ColumnAlias] -> ShowS

NFData ColumnAlias

Defined in ProjectM36.SQL.Select

Methods

rnf :: ColumnAlias -> ()

Eq ColumnAlias

Defined in ProjectM36.SQL.Select

Methods

(==) :: ColumnAlias -> ColumnAlias -> Bool

(/=) :: ColumnAlias -> ColumnAlias -> Bool

Ord ColumnAlias

Defined in ProjectM36.SQL.Select

Methods

compare :: ColumnAlias -> ColumnAlias -> Ordering

(<) :: ColumnAlias -> ColumnAlias -> Bool

(<=) :: ColumnAlias -> ColumnAlias -> Bool

(>) :: ColumnAlias -> ColumnAlias -> Bool

(>=) :: ColumnAlias -> ColumnAlias -> Bool

max :: ColumnAlias -> ColumnAlias -> ColumnAlias

min :: ColumnAlias -> ColumnAlias -> ColumnAlias

Hashable ColumnAlias

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> ColumnAlias -> Int

hash :: ColumnAlias -> Int

Serialise ColumnAlias

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy ColumnAlias -> SchemaGen Schema

toBuilder :: ColumnAlias -> Builder

extractor :: Extractor ColumnAlias

decodeCurrent :: Decoder ColumnAlias

bundleSerialise :: BundleSerialise ColumnAlias

type Rep ColumnAlias

Defined in ProjectM36.SQL.Select

type Rep ColumnAlias = D1 ('MetaData "ColumnAlias" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "ColumnAlias" 'PrefixI 'True) (S1 ('MetaSel ('Just "unColumnAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TableAlias

Constructors

TableAlias

Fields

• unTableAlias :: Text

Instances

Monoid TableAlias

Defined in ProjectM36.SQL.Select

Methods

mempty :: TableAlias

mappend :: TableAlias -> TableAlias -> TableAlias

mconcat :: [TableAlias] -> TableAlias

Semigroup TableAlias

Defined in ProjectM36.SQL.Select

Methods

(<>) :: TableAlias -> TableAlias -> TableAlias

sconcat :: NonEmpty TableAlias -> TableAlias

stimes :: Integral b => b -> TableAlias -> TableAlias

Generic TableAlias

Defined in ProjectM36.SQL.Select

Associated Types

type Rep TableAlias :: Type -> Type

Methods

from :: TableAlias -> Rep TableAlias x

to :: Rep TableAlias x -> TableAlias

Show TableAlias

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> TableAlias -> ShowS

show :: TableAlias -> String

showList :: [TableAlias] -> ShowS

NFData TableAlias

Defined in ProjectM36.SQL.Select

Methods

rnf :: TableAlias -> ()

Eq TableAlias

Defined in ProjectM36.SQL.Select

Methods

(==) :: TableAlias -> TableAlias -> Bool

(/=) :: TableAlias -> TableAlias -> Bool

Ord TableAlias

Defined in ProjectM36.SQL.Select

Methods

compare :: TableAlias -> TableAlias -> Ordering

(<) :: TableAlias -> TableAlias -> Bool

(<=) :: TableAlias -> TableAlias -> Bool

(>) :: TableAlias -> TableAlias -> Bool

(>=) :: TableAlias -> TableAlias -> Bool

max :: TableAlias -> TableAlias -> TableAlias

min :: TableAlias -> TableAlias -> TableAlias

Hashable TableAlias

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> TableAlias -> Int

hash :: TableAlias -> Int

Serialise TableAlias

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy TableAlias -> SchemaGen Schema

toBuilder :: TableAlias -> Builder

extractor :: Extractor TableAlias

decodeCurrent :: Decoder TableAlias

bundleSerialise :: BundleSerialise TableAlias

type Rep TableAlias

Defined in ProjectM36.SQL.Select

type Rep TableAlias = D1 ('MetaData "TableAlias" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "TableAlias" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTableAlias") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype FuncName

Constructors

FuncName [Text]

Instances

Generic FuncName

Defined in ProjectM36.SQL.Select

Associated Types

type Rep FuncName :: Type -> Type

Methods

from :: FuncName -> Rep FuncName x

to :: Rep FuncName x -> FuncName

Show FuncName

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> FuncName -> ShowS

show :: FuncName -> String

showList :: [FuncName] -> ShowS

NFData FuncName

Defined in ProjectM36.SQL.Select

Methods

rnf :: FuncName -> ()

Eq FuncName

Defined in ProjectM36.SQL.Select

Methods

(==) :: FuncName -> FuncName -> Bool

(/=) :: FuncName -> FuncName -> Bool

Ord FuncName

Defined in ProjectM36.SQL.Select

Methods

compare :: FuncName -> FuncName -> Ordering

(<) :: FuncName -> FuncName -> Bool

(<=) :: FuncName -> FuncName -> Bool

(>) :: FuncName -> FuncName -> Bool

(>=) :: FuncName -> FuncName -> Bool

max :: FuncName -> FuncName -> FuncName

min :: FuncName -> FuncName -> FuncName

Hashable FuncName

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> FuncName -> Int

hash :: FuncName -> Int

Serialise FuncName

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy FuncName -> SchemaGen Schema

toBuilder :: FuncName -> Builder

extractor :: Extractor FuncName

decodeCurrent :: Decoder FuncName

bundleSerialise :: BundleSerialise FuncName

type Rep FuncName

Defined in ProjectM36.SQL.Select

type Rep FuncName = D1 ('MetaData "FuncName" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "FuncName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data Distinctness

Constructors

Distinct

All

Instances

Generic Distinctness

Defined in ProjectM36.SQL.Select

Associated Types

type Rep Distinctness :: Type -> Type

Methods

from :: Distinctness -> Rep Distinctness x

to :: Rep Distinctness x -> Distinctness

Show Distinctness

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> Distinctness -> ShowS

show :: Distinctness -> String

showList :: [Distinctness] -> ShowS

NFData Distinctness

Defined in ProjectM36.SQL.Select

Methods

rnf :: Distinctness -> ()

Eq Distinctness

Defined in ProjectM36.SQL.Select

Methods

(==) :: Distinctness -> Distinctness -> Bool

(/=) :: Distinctness -> Distinctness -> Bool

Hashable Distinctness

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> Distinctness -> Int

hash :: Distinctness -> Int

Serialise Distinctness

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy Distinctness -> SchemaGen Schema

toBuilder :: Distinctness -> Builder

extractor :: Extractor Distinctness

decodeCurrent :: Decoder Distinctness

bundleSerialise :: BundleSerialise Distinctness

type Rep Distinctness

Defined in ProjectM36.SQL.Select

type Rep Distinctness = D1 ('MetaData "Distinctness" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "Distinct" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "All" 'PrefixI 'False) (U1 :: Type -> Type))

newtype RestrictionExpr

Constructors

RestrictionExpr ScalarExpr

Instances

Generic RestrictionExpr

Defined in ProjectM36.SQL.Select

Associated Types

type Rep RestrictionExpr :: Type -> Type

Methods

from :: RestrictionExpr -> Rep RestrictionExpr x

to :: Rep RestrictionExpr x -> RestrictionExpr

Show RestrictionExpr

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> RestrictionExpr -> ShowS

show :: RestrictionExpr -> String

showList :: [RestrictionExpr] -> ShowS

NFData RestrictionExpr

Defined in ProjectM36.SQL.Select

Methods

rnf :: RestrictionExpr -> ()

Eq RestrictionExpr

Defined in ProjectM36.SQL.Select

Methods

(==) :: RestrictionExpr -> RestrictionExpr -> Bool

(/=) :: RestrictionExpr -> RestrictionExpr -> Bool

Hashable RestrictionExpr

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> RestrictionExpr -> Int

hash :: RestrictionExpr -> Int

Serialise RestrictionExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy RestrictionExpr -> SchemaGen Schema

toBuilder :: RestrictionExpr -> Builder

extractor :: Extractor RestrictionExpr

decodeCurrent :: Decoder RestrictionExpr

bundleSerialise :: BundleSerialise RestrictionExpr

type Rep RestrictionExpr

Defined in ProjectM36.SQL.Select

type Rep RestrictionExpr = D1 ('MetaData "RestrictionExpr" "ProjectM36.SQL.Select" "project-m36-1.0.0-inplace" 'True) (C1 ('MetaCons "RestrictionExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScalarExpr)))

data TableExpr

Constructors

TableExpr

Fields

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

Instances

Generic TableExpr

Defined in ProjectM36.SQL.Select

Associated Types

type Rep TableExpr :: Type -> Type

Methods

from :: TableExpr -> Rep TableExpr x

to :: Rep TableExpr x -> TableExpr

Show TableExpr

Defined in ProjectM36.SQL.Select

Methods

showsPrec :: Int -> TableExpr -> ShowS

show :: TableExpr -> String

showList :: [TableExpr] -> ShowS

NFData TableExpr

Defined in ProjectM36.SQL.Select

Methods

rnf :: TableExpr -> ()

Eq TableExpr

Defined in ProjectM36.SQL.Select

Methods

(==) :: TableExpr -> TableExpr -> Bool

(/=) :: TableExpr -> TableExpr -> Bool

Hashable TableExpr

Defined in ProjectM36.SQL.Select

Methods

hashWithSalt :: Int -> TableExpr -> Int

hash :: TableExpr -> Int

Serialise TableExpr

Defined in ProjectM36.SQL.Select

Methods

schemaGen :: Proxy TableExpr -> SchemaGen Schema

toBuilder :: TableExpr -> Builder

extractor :: Extractor TableExpr

decodeCurrent :: Decoder TableExpr

bundleSerialise :: BundleSerialise TableExpr

type Rep TableExpr

Defined in ProjectM36.SQL.Select

type Rep TableExpr = D1 ('MetaData "TableExpr" "ProjectM36.SQL.Select" "project-m36-1.0.0-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

data ScalarExprBaseF (n :: Type) r

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

Foldable (ScalarExprBaseF n)

Defined in ProjectM36.SQL.Select

Methods

fold :: Monoid m => ScalarExprBaseF n m -> m

foldMap :: Monoid m => (a -> m) -> ScalarExprBaseF n a -> m

foldMap' :: Monoid m => (a -> m) -> ScalarExprBaseF n a -> m

foldr :: (a -> b -> b) -> b -> ScalarExprBaseF n a -> b

foldr' :: (a -> b -> b) -> b -> ScalarExprBaseF n a -> b

foldl :: (b -> a -> b) -> b -> ScalarExprBaseF n a -> b

foldl' :: (b -> a -> b) -> b -> ScalarExprBaseF n a -> b

foldr1 :: (a -> a -> a) -> ScalarExprBaseF n a -> a

foldl1 :: (a -> a -> a) -> ScalarExprBaseF n a -> a

toList :: ScalarExprBaseF n a -> [a]

null :: ScalarExprBaseF n a -> Bool

length :: ScalarExprBaseF n a -> Int

elem :: Eq a => a -> ScalarExprBaseF n a -> Bool

maximum :: Ord a => ScalarExprBaseF n a -> a

minimum :: Ord a => ScalarExprBaseF n a -> a

sum :: Num a => ScalarExprBaseF n a -> a

product :: Num a => ScalarExprBaseF n a -> a

Traversable (ScalarExprBaseF n)

Defined in ProjectM36.SQL.Select

Methods

traverse :: Applicative f => (a -> f b) -> ScalarExprBaseF n a -> f (ScalarExprBaseF n b)

sequenceA :: Applicative f => ScalarExprBaseF n (f a) -> f (ScalarExprBaseF n a)

mapM :: Monad m => (a -> m b) -> ScalarExprBaseF n a -> m (ScalarExprBaseF n b)

sequence :: Monad m => ScalarExprBaseF n (m a) -> m (ScalarExprBaseF n a)

Functor (ScalarExprBaseF n)

Defined in ProjectM36.SQL.Select

Methods

fmap :: (a -> b) -> ScalarExprBaseF n a -> ScalarExprBaseF n b

(<$) :: a -> ScalarExprBaseF n b -> ScalarExprBaseF n a