Preql.QuasiQuoter.Syntax.Syntax

Documentation

data Literal

Constructors

I !Word

F !Double

T !Text

B !Bool

Null

Instances

Eq Literal

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Literal -> Literal -> Bool

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

Data Literal

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Literal -> c Literal

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal

toConstr :: Literal -> Constr

dataTypeOf :: Literal -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Literal)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Literal)

gmapT :: (forall b. Data b => b -> b) -> Literal -> Literal

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r

gmapQ :: (forall d. Data d => d -> u) -> Literal -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Literal -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Literal -> m Literal

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal

Show Literal

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Generic Literal

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Literal :: Type -> Type

Methods

from :: Literal -> Rep Literal x

to :: Rep Literal x -> Literal

FormatSql Literal

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Literal -> Builder

fmtPrec :: Int -> Literal -> Builder

Lift Literal

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Literal -> Q Exp

liftTyped :: Literal -> Q (TExp Literal)

type Rep Literal

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Literal = D1 ('MetaData "Literal" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word)) :+: C1 ('MetaCons "F" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))) :+: (C1 ('MetaCons "T" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type))))

data Statement

Constructors

QI !Insert

QD !Delete

QU !Update

QS !SelectStmt

Instances

Eq Statement

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Statement -> Statement -> Bool

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

Data Statement

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement -> c Statement

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Statement

toConstr :: Statement -> Constr

dataTypeOf :: Statement -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Statement)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Statement)

gmapT :: (forall b. Data b => b -> b) -> Statement -> Statement

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r

gmapQ :: (forall d. Data d => d -> u) -> Statement -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement -> m Statement

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement

Show Statement

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Generic Statement

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Statement :: Type -> Type

Methods

from :: Statement -> Rep Statement x

to :: Rep Statement x -> Statement

FormatSql Statement

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Statement -> Builder

fmtPrec :: Int -> Statement -> Builder

Lift Statement

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Statement -> Q Exp

liftTyped :: Statement -> Q (TExp Statement)

type Rep Statement

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Statement = D1 ('MetaData "Statement" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((C1 ('MetaCons "QI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Insert)) :+: C1 ('MetaCons "QD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delete))) :+: (C1 ('MetaCons "QU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Update)) :+: C1 ('MetaCons "QS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SelectStmt))))

data Insert

Queries of the form INSERT INTO table (columns) VALUES (values); Limitations: * single row * no ON CONFLICT

Constructors

Insert

Fields

• table :: !Name
• columns :: NonEmpty Name
• values :: NonEmpty Expr

Instances

Eq Insert

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Insert -> Insert -> Bool

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

Data Insert

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Insert -> c Insert

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Insert

toConstr :: Insert -> Constr

dataTypeOf :: Insert -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Insert)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Insert)

gmapT :: (forall b. Data b => b -> b) -> Insert -> Insert

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Insert -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Insert -> r

gmapQ :: (forall d. Data d => d -> u) -> Insert -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Insert -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Insert -> m Insert

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Insert -> m Insert

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Insert -> m Insert

Show Insert

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Insert -> ShowS

show :: Insert -> String

showList :: [Insert] -> ShowS

Generic Insert

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Insert :: Type -> Type

Methods

from :: Insert -> Rep Insert x

to :: Rep Insert x -> Insert

FormatSql Insert

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Insert -> Builder

fmtPrec :: Int -> Insert -> Builder

Lift Insert

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Insert -> Q Exp

liftTyped :: Insert -> Q (TExp Insert)

type Rep Insert

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Insert = D1 ('MetaData "Insert" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Insert" 'PrefixI 'True) (S1 ('MetaSel ('Just "table") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :*: (S1 ('MetaSel ('Just "columns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Name)) :*: S1 ('MetaSel ('Just "values") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Expr)))))

data Delete

Queries of the form DELETE FROM table WHERE conditions.

Constructors

Delete

Fields

• table :: !Name
• conditions :: Maybe Expr

Instances

Eq Delete

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Delete -> Delete -> Bool

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

Data Delete

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Delete -> c Delete

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Delete

toConstr :: Delete -> Constr

dataTypeOf :: Delete -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Delete)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Delete)

gmapT :: (forall b. Data b => b -> b) -> Delete -> Delete

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Delete -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Delete -> r

gmapQ :: (forall d. Data d => d -> u) -> Delete -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Delete -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Delete -> m Delete

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Delete -> m Delete

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Delete -> m Delete

Show Delete

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Delete -> ShowS

show :: Delete -> String

showList :: [Delete] -> ShowS

Generic Delete

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Delete :: Type -> Type

Methods

from :: Delete -> Rep Delete x

to :: Rep Delete x -> Delete

FormatSql Delete

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Delete -> Builder

fmtPrec :: Int -> Delete -> Builder

Lift Delete

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Delete -> Q Exp

liftTyped :: Delete -> Q (TExp Delete)

type Rep Delete

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Delete = D1 ('MetaData "Delete" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Delete" 'PrefixI 'True) (S1 ('MetaSel ('Just "table") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :*: S1 ('MetaSel ('Just "conditions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr))))

data Setting

Constructors

Setting !Name !Expr

Instances

Eq Setting

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Setting -> Setting -> Bool

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

Data Setting

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Setting -> c Setting

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Setting

toConstr :: Setting -> Constr

dataTypeOf :: Setting -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Setting)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Setting)

gmapT :: (forall b. Data b => b -> b) -> Setting -> Setting

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Setting -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Setting -> r

gmapQ :: (forall d. Data d => d -> u) -> Setting -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Setting -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Setting -> m Setting

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Setting -> m Setting

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Setting -> m Setting

Show Setting

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Setting -> ShowS

show :: Setting -> String

showList :: [Setting] -> ShowS

Generic Setting

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Setting :: Type -> Type

Methods

from :: Setting -> Rep Setting x

to :: Rep Setting x -> Setting

FormatSql Setting

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Setting -> Builder

fmtPrec :: Int -> Setting -> Builder

Lift Setting

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Setting -> Q Exp

liftTyped :: Setting -> Q (TExp Setting)

type Rep Setting

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Setting = D1 ('MetaData "Setting" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Setting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Expr)))

data Update

Queries of the form UPDATE table SET settings WHERE conditions. Where each Setting name literal is like SQL name = literal.

Constructors

Update

Fields

• table :: !Name
• settings :: NonEmpty Setting
• conditions :: Maybe Expr

Instances

Eq Update

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Update -> Update -> Bool

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

Data Update

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Update -> c Update

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Update

toConstr :: Update -> Constr

dataTypeOf :: Update -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Update)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Update)

gmapT :: (forall b. Data b => b -> b) -> Update -> Update

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Update -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Update -> r

gmapQ :: (forall d. Data d => d -> u) -> Update -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Update -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Update -> m Update

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Update -> m Update

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Update -> m Update

Show Update

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Update -> ShowS

show :: Update -> String

showList :: [Update] -> ShowS

Generic Update

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Update :: Type -> Type

Methods

from :: Update -> Rep Update x

to :: Rep Update x -> Update

FormatSql Update

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Update -> Builder

fmtPrec :: Int -> Update -> Builder

Lift Update

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Update -> Q Exp

liftTyped :: Update -> Q (TExp Update)

type Rep Update

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Update = D1 ('MetaData "Update" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Update" 'PrefixI 'True) (S1 ('MetaSel ('Just "table") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :*: (S1 ('MetaSel ('Just "settings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Setting)) :*: S1 ('MetaSel ('Just "conditions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)))))

data SelectStmt

Constructors

SelectValues (NonEmpty (NonEmpty Expr))

Simple Select

S SelectStmt SelectOptions

Set SetOp AllOrDistinct SelectStmt SelectStmt

Instances

Eq SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: SelectStmt -> SelectStmt -> Bool

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

Data SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SelectStmt -> c SelectStmt

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SelectStmt

toConstr :: SelectStmt -> Constr

dataTypeOf :: SelectStmt -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SelectStmt)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SelectStmt)

gmapT :: (forall b. Data b => b -> b) -> SelectStmt -> SelectStmt

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SelectStmt -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SelectStmt -> r

gmapQ :: (forall d. Data d => d -> u) -> SelectStmt -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SelectStmt -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SelectStmt -> m SelectStmt

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectStmt -> m SelectStmt

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectStmt -> m SelectStmt

Show SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> SelectStmt -> ShowS

show :: SelectStmt -> String

showList :: [SelectStmt] -> ShowS

Generic SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep SelectStmt :: Type -> Type

Methods

from :: SelectStmt -> Rep SelectStmt x

to :: Rep SelectStmt x -> SelectStmt

FormatSql SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: SelectStmt -> Builder

fmtPrec :: Int -> SelectStmt -> Builder

Lift SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: SelectStmt -> Q Exp

liftTyped :: SelectStmt -> Q (TExp SelectStmt)

type Rep SelectStmt

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep SelectStmt = D1 ('MetaData "SelectStmt" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((C1 ('MetaCons "SelectValues" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (NonEmpty Expr)))) :+: C1 ('MetaCons "Simple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Select))) :+: (C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectOptions)) :+: C1 ('MetaCons "Set" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOrDistinct)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt)))))

data Select

Constructors

Select

Fields

• distinct :: Maybe DistinctClause
• targetList :: [ResTarget]
• from :: [TableRef]
• whereClause :: Maybe Expr
• groupBy :: [Expr]
• having :: Maybe Expr
• window :: [WindowDef]

Instances

Eq Select

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

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

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

Data Select

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Select -> c Select

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Select

toConstr :: Select -> Constr

dataTypeOf :: Select -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Select)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Select)

gmapT :: (forall b. Data b => b -> b) -> Select -> Select

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Select -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Select -> r

gmapQ :: (forall d. Data d => d -> u) -> Select -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Select -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Select -> m Select

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Select -> m Select

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Select -> m Select

Show Select

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Select -> ShowS

show :: Select -> String

showList :: [Select] -> ShowS

Generic Select

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Select :: Type -> Type

Methods

from :: Select -> Rep Select x

to :: Rep Select x -> Select

FormatSql Select

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Select -> Builder

fmtPrec :: Int -> Select -> Builder

Lift Select

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Select -> Q Exp

liftTyped :: Select -> Q (TExp Select)

type Rep Select

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Select = D1 ('MetaData "Select" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Select" 'PrefixI 'True) ((S1 ('MetaSel ('Just "distinct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DistinctClause)) :*: (S1 ('MetaSel ('Just "targetList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ResTarget]) :*: S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableRef]))) :*: ((S1 ('MetaSel ('Just "whereClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)) :*: S1 ('MetaSel ('Just "groupBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expr])) :*: (S1 ('MetaSel ('Just "having") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)) :*: S1 ('MetaSel ('Just "window") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [WindowDef])))))

data SelectOptions

Constructors

SelectOptions

Fields

• sortBy :: [SortBy]
• offset :: Maybe Expr
• limit :: Maybe Expr
• locking :: [Locking]
• withClause :: Maybe WithClause

Instances

Eq SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: SelectOptions -> SelectOptions -> Bool

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

Data SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SelectOptions -> c SelectOptions

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SelectOptions

toConstr :: SelectOptions -> Constr

dataTypeOf :: SelectOptions -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SelectOptions)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SelectOptions)

gmapT :: (forall b. Data b => b -> b) -> SelectOptions -> SelectOptions

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SelectOptions -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SelectOptions -> r

gmapQ :: (forall d. Data d => d -> u) -> SelectOptions -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SelectOptions -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SelectOptions -> m SelectOptions

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectOptions -> m SelectOptions

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectOptions -> m SelectOptions

Show SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> SelectOptions -> ShowS

show :: SelectOptions -> String

showList :: [SelectOptions] -> ShowS

Generic SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep SelectOptions :: Type -> Type

Methods

from :: SelectOptions -> Rep SelectOptions x

to :: Rep SelectOptions x -> SelectOptions

FormatSql SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: SelectOptions -> Builder

fmtPrec :: Int -> SelectOptions -> Builder

Lift SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: SelectOptions -> Q Exp

liftTyped :: SelectOptions -> Q (TExp SelectOptions)

type Rep SelectOptions

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep SelectOptions = D1 ('MetaData "SelectOptions" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "SelectOptions" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sortBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SortBy]) :*: S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr))) :*: (S1 ('MetaSel ('Just "limit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)) :*: (S1 ('MetaSel ('Just "locking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Locking]) :*: S1 ('MetaSel ('Just "withClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause))))))

select :: Select

selectOptions :: SelectOptions

data TableRef

Constructors

J JoinedTable

As JoinedTable Alias

SubSelect SelectStmt Alias

Instances

Eq TableRef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

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

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

Data TableRef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableRef -> c TableRef

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableRef

toConstr :: TableRef -> Constr

dataTypeOf :: TableRef -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableRef)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableRef)

gmapT :: (forall b. Data b => b -> b) -> TableRef -> TableRef

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableRef -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableRef -> r

gmapQ :: (forall d. Data d => d -> u) -> TableRef -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TableRef -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableRef -> m TableRef

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRef -> m TableRef

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRef -> m TableRef

Show TableRef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> TableRef -> ShowS

show :: TableRef -> String

showList :: [TableRef] -> ShowS

Generic TableRef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep TableRef :: Type -> Type

Methods

from :: TableRef -> Rep TableRef x

to :: Rep TableRef x -> TableRef

FormatSql TableRef

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: TableRef -> Builder

fmtPrec :: Int -> TableRef -> Builder

Lift TableRef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: TableRef -> Q Exp

liftTyped :: TableRef -> Q (TExp TableRef)

type Rep TableRef

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep TableRef = D1 ('MetaData "TableRef" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "J" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinedTable)) :+: (C1 ('MetaCons "As" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinedTable) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Alias)) :+: C1 ('MetaCons "SubSelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Alias))))

data JoinedTable

Constructors

Table Name

Join JoinType JoinQual TableRef TableRef

CrossJoin TableRef TableRef

Instances

Eq JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: JoinedTable -> JoinedTable -> Bool

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

Data JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JoinedTable -> c JoinedTable

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JoinedTable

toConstr :: JoinedTable -> Constr

dataTypeOf :: JoinedTable -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JoinedTable)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JoinedTable)

gmapT :: (forall b. Data b => b -> b) -> JoinedTable -> JoinedTable

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JoinedTable -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JoinedTable -> r

gmapQ :: (forall d. Data d => d -> u) -> JoinedTable -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> JoinedTable -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> JoinedTable -> m JoinedTable

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinedTable -> m JoinedTable

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinedTable -> m JoinedTable

Show JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> JoinedTable -> ShowS

show :: JoinedTable -> String

showList :: [JoinedTable] -> ShowS

Generic JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep JoinedTable :: Type -> Type

Methods

from :: JoinedTable -> Rep JoinedTable x

to :: Rep JoinedTable x -> JoinedTable

FormatSql JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: JoinedTable -> Builder

fmtPrec :: Int -> JoinedTable -> Builder

Lift JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: JoinedTable -> Q Exp

liftTyped :: JoinedTable -> Q (TExp JoinedTable)

type Rep JoinedTable

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep JoinedTable = D1 ('MetaData "JoinedTable" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: (C1 ('MetaCons "Join" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinQual)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef))) :+: C1 ('MetaCons "CrossJoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef))))

data Alias

Constructors

Alias

Fields

• aliasName :: Name
• columnNames :: [Name]

Instances

Eq Alias

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Alias -> Alias -> Bool

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

Data Alias

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Alias -> c Alias

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Alias

toConstr :: Alias -> Constr

dataTypeOf :: Alias -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Alias)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Alias)

gmapT :: (forall b. Data b => b -> b) -> Alias -> Alias

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Alias -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Alias -> r

gmapQ :: (forall d. Data d => d -> u) -> Alias -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Alias -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Alias -> m Alias

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Alias -> m Alias

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Alias -> m Alias

Show Alias

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Alias -> ShowS

show :: Alias -> String

showList :: [Alias] -> ShowS

Generic Alias

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Alias :: Type -> Type

Methods

from :: Alias -> Rep Alias x

to :: Rep Alias x -> Alias

FormatSql Alias

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Alias -> Builder

fmtPrec :: Int -> Alias -> Builder

Lift Alias

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Alias -> Q Exp

liftTyped :: Alias -> Q (TExp Alias)

type Rep Alias

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Alias = D1 ('MetaData "Alias" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Alias" 'PrefixI 'True) (S1 ('MetaSel ('Just "aliasName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "columnNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])))

data JoinType

Constructors

Inner

LeftJoin

RightJoin

Full

Instances

Bounded JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: JoinType

maxBound :: JoinType

Enum JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: JoinType -> JoinType

pred :: JoinType -> JoinType

toEnum :: Int -> JoinType

fromEnum :: JoinType -> Int

enumFrom :: JoinType -> [JoinType]

enumFromThen :: JoinType -> JoinType -> [JoinType]

enumFromTo :: JoinType -> JoinType -> [JoinType]

enumFromThenTo :: JoinType -> JoinType -> JoinType -> [JoinType]

Eq JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

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

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

Data JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JoinType -> c JoinType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JoinType

toConstr :: JoinType -> Constr

dataTypeOf :: JoinType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JoinType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JoinType)

gmapT :: (forall b. Data b => b -> b) -> JoinType -> JoinType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JoinType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JoinType -> r

gmapQ :: (forall d. Data d => d -> u) -> JoinType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> JoinType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> JoinType -> m JoinType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinType -> m JoinType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinType -> m JoinType

Show JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> JoinType -> ShowS

show :: JoinType -> String

showList :: [JoinType] -> ShowS

Generic JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep JoinType :: Type -> Type

Methods

from :: JoinType -> Rep JoinType x

to :: Rep JoinType x -> JoinType

FormatSql JoinType

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: JoinType -> Builder

fmtPrec :: Int -> JoinType -> Builder

Lift JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: JoinType -> Q Exp

liftTyped :: JoinType -> Q (TExp JoinType)

type Rep JoinType

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep JoinType = D1 ('MetaData "JoinType" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((C1 ('MetaCons "Inner" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftJoin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RightJoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Full" 'PrefixI 'False) (U1 :: Type -> Type)))

data JoinQual

Constructors

Using [Name]

On Expr

Natural

Instances

Eq JoinQual

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: JoinQual -> JoinQual -> Bool

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

Data JoinQual

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JoinQual -> c JoinQual

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JoinQual

toConstr :: JoinQual -> Constr

dataTypeOf :: JoinQual -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JoinQual)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JoinQual)

gmapT :: (forall b. Data b => b -> b) -> JoinQual -> JoinQual

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JoinQual -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JoinQual -> r

gmapQ :: (forall d. Data d => d -> u) -> JoinQual -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> JoinQual -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> JoinQual -> m JoinQual

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinQual -> m JoinQual

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinQual -> m JoinQual

Show JoinQual

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> JoinQual -> ShowS

show :: JoinQual -> String

showList :: [JoinQual] -> ShowS

Generic JoinQual

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep JoinQual :: Type -> Type

Methods

from :: JoinQual -> Rep JoinQual x

to :: Rep JoinQual x -> JoinQual

Lift JoinQual

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: JoinQual -> Q Exp

liftTyped :: JoinQual -> Q (TExp JoinQual)

type Rep JoinQual

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep JoinQual = D1 ('MetaData "JoinQual" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Using" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])) :+: (C1 ('MetaCons "On" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: C1 ('MetaCons "Natural" 'PrefixI 'False) (U1 :: Type -> Type)))

data DistinctClause

Constructors

DistinctAll

DistinctOn (NonEmpty Expr)

Instances

Eq DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: DistinctClause -> DistinctClause -> Bool

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

Data DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DistinctClause -> c DistinctClause

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DistinctClause

toConstr :: DistinctClause -> Constr

dataTypeOf :: DistinctClause -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DistinctClause)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DistinctClause)

gmapT :: (forall b. Data b => b -> b) -> DistinctClause -> DistinctClause

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DistinctClause -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DistinctClause -> r

gmapQ :: (forall d. Data d => d -> u) -> DistinctClause -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DistinctClause -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DistinctClause -> m DistinctClause

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DistinctClause -> m DistinctClause

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DistinctClause -> m DistinctClause

Show DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> DistinctClause -> ShowS

show :: DistinctClause -> String

showList :: [DistinctClause] -> ShowS

Generic DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep DistinctClause :: Type -> Type

Methods

from :: DistinctClause -> Rep DistinctClause x

to :: Rep DistinctClause x -> DistinctClause

FormatSql DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: DistinctClause -> Builder

fmtPrec :: Int -> DistinctClause -> Builder

Lift DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: DistinctClause -> Q Exp

liftTyped :: DistinctClause -> Q (TExp DistinctClause)

type Rep DistinctClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep DistinctClause = D1 ('MetaData "DistinctClause" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "DistinctAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DistinctOn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Expr))))

data SetOp

Constructors

Union

Intersect

Except

Instances

Bounded SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: SetOp

maxBound :: SetOp

Enum SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: SetOp -> SetOp

pred :: SetOp -> SetOp

toEnum :: Int -> SetOp

fromEnum :: SetOp -> Int

enumFrom :: SetOp -> [SetOp]

enumFromThen :: SetOp -> SetOp -> [SetOp]

enumFromTo :: SetOp -> SetOp -> [SetOp]

enumFromThenTo :: SetOp -> SetOp -> SetOp -> [SetOp]

Eq SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: SetOp -> SetOp -> Bool

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

Data SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SetOp -> c SetOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SetOp

toConstr :: SetOp -> Constr

dataTypeOf :: SetOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SetOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SetOp)

gmapT :: (forall b. Data b => b -> b) -> SetOp -> SetOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SetOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SetOp -> r

gmapQ :: (forall d. Data d => d -> u) -> SetOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SetOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SetOp -> m SetOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SetOp -> m SetOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SetOp -> m SetOp

Show SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> SetOp -> ShowS

show :: SetOp -> String

showList :: [SetOp] -> ShowS

Generic SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep SetOp :: Type -> Type

Methods

from :: SetOp -> Rep SetOp x

to :: Rep SetOp x -> SetOp

FormatSql SetOp

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: SetOp -> Builder

fmtPrec :: Int -> SetOp -> Builder

Lift SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: SetOp -> Q Exp

liftTyped :: SetOp -> Q (TExp SetOp)

type Rep SetOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep SetOp = D1 ('MetaData "SetOp" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Union" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Intersect" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Except" 'PrefixI 'False) (U1 :: Type -> Type)))

data AllOrDistinct

Constructors

All

Distinct

Instances

Bounded AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: AllOrDistinct

maxBound :: AllOrDistinct

Enum AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: AllOrDistinct -> AllOrDistinct

pred :: AllOrDistinct -> AllOrDistinct

toEnum :: Int -> AllOrDistinct

fromEnum :: AllOrDistinct -> Int

enumFrom :: AllOrDistinct -> [AllOrDistinct]

enumFromThen :: AllOrDistinct -> AllOrDistinct -> [AllOrDistinct]

enumFromTo :: AllOrDistinct -> AllOrDistinct -> [AllOrDistinct]

enumFromThenTo :: AllOrDistinct -> AllOrDistinct -> AllOrDistinct -> [AllOrDistinct]

Eq AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: AllOrDistinct -> AllOrDistinct -> Bool

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

Data AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AllOrDistinct -> c AllOrDistinct

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AllOrDistinct

toConstr :: AllOrDistinct -> Constr

dataTypeOf :: AllOrDistinct -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AllOrDistinct)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AllOrDistinct)

gmapT :: (forall b. Data b => b -> b) -> AllOrDistinct -> AllOrDistinct

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AllOrDistinct -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AllOrDistinct -> r

gmapQ :: (forall d. Data d => d -> u) -> AllOrDistinct -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AllOrDistinct -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AllOrDistinct -> m AllOrDistinct

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AllOrDistinct -> m AllOrDistinct

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AllOrDistinct -> m AllOrDistinct

Show AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> AllOrDistinct -> ShowS

show :: AllOrDistinct -> String

showList :: [AllOrDistinct] -> ShowS

Generic AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep AllOrDistinct :: Type -> Type

Methods

from :: AllOrDistinct -> Rep AllOrDistinct x

to :: Rep AllOrDistinct x -> AllOrDistinct

Lift AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: AllOrDistinct -> Q Exp

liftTyped :: AllOrDistinct -> Q (TExp AllOrDistinct)

type Rep AllOrDistinct

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep AllOrDistinct = D1 ('MetaData "AllOrDistinct" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "All" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Distinct" 'PrefixI 'False) (U1 :: Type -> Type))

data ResTarget

Constructors

Star

Column Expr (Maybe Name)

Instances

Eq ResTarget

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: ResTarget -> ResTarget -> Bool

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

Data ResTarget

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ResTarget -> c ResTarget

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ResTarget

toConstr :: ResTarget -> Constr

dataTypeOf :: ResTarget -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ResTarget)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ResTarget)

gmapT :: (forall b. Data b => b -> b) -> ResTarget -> ResTarget

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ResTarget -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ResTarget -> r

gmapQ :: (forall d. Data d => d -> u) -> ResTarget -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ResTarget -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ResTarget -> m ResTarget

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ResTarget -> m ResTarget

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ResTarget -> m ResTarget

Show ResTarget

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> ResTarget -> ShowS

show :: ResTarget -> String

showList :: [ResTarget] -> ShowS

Generic ResTarget

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep ResTarget :: Type -> Type

Methods

from :: ResTarget -> Rep ResTarget x

to :: Rep ResTarget x -> ResTarget

FormatSql ResTarget

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: ResTarget -> Builder

fmtPrec :: Int -> ResTarget -> Builder

Lift ResTarget

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: ResTarget -> Q Exp

liftTyped :: ResTarget -> Q (TExp ResTarget)

type Rep ResTarget

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep ResTarget = D1 ('MetaData "ResTarget" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Star" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Name))))

data WindowDef

Constructors

WindowDef Name WindowSpec

Instances

Eq WindowDef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: WindowDef -> WindowDef -> Bool

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

Data WindowDef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WindowDef -> c WindowDef

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WindowDef

toConstr :: WindowDef -> Constr

dataTypeOf :: WindowDef -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WindowDef)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WindowDef)

gmapT :: (forall b. Data b => b -> b) -> WindowDef -> WindowDef

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WindowDef -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WindowDef -> r

gmapQ :: (forall d. Data d => d -> u) -> WindowDef -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WindowDef -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WindowDef -> m WindowDef

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WindowDef -> m WindowDef

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WindowDef -> m WindowDef

Show WindowDef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> WindowDef -> ShowS

show :: WindowDef -> String

showList :: [WindowDef] -> ShowS

Generic WindowDef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep WindowDef :: Type -> Type

Methods

from :: WindowDef -> Rep WindowDef x

to :: Rep WindowDef x -> WindowDef

FormatSql WindowDef

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: WindowDef -> Builder

fmtPrec :: Int -> WindowDef -> Builder

Lift WindowDef

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: WindowDef -> Q Exp

liftTyped :: WindowDef -> Q (TExp WindowDef)

type Rep WindowDef

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep WindowDef = D1 ('MetaData "WindowDef" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "WindowDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WindowSpec)))

data Over

Constructors

WindowName Name

Window WindowSpec

Instances

Eq Over

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Over -> Over -> Bool

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

Data Over

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Over -> c Over

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Over

toConstr :: Over -> Constr

dataTypeOf :: Over -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Over)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Over)

gmapT :: (forall b. Data b => b -> b) -> Over -> Over

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Over -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Over -> r

gmapQ :: (forall d. Data d => d -> u) -> Over -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Over -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Over -> m Over

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Over -> m Over

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Over -> m Over

Show Over

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Over -> ShowS

show :: Over -> String

showList :: [Over] -> ShowS

Generic Over

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Over :: Type -> Type

Methods

from :: Over -> Rep Over x

to :: Rep Over x -> Over

Lift Over

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Over -> Q Exp

liftTyped :: Over -> Q (TExp Over)

type Rep Over

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Over = D1 ('MetaData "Over" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "WindowName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "Window" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WindowSpec)))

data WindowSpec

Constructors

WindowSpec

Fields

• refName :: Maybe Name
• partitionClause :: [Expr]
• orderClause :: [SortBy]

Instances

Eq WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: WindowSpec -> WindowSpec -> Bool

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

Data WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WindowSpec -> c WindowSpec

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WindowSpec

toConstr :: WindowSpec -> Constr

dataTypeOf :: WindowSpec -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WindowSpec)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WindowSpec)

gmapT :: (forall b. Data b => b -> b) -> WindowSpec -> WindowSpec

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WindowSpec -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WindowSpec -> r

gmapQ :: (forall d. Data d => d -> u) -> WindowSpec -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WindowSpec -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WindowSpec -> m WindowSpec

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WindowSpec -> m WindowSpec

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WindowSpec -> m WindowSpec

Show WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> WindowSpec -> ShowS

show :: WindowSpec -> String

showList :: [WindowSpec] -> ShowS

Generic WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep WindowSpec :: Type -> Type

Methods

from :: WindowSpec -> Rep WindowSpec x

to :: Rep WindowSpec x -> WindowSpec

FormatSql WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: WindowSpec -> Builder

fmtPrec :: Int -> WindowSpec -> Builder

Lift WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: WindowSpec -> Q Exp

liftTyped :: WindowSpec -> Q (TExp WindowSpec)

type Rep WindowSpec

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep WindowSpec = D1 ('MetaData "WindowSpec" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "WindowSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "refName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Name)) :*: (S1 ('MetaSel ('Just "partitionClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Expr]) :*: S1 ('MetaSel ('Just "orderClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SortBy]))))

noWindow :: Over

data SortBy

Constructors

SortBy

Fields

• column :: Expr
• direction :: SortOrderOrUsing
• nulls :: NullsOrder

Instances

Eq SortBy

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: SortBy -> SortBy -> Bool

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

Data SortBy

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SortBy -> c SortBy

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SortBy

toConstr :: SortBy -> Constr

dataTypeOf :: SortBy -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SortBy)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SortBy)

gmapT :: (forall b. Data b => b -> b) -> SortBy -> SortBy

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SortBy -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SortBy -> r

gmapQ :: (forall d. Data d => d -> u) -> SortBy -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SortBy -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SortBy -> m SortBy

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SortBy -> m SortBy

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SortBy -> m SortBy

Show SortBy

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> SortBy -> ShowS

show :: SortBy -> String

showList :: [SortBy] -> ShowS

Generic SortBy

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep SortBy :: Type -> Type

Methods

from :: SortBy -> Rep SortBy x

to :: Rep SortBy x -> SortBy

FormatSql SortBy

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: SortBy -> Builder

fmtPrec :: Int -> SortBy -> Builder

Lift SortBy

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: SortBy -> Q Exp

liftTyped :: SortBy -> Q (TExp SortBy)

type Rep SortBy

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep SortBy = D1 ('MetaData "SortBy" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "SortBy" 'PrefixI 'True) (S1 ('MetaSel ('Just "column") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr) :*: (S1 ('MetaSel ('Just "direction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SortOrderOrUsing) :*: S1 ('MetaSel ('Just "nulls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NullsOrder))))

data SortOrderOrUsing

Constructors

SortOrder SortOrder

SortUsing BinOp

Instances

Eq SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: SortOrderOrUsing -> SortOrderOrUsing -> Bool

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

Data SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SortOrderOrUsing -> c SortOrderOrUsing

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SortOrderOrUsing

toConstr :: SortOrderOrUsing -> Constr

dataTypeOf :: SortOrderOrUsing -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SortOrderOrUsing)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SortOrderOrUsing)

gmapT :: (forall b. Data b => b -> b) -> SortOrderOrUsing -> SortOrderOrUsing

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SortOrderOrUsing -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SortOrderOrUsing -> r

gmapQ :: (forall d. Data d => d -> u) -> SortOrderOrUsing -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SortOrderOrUsing -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SortOrderOrUsing -> m SortOrderOrUsing

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SortOrderOrUsing -> m SortOrderOrUsing

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SortOrderOrUsing -> m SortOrderOrUsing

Show SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> SortOrderOrUsing -> ShowS

show :: SortOrderOrUsing -> String

showList :: [SortOrderOrUsing] -> ShowS

Generic SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep SortOrderOrUsing :: Type -> Type

Methods

from :: SortOrderOrUsing -> Rep SortOrderOrUsing x

to :: Rep SortOrderOrUsing x -> SortOrderOrUsing

FormatSql SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: SortOrderOrUsing -> Builder

fmtPrec :: Int -> SortOrderOrUsing -> Builder

Lift SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: SortOrderOrUsing -> Q Exp

liftTyped :: SortOrderOrUsing -> Q (TExp SortOrderOrUsing)

type Rep SortOrderOrUsing

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep SortOrderOrUsing = D1 ('MetaData "SortOrderOrUsing" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "SortOrder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SortOrder)) :+: C1 ('MetaCons "SortUsing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinOp)))

data SortOrder

Constructors

Ascending

Descending

DefaultSortOrder

Instances

Bounded SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: SortOrder

maxBound :: SortOrder

Enum SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: SortOrder -> SortOrder

pred :: SortOrder -> SortOrder

toEnum :: Int -> SortOrder

fromEnum :: SortOrder -> Int

enumFrom :: SortOrder -> [SortOrder]

enumFromThen :: SortOrder -> SortOrder -> [SortOrder]

enumFromTo :: SortOrder -> SortOrder -> [SortOrder]

enumFromThenTo :: SortOrder -> SortOrder -> SortOrder -> [SortOrder]

Eq SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: SortOrder -> SortOrder -> Bool

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

Data SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SortOrder -> c SortOrder

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SortOrder

toConstr :: SortOrder -> Constr

dataTypeOf :: SortOrder -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SortOrder)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SortOrder)

gmapT :: (forall b. Data b => b -> b) -> SortOrder -> SortOrder

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SortOrder -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SortOrder -> r

gmapQ :: (forall d. Data d => d -> u) -> SortOrder -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SortOrder -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SortOrder -> m SortOrder

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SortOrder -> m SortOrder

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SortOrder -> m SortOrder

Show SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> SortOrder -> ShowS

show :: SortOrder -> String

showList :: [SortOrder] -> ShowS

Generic SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep SortOrder :: Type -> Type

Methods

from :: SortOrder -> Rep SortOrder x

to :: Rep SortOrder x -> SortOrder

FormatSql SortOrder

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: SortOrder -> Builder

fmtPrec :: Int -> SortOrder -> Builder

Lift SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: SortOrder -> Q Exp

liftTyped :: SortOrder -> Q (TExp SortOrder)

type Rep SortOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep SortOrder = D1 ('MetaData "SortOrder" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Ascending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Descending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultSortOrder" 'PrefixI 'False) (U1 :: Type -> Type)))

data NullsOrder

Constructors

NullsFirst

NullsLast

NullsOrderDefault

Instances

Bounded NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: NullsOrder

maxBound :: NullsOrder

Enum NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: NullsOrder -> NullsOrder

pred :: NullsOrder -> NullsOrder

toEnum :: Int -> NullsOrder

fromEnum :: NullsOrder -> Int

enumFrom :: NullsOrder -> [NullsOrder]

enumFromThen :: NullsOrder -> NullsOrder -> [NullsOrder]

enumFromTo :: NullsOrder -> NullsOrder -> [NullsOrder]

enumFromThenTo :: NullsOrder -> NullsOrder -> NullsOrder -> [NullsOrder]

Eq NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

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

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

Data NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NullsOrder -> c NullsOrder

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NullsOrder

toConstr :: NullsOrder -> Constr

dataTypeOf :: NullsOrder -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NullsOrder)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NullsOrder)

gmapT :: (forall b. Data b => b -> b) -> NullsOrder -> NullsOrder

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NullsOrder -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NullsOrder -> r

gmapQ :: (forall d. Data d => d -> u) -> NullsOrder -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NullsOrder -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NullsOrder -> m NullsOrder

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NullsOrder -> m NullsOrder

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NullsOrder -> m NullsOrder

Show NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> NullsOrder -> ShowS

show :: NullsOrder -> String

showList :: [NullsOrder] -> ShowS

Generic NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep NullsOrder :: Type -> Type

Methods

from :: NullsOrder -> Rep NullsOrder x

to :: Rep NullsOrder x -> NullsOrder

FormatSql NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: NullsOrder -> Builder

fmtPrec :: Int -> NullsOrder -> Builder

Lift NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: NullsOrder -> Q Exp

liftTyped :: NullsOrder -> Q (TExp NullsOrder)

type Rep NullsOrder

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep NullsOrder = D1 ('MetaData "NullsOrder" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "NullsFirst" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NullsLast" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullsOrderDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data Locking

Constructors

Locking

Fields

• strength :: LockingStrength
• tables :: [Name]
• wait :: LockWait

Instances

Eq Locking

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Locking -> Locking -> Bool

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

Data Locking

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Locking -> c Locking

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Locking

toConstr :: Locking -> Constr

dataTypeOf :: Locking -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Locking)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Locking)

gmapT :: (forall b. Data b => b -> b) -> Locking -> Locking

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Locking -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Locking -> r

gmapQ :: (forall d. Data d => d -> u) -> Locking -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Locking -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Locking -> m Locking

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Locking -> m Locking

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Locking -> m Locking

Show Locking

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Locking -> ShowS

show :: Locking -> String

showList :: [Locking] -> ShowS

Generic Locking

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Locking :: Type -> Type

Methods

from :: Locking -> Rep Locking x

to :: Rep Locking x -> Locking

FormatSql Locking

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Locking -> Builder

fmtPrec :: Int -> Locking -> Builder

Lift Locking

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Locking -> Q Exp

liftTyped :: Locking -> Q (TExp Locking)

type Rep Locking

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Locking = D1 ('MetaData "Locking" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Locking" 'PrefixI 'True) (S1 ('MetaSel ('Just "strength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LockingStrength) :*: (S1 ('MetaSel ('Just "tables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel ('Just "wait") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LockWait))))

data LockingStrength

Constructors

ForUpdate

ForNoKeyUpdate

ForShare

ForKeyShare

Instances

Bounded LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: LockingStrength

maxBound :: LockingStrength

Enum LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: LockingStrength -> LockingStrength

pred :: LockingStrength -> LockingStrength

toEnum :: Int -> LockingStrength

fromEnum :: LockingStrength -> Int

enumFrom :: LockingStrength -> [LockingStrength]

enumFromThen :: LockingStrength -> LockingStrength -> [LockingStrength]

enumFromTo :: LockingStrength -> LockingStrength -> [LockingStrength]

enumFromThenTo :: LockingStrength -> LockingStrength -> LockingStrength -> [LockingStrength]

Eq LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: LockingStrength -> LockingStrength -> Bool

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

Data LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LockingStrength -> c LockingStrength

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LockingStrength

toConstr :: LockingStrength -> Constr

dataTypeOf :: LockingStrength -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LockingStrength)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LockingStrength)

gmapT :: (forall b. Data b => b -> b) -> LockingStrength -> LockingStrength

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LockingStrength -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LockingStrength -> r

gmapQ :: (forall d. Data d => d -> u) -> LockingStrength -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LockingStrength -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LockingStrength -> m LockingStrength

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LockingStrength -> m LockingStrength

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LockingStrength -> m LockingStrength

Show LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> LockingStrength -> ShowS

show :: LockingStrength -> String

showList :: [LockingStrength] -> ShowS

Generic LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep LockingStrength :: Type -> Type

Methods

from :: LockingStrength -> Rep LockingStrength x

to :: Rep LockingStrength x -> LockingStrength

FormatSql LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: LockingStrength -> Builder

fmtPrec :: Int -> LockingStrength -> Builder

Lift LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: LockingStrength -> Q Exp

liftTyped :: LockingStrength -> Q (TExp LockingStrength)

type Rep LockingStrength

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep LockingStrength = D1 ('MetaData "LockingStrength" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((C1 ('MetaCons "ForUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForNoKeyUpdate" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ForShare" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForKeyShare" 'PrefixI 'False) (U1 :: Type -> Type)))

data LockWait

Constructors

LockWaitError

LockWaitSkip

LockWaitBlock

Instances

Bounded LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: LockWait

maxBound :: LockWait

Enum LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: LockWait -> LockWait

pred :: LockWait -> LockWait

toEnum :: Int -> LockWait

fromEnum :: LockWait -> Int

enumFrom :: LockWait -> [LockWait]

enumFromThen :: LockWait -> LockWait -> [LockWait]

enumFromTo :: LockWait -> LockWait -> [LockWait]

enumFromThenTo :: LockWait -> LockWait -> LockWait -> [LockWait]

Eq LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: LockWait -> LockWait -> Bool

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

Data LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LockWait -> c LockWait

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LockWait

toConstr :: LockWait -> Constr

dataTypeOf :: LockWait -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LockWait)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LockWait)

gmapT :: (forall b. Data b => b -> b) -> LockWait -> LockWait

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LockWait -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LockWait -> r

gmapQ :: (forall d. Data d => d -> u) -> LockWait -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LockWait -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LockWait -> m LockWait

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LockWait -> m LockWait

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LockWait -> m LockWait

Show LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> LockWait -> ShowS

show :: LockWait -> String

showList :: [LockWait] -> ShowS

Generic LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep LockWait :: Type -> Type

Methods

from :: LockWait -> Rep LockWait x

to :: Rep LockWait x -> LockWait

FormatSql LockWait

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: LockWait -> Builder

fmtPrec :: Int -> LockWait -> Builder

Lift LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: LockWait -> Q Exp

liftTyped :: LockWait -> Q (TExp LockWait)

type Rep LockWait

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep LockWait = D1 ('MetaData "LockWait" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "LockWaitError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LockWaitSkip" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LockWaitBlock" 'PrefixI 'False) (U1 :: Type -> Type)))

data WithClause

Constructors

With

Fields

• commonTables :: [CTE]
• recursive :: Recursive

Instances

Eq WithClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

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

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

Data WithClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WithClause -> c WithClause

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WithClause

toConstr :: WithClause -> Constr

dataTypeOf :: WithClause -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WithClause)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WithClause)

gmapT :: (forall b. Data b => b -> b) -> WithClause -> WithClause

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WithClause -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WithClause -> r

gmapQ :: (forall d. Data d => d -> u) -> WithClause -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WithClause -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WithClause -> m WithClause

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WithClause -> m WithClause

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WithClause -> m WithClause

Show WithClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> WithClause -> ShowS

show :: WithClause -> String

showList :: [WithClause] -> ShowS

Generic WithClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep WithClause :: Type -> Type

Methods

from :: WithClause -> Rep WithClause x

to :: Rep WithClause x -> WithClause

FormatSql WithClause

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: WithClause -> Builder

fmtPrec :: Int -> WithClause -> Builder

Lift WithClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: WithClause -> Q Exp

liftTyped :: WithClause -> Q (TExp WithClause)

type Rep WithClause

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep WithClause = D1 ('MetaData "WithClause" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "With" 'PrefixI 'True) (S1 ('MetaSel ('Just "commonTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CTE]) :*: S1 ('MetaSel ('Just "recursive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Recursive)))

data Recursive

Constructors

Recursive

NotRecursive

Instances

Bounded Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: Recursive

maxBound :: Recursive

Enum Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: Recursive -> Recursive

pred :: Recursive -> Recursive

toEnum :: Int -> Recursive

fromEnum :: Recursive -> Int

enumFrom :: Recursive -> [Recursive]

enumFromThen :: Recursive -> Recursive -> [Recursive]

enumFromTo :: Recursive -> Recursive -> [Recursive]

enumFromThenTo :: Recursive -> Recursive -> Recursive -> [Recursive]

Eq Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Recursive -> Recursive -> Bool

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

Data Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Recursive -> c Recursive

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Recursive

toConstr :: Recursive -> Constr

dataTypeOf :: Recursive -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Recursive)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Recursive)

gmapT :: (forall b. Data b => b -> b) -> Recursive -> Recursive

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Recursive -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Recursive -> r

gmapQ :: (forall d. Data d => d -> u) -> Recursive -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Recursive -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Recursive -> m Recursive

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Recursive -> m Recursive

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Recursive -> m Recursive

Show Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Recursive -> ShowS

show :: Recursive -> String

showList :: [Recursive] -> ShowS

Generic Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Recursive :: Type -> Type

Methods

from :: Recursive -> Rep Recursive x

to :: Rep Recursive x -> Recursive

Lift Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Recursive -> Q Exp

liftTyped :: Recursive -> Q (TExp Recursive)

type Rep Recursive

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Recursive = D1 ('MetaData "Recursive" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Recursive" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotRecursive" 'PrefixI 'False) (U1 :: Type -> Type))

data Materialized

Constructors

Materialized

NotMaterialized

MaterializeDefault

Instances

Bounded Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: Materialized

maxBound :: Materialized

Enum Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: Materialized -> Materialized

pred :: Materialized -> Materialized

toEnum :: Int -> Materialized

fromEnum :: Materialized -> Int

enumFrom :: Materialized -> [Materialized]

enumFromThen :: Materialized -> Materialized -> [Materialized]

enumFromTo :: Materialized -> Materialized -> [Materialized]

enumFromThenTo :: Materialized -> Materialized -> Materialized -> [Materialized]

Eq Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Materialized -> Materialized -> Bool

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

Data Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Materialized -> c Materialized

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Materialized

toConstr :: Materialized -> Constr

dataTypeOf :: Materialized -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Materialized)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Materialized)

gmapT :: (forall b. Data b => b -> b) -> Materialized -> Materialized

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Materialized -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Materialized -> r

gmapQ :: (forall d. Data d => d -> u) -> Materialized -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Materialized -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Materialized -> m Materialized

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Materialized -> m Materialized

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Materialized -> m Materialized

Show Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Materialized -> ShowS

show :: Materialized -> String

showList :: [Materialized] -> ShowS

Generic Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Materialized :: Type -> Type

Methods

from :: Materialized -> Rep Materialized x

to :: Rep Materialized x -> Materialized

FormatSql Materialized

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Materialized -> Builder

fmtPrec :: Int -> Materialized -> Builder

Lift Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Materialized -> Q Exp

liftTyped :: Materialized -> Q (TExp Materialized)

type Rep Materialized

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Materialized = D1 ('MetaData "Materialized" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Materialized" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NotMaterialized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MaterializeDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data CTE

Constructors

CommonTableExpr

Fields

• name :: Name
• aliases :: [Name]
• materialized :: Materialized
• query :: Statement

Instances

Eq CTE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: CTE -> CTE -> Bool

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

Data CTE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CTE -> c CTE

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CTE

toConstr :: CTE -> Constr

dataTypeOf :: CTE -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CTE)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CTE)

gmapT :: (forall b. Data b => b -> b) -> CTE -> CTE

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CTE -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CTE -> r

gmapQ :: (forall d. Data d => d -> u) -> CTE -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CTE -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CTE -> m CTE

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CTE -> m CTE

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CTE -> m CTE

Show CTE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> CTE -> ShowS

show :: CTE -> String

showList :: [CTE] -> ShowS

Generic CTE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep CTE :: Type -> Type

Methods

from :: CTE -> Rep CTE x

to :: Rep CTE x -> CTE

FormatSql CTE

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: CTE -> Builder

fmtPrec :: Int -> CTE -> Builder

Lift CTE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: CTE -> Q Exp

liftTyped :: CTE -> Q (TExp CTE)

type Rep CTE

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep CTE = D1 ('MetaData "CTE" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "CommonTableExpr" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "aliases") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])) :*: (S1 ('MetaSel ('Just "materialized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Materialized) :*: S1 ('MetaSel ('Just "query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Statement))))

data Expr

Constructors

Lit !Literal

CRef Name

NumberedParam !Word

HaskellParam !Text

BinOp !BinOp !Expr !Expr

Unary !UnaryOp !Expr

Indirection Expr (NonEmpty Indirection)

SelectExpr SelectStmt

L LikeE

Fun FunctionApplication

Cas Case

Instances

Eq Expr

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Expr -> Expr -> Bool

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

Data Expr

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expr -> c Expr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr

toConstr :: Expr -> Constr

dataTypeOf :: Expr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Expr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expr)

gmapT :: (forall b. Data b => b -> b) -> Expr -> Expr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r

gmapQ :: (forall d. Data d => d -> u) -> Expr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expr -> m Expr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr

Show Expr

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Generic Expr

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Expr :: Type -> Type

Methods

from :: Expr -> Rep Expr x

to :: Rep Expr x -> Expr

FormatSql Expr

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Expr -> Builder

fmtPrec :: Int -> Expr -> Builder

Lift Expr

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Expr -> Q Exp

liftTyped :: Expr -> Q (TExp Expr)

type Rep Expr

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Expr = D1 ('MetaData "Expr" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (((C1 ('MetaCons "Lit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Literal)) :+: C1 ('MetaCons "CRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "NumberedParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word)) :+: (C1 ('MetaCons "HaskellParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "BinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BinOp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Expr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Expr)))))) :+: ((C1 ('MetaCons "Unary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Expr)) :+: (C1 ('MetaCons "Indirection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Indirection))) :+: C1 ('MetaCons "SelectExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt)))) :+: (C1 ('MetaCons "L" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LikeE)) :+: (C1 ('MetaCons "Fun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionApplication)) :+: C1 ('MetaCons "Cas" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Case))))))

type Indirection = Name

data BinOp

Constructors

Mul

Div

Add

Sub

Exponent

Mod

Eq

LT

LTE

GT

GTE

NEq

IsDistinctFrom

IsNotDistinctFrom

And

Or

Instances

Bounded BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: BinOp

maxBound :: BinOp

Enum BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: BinOp -> BinOp

pred :: BinOp -> BinOp

toEnum :: Int -> BinOp

fromEnum :: BinOp -> Int

enumFrom :: BinOp -> [BinOp]

enumFromThen :: BinOp -> BinOp -> [BinOp]

enumFromTo :: BinOp -> BinOp -> [BinOp]

enumFromThenTo :: BinOp -> BinOp -> BinOp -> [BinOp]

Eq BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: BinOp -> BinOp -> Bool

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

Data BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinOp -> c BinOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinOp

toConstr :: BinOp -> Constr

dataTypeOf :: BinOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinOp)

gmapT :: (forall b. Data b => b -> b) -> BinOp -> BinOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r

gmapQ :: (forall d. Data d => d -> u) -> BinOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BinOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp

Show BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

Generic BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep BinOp :: Type -> Type

Methods

from :: BinOp -> Rep BinOp x

to :: Rep BinOp x -> BinOp

FormatSql BinOp

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: BinOp -> Builder

fmtPrec :: Int -> BinOp -> Builder

Lift BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: BinOp -> Q Exp

liftTyped :: BinOp -> Q (TExp BinOp)

type Rep BinOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep BinOp = D1 ('MetaData "BinOp" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((((C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sub" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Exponent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mod" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Eq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LT" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "LTE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GTE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NEq" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IsDistinctFrom" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsNotDistinctFrom" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "And" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Or" 'PrefixI 'False) (U1 :: Type -> Type)))))

data UnaryOp

Constructors

Negate

Not

IsNull

NotNull

Instances

Bounded UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: UnaryOp

maxBound :: UnaryOp

Enum UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: UnaryOp -> UnaryOp

pred :: UnaryOp -> UnaryOp

toEnum :: Int -> UnaryOp

fromEnum :: UnaryOp -> Int

enumFrom :: UnaryOp -> [UnaryOp]

enumFromThen :: UnaryOp -> UnaryOp -> [UnaryOp]

enumFromTo :: UnaryOp -> UnaryOp -> [UnaryOp]

enumFromThenTo :: UnaryOp -> UnaryOp -> UnaryOp -> [UnaryOp]

Eq UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: UnaryOp -> UnaryOp -> Bool

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

Data UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnaryOp -> c UnaryOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnaryOp

toConstr :: UnaryOp -> Constr

dataTypeOf :: UnaryOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnaryOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnaryOp)

gmapT :: (forall b. Data b => b -> b) -> UnaryOp -> UnaryOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnaryOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnaryOp -> r

gmapQ :: (forall d. Data d => d -> u) -> UnaryOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UnaryOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnaryOp -> m UnaryOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryOp -> m UnaryOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryOp -> m UnaryOp

Show UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> UnaryOp -> ShowS

show :: UnaryOp -> String

showList :: [UnaryOp] -> ShowS

Generic UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep UnaryOp :: Type -> Type

Methods

from :: UnaryOp -> Rep UnaryOp x

to :: Rep UnaryOp x -> UnaryOp

Lift UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: UnaryOp -> Q Exp

liftTyped :: UnaryOp -> Q (TExp UnaryOp)

type Rep UnaryOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep UnaryOp = D1 ('MetaData "UnaryOp" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) ((C1 ('MetaCons "Negate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Not" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IsNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotNull" 'PrefixI 'False) (U1 :: Type -> Type)))

data LikeOp

Constructors

Like

ILike

Similar

Instances

Bounded LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

minBound :: LikeOp

maxBound :: LikeOp

Enum LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

succ :: LikeOp -> LikeOp

pred :: LikeOp -> LikeOp

toEnum :: Int -> LikeOp

fromEnum :: LikeOp -> Int

enumFrom :: LikeOp -> [LikeOp]

enumFromThen :: LikeOp -> LikeOp -> [LikeOp]

enumFromTo :: LikeOp -> LikeOp -> [LikeOp]

enumFromThenTo :: LikeOp -> LikeOp -> LikeOp -> [LikeOp]

Eq LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: LikeOp -> LikeOp -> Bool

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

Data LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LikeOp -> c LikeOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LikeOp

toConstr :: LikeOp -> Constr

dataTypeOf :: LikeOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LikeOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LikeOp)

gmapT :: (forall b. Data b => b -> b) -> LikeOp -> LikeOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LikeOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LikeOp -> r

gmapQ :: (forall d. Data d => d -> u) -> LikeOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LikeOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LikeOp -> m LikeOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LikeOp -> m LikeOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LikeOp -> m LikeOp

Show LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> LikeOp -> ShowS

show :: LikeOp -> String

showList :: [LikeOp] -> ShowS

Generic LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep LikeOp :: Type -> Type

Methods

from :: LikeOp -> Rep LikeOp x

to :: Rep LikeOp x -> LikeOp

Lift LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: LikeOp -> Q Exp

liftTyped :: LikeOp -> Q (TExp LikeOp)

type Rep LikeOp

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep LikeOp = D1 ('MetaData "LikeOp" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Like" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ILike" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Similar" 'PrefixI 'False) (U1 :: Type -> Type)))

data LikeE

Constructors

LikeE

Fields

• op :: LikeOp
• string :: Expr
• likePattern :: Expr
• escape :: Maybe Expr
• invert :: Bool

Instances

Eq LikeE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: LikeE -> LikeE -> Bool

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

Data LikeE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LikeE -> c LikeE

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LikeE

toConstr :: LikeE -> Constr

dataTypeOf :: LikeE -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LikeE)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LikeE)

gmapT :: (forall b. Data b => b -> b) -> LikeE -> LikeE

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LikeE -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LikeE -> r

gmapQ :: (forall d. Data d => d -> u) -> LikeE -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LikeE -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LikeE -> m LikeE

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LikeE -> m LikeE

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LikeE -> m LikeE

Show LikeE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> LikeE -> ShowS

show :: LikeE -> String

showList :: [LikeE] -> ShowS

Generic LikeE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep LikeE :: Type -> Type

Methods

from :: LikeE -> Rep LikeE x

to :: Rep LikeE x -> LikeE

FormatSql LikeE

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: LikeE -> Builder

fmtPrec :: Int -> LikeE -> Builder

Lift LikeE

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: LikeE -> Q Exp

liftTyped :: LikeE -> Q (TExp LikeE)

type Rep LikeE

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep LikeE = D1 ('MetaData "LikeE" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "LikeE" 'PrefixI 'True) ((S1 ('MetaSel ('Just "op") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LikeOp) :*: S1 ('MetaSel ('Just "string") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :*: (S1 ('MetaSel ('Just "likePattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr) :*: (S1 ('MetaSel ('Just "escape") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)) :*: S1 ('MetaSel ('Just "invert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

like :: LikeOp -> Expr -> Expr -> LikeE

data FunctionApplication

Constructors

FApp

Fields

• name :: Name
• indirection :: [Indirection]
• arguments :: FunctionArguments
• withinGroup :: [SortBy]
• filterClause :: Maybe Expr
• over :: Over

Instances

Eq FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: FunctionApplication -> FunctionApplication -> Bool

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

Data FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionApplication -> c FunctionApplication

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionApplication

toConstr :: FunctionApplication -> Constr

dataTypeOf :: FunctionApplication -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionApplication)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionApplication)

gmapT :: (forall b. Data b => b -> b) -> FunctionApplication -> FunctionApplication

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionApplication -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionApplication -> r

gmapQ :: (forall d. Data d => d -> u) -> FunctionApplication -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionApplication -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionApplication -> m FunctionApplication

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionApplication -> m FunctionApplication

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionApplication -> m FunctionApplication

Show FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> FunctionApplication -> ShowS

show :: FunctionApplication -> String

showList :: [FunctionApplication] -> ShowS

Generic FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep FunctionApplication :: Type -> Type

Methods

from :: FunctionApplication -> Rep FunctionApplication x

to :: Rep FunctionApplication x -> FunctionApplication

FormatSql FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: FunctionApplication -> Builder

fmtPrec :: Int -> FunctionApplication -> Builder

Lift FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: FunctionApplication -> Q Exp

liftTyped :: FunctionApplication -> Q (TExp FunctionApplication)

type Rep FunctionApplication

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep FunctionApplication = D1 ('MetaData "FunctionApplication" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "FApp" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Just "indirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Indirection]) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionArguments))) :*: (S1 ('MetaSel ('Just "withinGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SortBy]) :*: (S1 ('MetaSel ('Just "filterClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)) :*: S1 ('MetaSel ('Just "over") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Over)))))

fapp :: (Name, [Indirection]) -> FunctionArguments -> FunctionApplication

fapp1 :: Name -> [Expr] -> FunctionApplication

setSortBy :: FunctionApplication -> [SortBy] -> FunctionApplication

data FunctionArguments

Constructors

StarArg

NoArgs

Args ArgsList

Instances

Eq FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: FunctionArguments -> FunctionArguments -> Bool

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

Data FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionArguments -> c FunctionArguments

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionArguments

toConstr :: FunctionArguments -> Constr

dataTypeOf :: FunctionArguments -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionArguments)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionArguments)

gmapT :: (forall b. Data b => b -> b) -> FunctionArguments -> FunctionArguments

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionArguments -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionArguments -> r

gmapQ :: (forall d. Data d => d -> u) -> FunctionArguments -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionArguments -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionArguments -> m FunctionArguments

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionArguments -> m FunctionArguments

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionArguments -> m FunctionArguments

Show FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> FunctionArguments -> ShowS

show :: FunctionArguments -> String

showList :: [FunctionArguments] -> ShowS

Generic FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep FunctionArguments :: Type -> Type

Methods

from :: FunctionArguments -> Rep FunctionArguments x

to :: Rep FunctionArguments x -> FunctionArguments

FormatSql FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: FunctionArguments -> Builder

fmtPrec :: Int -> FunctionArguments -> Builder

Lift FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: FunctionArguments -> Q Exp

liftTyped :: FunctionArguments -> Q (TExp FunctionArguments)

type Rep FunctionArguments

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep FunctionArguments = D1 ('MetaData "FunctionArguments" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "StarArg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoArgs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Args" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArgsList))))

data ArgsList

Constructors

ArgsList

Fields

• arguments :: NonEmpty Argument
• sortBy :: [SortBy]
• distinct :: Bool

Instances

Eq ArgsList

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: ArgsList -> ArgsList -> Bool

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

Data ArgsList

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArgsList -> c ArgsList

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArgsList

toConstr :: ArgsList -> Constr

dataTypeOf :: ArgsList -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArgsList)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArgsList)

gmapT :: (forall b. Data b => b -> b) -> ArgsList -> ArgsList

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArgsList -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArgsList -> r

gmapQ :: (forall d. Data d => d -> u) -> ArgsList -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArgsList -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArgsList -> m ArgsList

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArgsList -> m ArgsList

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArgsList -> m ArgsList

Show ArgsList

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> ArgsList -> ShowS

show :: ArgsList -> String

showList :: [ArgsList] -> ShowS

Generic ArgsList

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep ArgsList :: Type -> Type

Methods

from :: ArgsList -> Rep ArgsList x

to :: Rep ArgsList x -> ArgsList

Lift ArgsList

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: ArgsList -> Q Exp

liftTyped :: ArgsList -> Q (TExp ArgsList)

type Rep ArgsList

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep ArgsList = D1 ('MetaData "ArgsList" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "ArgsList" 'PrefixI 'True) (S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Argument)) :*: (S1 ('MetaSel ('Just "sortBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SortBy]) :*: S1 ('MetaSel ('Just "distinct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

argsList :: NonEmpty Argument -> ArgsList

data Argument

Constructors

E Expr

Named Name Expr

Instances

Eq Argument

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Argument -> Argument -> Bool

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

Data Argument

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Argument -> c Argument

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Argument

toConstr :: Argument -> Constr

dataTypeOf :: Argument -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Argument)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Argument)

gmapT :: (forall b. Data b => b -> b) -> Argument -> Argument

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Argument -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Argument -> r

gmapQ :: (forall d. Data d => d -> u) -> Argument -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Argument -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Argument -> m Argument

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Argument -> m Argument

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Argument -> m Argument

Show Argument

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Argument -> ShowS

show :: Argument -> String

showList :: [Argument] -> ShowS

Generic Argument

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Argument :: Type -> Type

Methods

from :: Argument -> Rep Argument x

to :: Rep Argument x -> Argument

FormatSql Argument

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Argument -> Builder

fmtPrec :: Int -> Argument -> Builder

Lift Argument

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Argument -> Q Exp

liftTyped :: Argument -> Q (TExp Argument)

type Rep Argument

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Argument = D1 ('MetaData "Argument" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "E" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: C1 ('MetaCons "Named" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)))

data Case

Constructors

Case

Fields

• whenClause :: [(Expr, Expr)]
• implicitArg :: Maybe Expr
• elseClause :: Maybe Expr

Instances

Eq Case

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

(==) :: Case -> Case -> Bool

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

Data Case

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Case -> c Case

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Case

toConstr :: Case -> Constr

dataTypeOf :: Case -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Case)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Case)

gmapT :: (forall b. Data b => b -> b) -> Case -> Case

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Case -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Case -> r

gmapQ :: (forall d. Data d => d -> u) -> Case -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Case -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Case -> m Case

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Case -> m Case

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Case -> m Case

Show Case

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

showsPrec :: Int -> Case -> ShowS

show :: Case -> String

showList :: [Case] -> ShowS

Generic Case

Defined in Preql.QuasiQuoter.Syntax.Syntax

Associated Types

type Rep Case :: Type -> Type

Methods

from :: Case -> Rep Case x

to :: Rep Case x -> Case

FormatSql Case

Defined in Preql.QuasiQuoter.Syntax.Printer

Methods

fmt :: Case -> Builder

fmtPrec :: Int -> Case -> Builder

Lift Case

Defined in Preql.QuasiQuoter.Syntax.Syntax

Methods

lift :: Case -> Q Exp

liftTyped :: Case -> Q (TExp Case)

type Rep Case

Defined in Preql.QuasiQuoter.Syntax.Syntax

type Rep Case = D1 ('MetaData "Case" "Preql.QuasiQuoter.Syntax.Syntax" "preql-0.5-FdfxHOOmFuA1g6eoMjPSbJ" 'False) (C1 ('MetaCons "Case" 'PrefixI 'True) (S1 ('MetaSel ('Just "whenClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Expr, Expr)]) :*: (S1 ('MetaSel ('Just "implicitArg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)) :*: S1 ('MetaSel ('Just "elseClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Expr)))))