Safe Haskell	None
Language	Haskell2010

Internal.Data.Basic.Sql.Types

Contents

Orphan instances

Documentation

data QuerySegment Source #

Constructors

QuerySegment Query [Action]

Instances

Show QuerySegment Source #
Methods showsPrec :: Int -> QuerySegment -> ShowS # show :: QuerySegment -> String # showList :: [QuerySegment] -> ShowS #
IsString QuerySegment Source #
Methods fromString :: String -> QuerySegment #
Semigroup QuerySegment Source #
Methods (<>) :: QuerySegment -> QuerySegment -> QuerySegment # sconcat :: NonEmpty QuerySegment -> QuerySegment # stimes :: Integral b => b -> QuerySegment -> QuerySegment #
Monoid QuerySegment Source #
Methods mempty :: QuerySegment # mappend :: QuerySegment -> QuerySegment -> QuerySegment # mconcat :: [QuerySegment] -> QuerySegment #

data Comparison Source #

Constructors

LessThan
LessOrEqual
GreaterThan
GreaterOrEqual
Equal
NotEqual

Instances

Eq Comparison Source #
Methods (==) :: Comparison -> Comparison -> Bool # (/=) :: Comparison -> Comparison -> Bool #
Ord Comparison Source #
Methods compare :: Comparison -> Comparison -> Ordering # (<) :: Comparison -> Comparison -> Bool # (<=) :: Comparison -> Comparison -> Bool # (>) :: Comparison -> Comparison -> Bool # (>=) :: Comparison -> Comparison -> Bool # max :: Comparison -> Comparison -> Comparison # min :: Comparison -> Comparison -> Comparison #
Read Comparison Source #
Methods readsPrec :: Int -> ReadS Comparison # readList :: ReadS [Comparison] # readPrec :: ReadPrec Comparison # readListPrec :: ReadPrec [Comparison] #
Show Comparison Source #
Methods showsPrec :: Int -> Comparison -> ShowS # show :: Comparison -> String # showList :: [Comparison] -> ShowS #

data SortDirection Source #

Constructors

Ascending
Descending

Instances

Eq SortDirection Source #
Methods (==) :: SortDirection -> SortDirection -> Bool # (/=) :: SortDirection -> SortDirection -> Bool #
Ord SortDirection Source #
Methods compare :: SortDirection -> SortDirection -> Ordering # (<) :: SortDirection -> SortDirection -> Bool # (<=) :: SortDirection -> SortDirection -> Bool # (>) :: SortDirection -> SortDirection -> Bool # (>=) :: SortDirection -> SortDirection -> Bool # max :: SortDirection -> SortDirection -> SortDirection # min :: SortDirection -> SortDirection -> SortDirection #
Read SortDirection Source #
Methods readsPrec :: Int -> ReadS SortDirection # readList :: ReadS [SortDirection] # readPrec :: ReadPrec SortDirection # readListPrec :: ReadPrec [SortDirection] #
Show SortDirection Source #
Methods showsPrec :: Int -> SortDirection -> ShowS # show :: SortDirection -> String # showList :: [SortDirection] -> ShowS #

newtype SqlFunctionName Source #

Constructors

SqlFunctionName Text

Instances

Eq SqlFunctionName Source #
Methods (==) :: SqlFunctionName -> SqlFunctionName -> Bool # (/=) :: SqlFunctionName -> SqlFunctionName -> Bool #
Ord SqlFunctionName Source #
Methods compare :: SqlFunctionName -> SqlFunctionName -> Ordering # (<) :: SqlFunctionName -> SqlFunctionName -> Bool # (<=) :: SqlFunctionName -> SqlFunctionName -> Bool # (>) :: SqlFunctionName -> SqlFunctionName -> Bool # (>=) :: SqlFunctionName -> SqlFunctionName -> Bool # max :: SqlFunctionName -> SqlFunctionName -> SqlFunctionName # min :: SqlFunctionName -> SqlFunctionName -> SqlFunctionName #
Read SqlFunctionName Source #
Methods readsPrec :: Int -> ReadS SqlFunctionName # readList :: ReadS [SqlFunctionName] # readPrec :: ReadPrec SqlFunctionName # readListPrec :: ReadPrec [SqlFunctionName] #
Show SqlFunctionName Source #
Methods showsPrec :: Int -> SqlFunctionName -> ShowS # show :: SqlFunctionName -> String # showList :: [SqlFunctionName] -> ShowS #

data QualifiedField Source #

Constructors

QualifiedField Int Text

Instances

Eq QualifiedField Source #
Methods (==) :: QualifiedField -> QualifiedField -> Bool # (/=) :: QualifiedField -> QualifiedField -> Bool #
Ord QualifiedField Source #
Methods compare :: QualifiedField -> QualifiedField -> Ordering # (<) :: QualifiedField -> QualifiedField -> Bool # (<=) :: QualifiedField -> QualifiedField -> Bool # (>) :: QualifiedField -> QualifiedField -> Bool # (>=) :: QualifiedField -> QualifiedField -> Bool # max :: QualifiedField -> QualifiedField -> QualifiedField # min :: QualifiedField -> QualifiedField -> QualifiedField #
Read QualifiedField Source #
Methods readsPrec :: Int -> ReadS QualifiedField # readList :: ReadS [QualifiedField] # readPrec :: ReadPrec QualifiedField # readListPrec :: ReadPrec [QualifiedField] #
Show QualifiedField Source #
Methods showsPrec :: Int -> QualifiedField -> ShowS # show :: QualifiedField -> String # showList :: [QualifiedField] -> ShowS #

newtype TableValue Source #

Constructors

TableValue Int

Instances

Eq TableValue Source #
Methods (==) :: TableValue -> TableValue -> Bool # (/=) :: TableValue -> TableValue -> Bool #
Ord TableValue Source #
Methods compare :: TableValue -> TableValue -> Ordering # (<) :: TableValue -> TableValue -> Bool # (<=) :: TableValue -> TableValue -> Bool # (>) :: TableValue -> TableValue -> Bool # (>=) :: TableValue -> TableValue -> Bool # max :: TableValue -> TableValue -> TableValue # min :: TableValue -> TableValue -> TableValue #
Read TableValue Source #
Methods readsPrec :: Int -> ReadS TableValue # readList :: ReadS [TableValue] # readPrec :: ReadPrec TableValue # readListPrec :: ReadPrec [TableValue] #
Show TableValue Source #
Methods showsPrec :: Int -> TableValue -> ShowS # show :: TableValue -> String # showList :: [TableValue] -> ShowS #

data QualifiedTable Source #

Constructors

QualifiedTable Text Int

Instances

Eq QualifiedTable Source #
Methods (==) :: QualifiedTable -> QualifiedTable -> Bool # (/=) :: QualifiedTable -> QualifiedTable -> Bool #
Ord QualifiedTable Source #
Methods compare :: QualifiedTable -> QualifiedTable -> Ordering # (<) :: QualifiedTable -> QualifiedTable -> Bool # (<=) :: QualifiedTable -> QualifiedTable -> Bool # (>) :: QualifiedTable -> QualifiedTable -> Bool # (>=) :: QualifiedTable -> QualifiedTable -> Bool # max :: QualifiedTable -> QualifiedTable -> QualifiedTable # min :: QualifiedTable -> QualifiedTable -> QualifiedTable #
Read QualifiedTable Source #
Methods readsPrec :: Int -> ReadS QualifiedTable # readList :: ReadS [QualifiedTable] # readPrec :: ReadPrec QualifiedTable # readListPrec :: ReadPrec [QualifiedTable] #
Show QualifiedTable Source #
Methods showsPrec :: Int -> QualifiedTable -> ShowS # show :: QualifiedTable -> String # showList :: [QualifiedTable] -> ShowS #

data Condition Source #

Instances

Show Condition Source #
Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #
Semigroup Condition Source #
Methods (<>) :: Condition -> Condition -> Condition # sconcat :: NonEmpty Condition -> Condition # stimes :: Integral b => b -> Condition -> Condition #

data AggregateFunction Source #

Constructors

Avg
Max
Min
Count
Sum
Only
ArrayAgg

Instances

Show AggregateFunction Source #
Methods showsPrec :: Int -> AggregateFunction -> ShowS # show :: AggregateFunction -> String # showList :: [AggregateFunction] -> ShowS #

data SqlValueExp Source #

Constructors

SimpleName QualifiedField
TableRecord TableValue
SqlFunctionApplication SqlFunctionName SqlValueExp
SqlLiteral Action
AggregateFunction AggregateFunction SqlValueExp

Instances

Show SqlValueExp Source #
Methods showsPrec :: Int -> SqlValueExp -> ShowS # show :: SqlValueExp -> String # showList :: [SqlValueExp] -> ShowS #

newtype Limit Source #

Constructors

Limit (Maybe Int)

Instances

Eq Limit Source #
Methods (==) :: Limit -> Limit -> Bool # (/=) :: Limit -> Limit -> Bool #
Ord Limit Source #
Methods compare :: Limit -> Limit -> Ordering # (<) :: Limit -> Limit -> Bool # (<=) :: Limit -> Limit -> Bool # (>) :: Limit -> Limit -> Bool # (>=) :: Limit -> Limit -> Bool # max :: Limit -> Limit -> Limit # min :: Limit -> Limit -> Limit #
Read Limit Source #
Methods readsPrec :: Int -> ReadS Limit # readList :: ReadS [Limit] # readPrec :: ReadPrec Limit # readListPrec :: ReadPrec [Limit] #
Show Limit Source #
Methods showsPrec :: Int -> Limit -> ShowS # show :: Limit -> String # showList :: [Limit] -> ShowS #

data Selection Source #

Constructors

SelectEverything
SelectExpressions [SqlValueExp]

Instances

Show Selection Source #
Methods showsPrec :: Int -> Selection -> ShowS # show :: Selection -> String # showList :: [Selection] -> ShowS #

newtype Grouping Source #

Constructors

Grouping [SqlValueExp]

Instances

Show Grouping Source #
Methods showsPrec :: Int -> Grouping -> ShowS # show :: Grouping -> String # showList :: [Grouping] -> ShowS #

data SqlExp Source #

Constructors

Select Selection (Maybe Condition) [QualifiedTable] [(SqlValueExp, SortDirection)] Limit Grouping
Insert Text [Text] [Action]
RawQuery Text [Action]
Delete QualifiedTable (Maybe Condition)
Update [Text] [SqlValueExp] (Maybe Condition) QualifiedTable

Instances

Show SqlExp Source #
Methods showsPrec :: Int -> SqlExp -> ShowS # show :: SqlExp -> String # showList :: [SqlExp] -> ShowS #

sToQuery :: StringConv a ByteString => a -> QuerySegment Source #

actionToQuery :: Action -> QuerySegment Source #

tableToQuery :: QualifiedTable -> QuerySegment Source #

comparisonToQuery :: Comparison -> QuerySegment Source #

fieldToQuery :: QualifiedField -> QuerySegment Source #

tableValueToQuery :: TableValue -> QuerySegment Source #

aggregateFunctionToQuery :: AggregateFunction -> QuerySegment Source #

valueToQuery :: SqlValueExp -> QuerySegment Source #

conditionToQuery :: Condition -> QuerySegment Source #

orderingToQuery :: (SqlValueExp, SortDirection) -> QuerySegment Source #

limitToQuery :: Limit -> QuerySegment Source #

selectionToQuery :: Selection -> QuerySegment Source #

groupToQuery :: Grouping -> QuerySegment Source #

listToTuple :: [QuerySegment] -> QuerySegment Source #

separateBy :: (Monoid a, Semigroup a, IsString a) => a -> [a] -> a Source #

sqlExpToQuery :: SqlExp -> QuerySegment Source #

data SqlResult Source #

Constructors

FromRow a => SqlResult [a]

data SomeFromRowProxy Source #

Constructors

FromRow a => SomeFromRowProxy (Proxy a)

Orphan instances

Semigroup Query Source #
Methods (<>) :: Query -> Query -> Query # sconcat :: NonEmpty Query -> Query # stimes :: Integral b => b -> Query -> Query #

SqlAnd Condition Condition
SqlOr Condition Condition
SqlOperator Comparison SqlValueExp SqlValueExp
IsNull SqlValueExp
IsNotNull SqlValueExp
In SqlValueExp [SqlValueExp]
BoolLit Bool
Like Bool SqlValueExp Text