Database.Hasqly

Querying

data Query a

Instances

ToQueryBuilder (Query a)

Defined in Database.Hasqly

Methods

toQueryBuilder :: Query a -> QueryBuilder

data Command

Instances

ToQueryBuilder Command

Defined in Database.Hasqly

Methods

toQueryBuilder :: Command -> QueryBuilder

select :: Selector a -> QueryClauses -> Query a

mergeSelect :: Query b -> (a -> b -> c) -> Selector a -> Query c

replaceSelect :: Selector a -> Query b -> Query a

Query Clauses

data QueryClauses

Instances

Semigroup QueryClauses

Defined in Database.Hasqly

Methods

(<>) :: QueryClauses -> QueryClauses -> QueryClauses

sconcat :: NonEmpty QueryClauses -> QueryClauses

stimes :: Integral b => b -> QueryClauses -> QueryClauses

Monoid QueryClauses

Defined in Database.Hasqly

Methods

mempty :: QueryClauses

mappend :: QueryClauses -> QueryClauses -> QueryClauses

mconcat :: [QueryClauses] -> QueryClauses

from :: QueryBuilder -> QueryClauses

innerJoin :: [QueryBuilder] -> [QueryBuilder] -> QueryClauses

leftJoin :: [QueryBuilder] -> [QueryBuilder] -> QueryClauses

rightJoin :: [QueryBuilder] -> [QueryBuilder] -> QueryClauses

outerJoin :: [QueryBuilder] -> [QueryBuilder] -> QueryClauses

emptyJoins :: QueryClauses

where_ :: [QueryBuilder] -> QueryClauses

emptyWhere :: QueryClauses

groupBy_ :: [QueryBuilder] -> QueryClauses

having :: [QueryBuilder] -> QueryClauses

emptyHaving :: QueryClauses

orderBy :: [QueryOrdering] -> QueryClauses

limit :: Int -> QueryClauses

limitOffset :: Int -> Int -> QueryClauses

Selectors

data Selector a

Selectors contain the target fields or expressions in a SQL SELECT statement, and perform the conversion to haskell. Selectors are instances of Applicative, so they can return the desired haskell type.

Instances

Functor Selector

Defined in Database.Hasqly

Methods

fmap :: (a -> b) -> Selector a -> Selector b

(<$) :: a -> Selector b -> Selector a

Applicative Selector

Defined in Database.Hasqly

Methods

pure :: a -> Selector a

(<*>) :: Selector (a -> b) -> Selector a -> Selector b

liftA2 :: (a -> b -> c) -> Selector a -> Selector b -> Selector c

(*>) :: Selector a -> Selector b -> Selector b

(<*) :: Selector a -> Selector b -> Selector a

FromSql a => IsString (Selector a)

Defined in Database.Hasqly

Methods

fromString :: String -> Selector a

Semigroup a => Semigroup (Selector a)

Defined in Database.Hasqly

Methods

(<>) :: Selector a -> Selector a -> Selector a

sconcat :: NonEmpty (Selector a) -> Selector a

stimes :: Integral b => b -> Selector a -> Selector a

Monoid a => Monoid (Selector a)

Defined in Database.Hasqly

Methods

mempty :: Selector a

mappend :: Selector a -> Selector a -> Selector a

mconcat :: [Selector a] -> Selector a

as :: QueryBuilder -> QueryBuilder -> QueryBuilder

combinator for aliasing columns.

polymorphic selector

col :: FromSql a => QueryBuilder -> Selector a

The polymorphic selector. The return type is determined by type inference.

specialised selectors

The following are specialised versions of col. Using these may make refactoring easier, for example accidently swapping col "age" and col "name" would not give a type error, while intCol "age" and textCol "name" most likely would.

intCol :: (Show a, Bounded a, Integral a) => QueryBuilder -> Selector a

an integer field (TINYINT.. BIGINT). Any bounded haskell integer type can be used here , for example Int, Int32, Word32. An Overflow ur Underflow error will be raised if the value doesn't fit the type.

integerCol :: QueryBuilder -> Selector Integer

Un unbounded integer field, either a bounded integer (TINYINT, etc...) or DECIMAL in the database. Will throw a type error if the stored value is actually fractional.

WARNING: this function could potentially create huge integers with DECIMAL, if the exponent is large, even fillup the space and crash your program! Only use this on trusted inputs, or use Scientific instead.

doubleCol :: QueryBuilder -> Selector Double

a DOUBLE field.

floatCol :: QueryBuilder -> Selector Float

a FLOAT field.

scientificCol :: QueryBuilder -> Selector Scientific

A DECIMAL or NUMERIC field.

localTimeCol :: QueryBuilder -> Selector LocalTime

a DATETIME or a TIMESTAMP field.

timeOfDayCol :: QueryBuilder -> Selector TimeOfDay

A TIME field taken as a specific time.

diffTimeCol :: QueryBuilder -> Selector DiffTime

a TIME field taken as a time duration.

dayCol :: QueryBuilder -> Selector Day

A DATE field.

byteStringCol :: QueryBuilder -> Selector ByteString

A binary BLOB field.

textCol :: QueryBuilder -> Selector Text

a TEXT field.

other selectors

values :: [QueryBuilder] -> Selector [MySQLValue]

Read the columns directly as a MySQLValue type without conversion.

values_ :: [QueryBuilder] -> Selector ()

Ignore the content of the given columns

Expressions

subQuery :: ToQueryBuilder a => a -> QueryBuilder

arg :: ToSql a => a -> QueryBuilder

fun :: Text -> [QueryBuilder] -> QueryBuilder

op :: Text -> QueryBuilder -> QueryBuilder -> QueryBuilder

(.>) :: QueryBuilder -> QueryBuilder -> QueryBuilder

(.+) :: QueryBuilder -> QueryBuilder -> QueryBuilder

(.-) :: QueryBuilder -> QueryBuilder -> QueryBuilder

Insertion

data Insertor a

An Insertor a provides a mapping of parts of values of type a to columns in the database. Insertors can be combined using <>.

Instances

Semigroup (Insertor a)

Defined in Database.Hasqly

Methods

(<>) :: Insertor a -> Insertor a -> Insertor a

sconcat :: NonEmpty (Insertor a) -> Insertor a

stimes :: Integral b => b -> Insertor a -> Insertor a

Monoid (Insertor a)

Defined in Database.Hasqly

Methods

mempty :: Insertor a

mappend :: Insertor a -> Insertor a -> Insertor a

mconcat :: [Insertor a] -> Insertor a

insertValues :: QueryBuilder -> Insertor a -> [a] -> Command

insertSelect :: QueryBuilder -> [QueryBuilder] -> [QueryBuilder] -> QueryClauses -> Command

into :: ToSql b => (a -> b) -> Text -> Insertor a

into uses the given extractor function to map the part to a field. For example:

insertValues "Person" (fst `into` "name" <> snd `into` "age")
  [("Bart Simpson", 10), ("Lisa Simpson", 8)]

lensInto :: ToSql b => ((b -> Const b b) -> a -> Const b a) -> Text -> Insertor a

lensInto uses a lens to map the part to a field. For example:

insertValues "Person" (_1 `lensInto` "name" <> _2 `lensInto` "age")
  [("Bart Simpson", 10), ("Lisa Simpson", 8)]

insert1 :: ToSql a => Text -> Insertor a

insert a single value directly

insert2 :: (ToSql a1, ToSql a2) => Text -> Text -> Insertor (a1, a2)

insert the values of a tuple

insert3 :: (ToSql a1, ToSql a2, ToSql a3) => Text -> Text -> Text -> Insertor (a1, a2, a3)

insert4 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4) => Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4)

insert5 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4, ToSql a5) => Text -> Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4, a5)

insert6 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4, ToSql a5, ToSql a6) => Text -> Text -> Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4, a5, a6)

insert7 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4, ToSql a5, ToSql a6, ToSql a7) => Text -> Text -> Text -> Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4, a5, a6, a7)

insert8 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4, ToSql a5, ToSql a6, ToSql a7, ToSql a8) => Text -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4, a5, a6, a7, a8)

insert9 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4, ToSql a5, ToSql a6, ToSql a7, ToSql a8, ToSql a9) => Text -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4, a5, a6, a7, a8, a9)

insert10 :: (ToSql a1, ToSql a2, ToSql a3, ToSql a4, ToSql a5, ToSql a6, ToSql a7, ToSql a8, ToSql a9, ToSql a10) => Text -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Text -> Insertor (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

class ToSql a

Minimal complete definition

toSqlValue

Instances

ToSql Double

Defined in Database.Hasqly

Methods

toSqlValue :: Double -> MySQLValue

ToSql Float

Defined in Database.Hasqly

Methods

toSqlValue :: Float -> MySQLValue

ToSql Int

Defined in Database.Hasqly

Methods

toSqlValue :: Int -> MySQLValue

ToSql Int8

Defined in Database.Hasqly

Methods

toSqlValue :: Int8 -> MySQLValue

ToSql Int16

Defined in Database.Hasqly

Methods

toSqlValue :: Int16 -> MySQLValue

ToSql Int32

Defined in Database.Hasqly

Methods

toSqlValue :: Int32 -> MySQLValue

ToSql Int64

Defined in Database.Hasqly

Methods

toSqlValue :: Int64 -> MySQLValue

ToSql Integer

Defined in Database.Hasqly

Methods

toSqlValue :: Integer -> MySQLValue

ToSql Word8

Defined in Database.Hasqly

Methods

toSqlValue :: Word8 -> MySQLValue

ToSql Word16

Defined in Database.Hasqly

Methods

toSqlValue :: Word16 -> MySQLValue

ToSql Word32

Defined in Database.Hasqly

Methods

toSqlValue :: Word32 -> MySQLValue

ToSql Word64

Defined in Database.Hasqly

Methods

toSqlValue :: Word64 -> MySQLValue

ToSql ByteString

Defined in Database.Hasqly

Methods

toSqlValue :: ByteString -> MySQLValue

ToSql Text

Defined in Database.Hasqly

Methods

toSqlValue :: Text -> MySQLValue

ToSql TimeOfDay

Defined in Database.Hasqly

Methods

toSqlValue :: TimeOfDay -> MySQLValue

ToSql LocalTime

Defined in Database.Hasqly

Methods

toSqlValue :: LocalTime -> MySQLValue

ToSql Scientific

Defined in Database.Hasqly

Methods

toSqlValue :: Scientific -> MySQLValue

ToSql DiffTime

Defined in Database.Hasqly

Methods

toSqlValue :: DiffTime -> MySQLValue

ToSql Day

Defined in Database.Hasqly

Methods

toSqlValue :: Day -> MySQLValue

ToSql a => ToSql (Maybe a)

Defined in Database.Hasqly

Methods

toSqlValue :: Maybe a -> MySQLValue

Rendering Queries

renderStmt :: ToQueryBuilder a => a -> ByteString

renderPreparedStmt :: ToQueryBuilder a => a -> (ByteString, [MySQLValue])

data SQLError

Constructors

SQLError String

ResultSetCountError

TypeError MySQLValue String

Underflow

Overflow

data QueryBuilder

Instances

IsString QueryBuilder

Defined in Database.Hasqly

Methods

fromString :: String -> QueryBuilder

Semigroup QueryBuilder

Defined in Database.Hasqly

Methods

(<>) :: QueryBuilder -> QueryBuilder -> QueryBuilder

sconcat :: NonEmpty QueryBuilder -> QueryBuilder

stimes :: Integral b => b -> QueryBuilder -> QueryBuilder

Monoid QueryBuilder

Defined in Database.Hasqly

Methods

mempty :: QueryBuilder

mappend :: QueryBuilder -> QueryBuilder -> QueryBuilder

mconcat :: [QueryBuilder] -> QueryBuilder

class ToQueryBuilder a

Minimal complete definition

toQueryBuilder

Instances

ToQueryBuilder Command

Defined in Database.Hasqly

Methods

toQueryBuilder :: Command -> QueryBuilder

ToQueryBuilder (Query a)

Defined in Database.Hasqly

Methods

toQueryBuilder :: Query a -> QueryBuilder

class FromSql a

Minimal complete definition

fromSql

Instances

FromSql Double

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Double

FromSql Float

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Float

FromSql Int

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Int

FromSql Int8

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Int8

FromSql Int16

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Int16

FromSql Int32

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Int32

FromSql Int64

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Int64

FromSql Integer

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Integer

FromSql Word8

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Word8

FromSql Word16

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Word16

FromSql Word32

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Word32

FromSql Word64

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Word64

FromSql ByteString

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError ByteString

FromSql Text

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Text

FromSql TimeOfDay

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError TimeOfDay

FromSql LocalTime

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError LocalTime

FromSql Scientific

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Scientific

FromSql DiffTime

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError DiffTime

FromSql Day

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError Day

FromSql a => FromSql (Maybe a)

Defined in Database.Hasqly

Methods

fromSql :: MySQLValue -> Either SQLError (Maybe a)