Database.Relational.Query.Pure

This module defines interfaces between haskell pure values and query internal projection values.

Interface to specify record constructors.

class ProductConstructor r where

Specify tuple like record constructors which are allowed to define ProjectableFunctor.

Minimal complete definition

productConstructor

Methods

productConstructor :: r

The constructor which has type r.

Instances

ProductConstructor (a -> b -> (a, b))

ProductConstructor instance of pair.

Methods

productConstructor :: a -> b -> (a, b)

Constant SQL Terms

class ShowConstantTermsSQL a where

Interface for constant SQL term list.

Minimal complete definition

showConstantTermsSQL'

Methods

showConstantTermsSQL' :: a -> [StringSQL]

Instances

ShowConstantTermsSQL Bool

Constant SQL terms of Bool.

Methods

showConstantTermsSQL' :: Bool -> [StringSQL]

ShowConstantTermsSQL Char

Constant SQL terms of Char.

Methods

showConstantTermsSQL' :: Char -> [StringSQL]

ShowConstantTermsSQL Double

Constant SQL terms of Double. Caution for floating-point error rate.

Methods

showConstantTermsSQL' :: Double -> [StringSQL]

ShowConstantTermsSQL Float

Constant SQL terms of Float. Caution for floating-point error rate.

Methods

showConstantTermsSQL' :: Float -> [StringSQL]

ShowConstantTermsSQL Int

Constant SQL terms of Int. Use this carefully, because this is architecture dependent size of integer type.

Methods

showConstantTermsSQL' :: Int -> [StringSQL]

ShowConstantTermsSQL Int8

Constant SQL terms of Int8.

Methods

showConstantTermsSQL' :: Int8 -> [StringSQL]

ShowConstantTermsSQL Int16

Constant SQL terms of Int16.

Methods

showConstantTermsSQL' :: Int16 -> [StringSQL]

ShowConstantTermsSQL Int32

Constant SQL terms of Int32.

Methods

showConstantTermsSQL' :: Int32 -> [StringSQL]

ShowConstantTermsSQL Int64

Constant SQL terms of Int64.

Methods

showConstantTermsSQL' :: Int64 -> [StringSQL]

ShowConstantTermsSQL String

Constant SQL terms of String.

Methods

showConstantTermsSQL' :: String -> [StringSQL]

ShowConstantTermsSQL ByteString

Constant SQL terms of ByteString.

Methods

showConstantTermsSQL' :: ByteString -> [StringSQL]

ShowConstantTermsSQL ByteString

Constant SQL terms of ByteString.

Methods

showConstantTermsSQL' :: ByteString -> [StringSQL]

ShowConstantTermsSQL Text

Constant SQL terms of Text.

Methods

showConstantTermsSQL' :: Text -> [StringSQL]

ShowConstantTermsSQL Text

Constant SQL terms of Text.

Methods

showConstantTermsSQL' :: Text -> [StringSQL]

ShowConstantTermsSQL LocalTime

Constant SQL terms of LocalTime.

Methods

showConstantTermsSQL' :: LocalTime -> [StringSQL]

ShowConstantTermsSQL ZonedTime

Constant SQL terms of ZonedTime. This generates ***NOT STANDARD*** SQL of TIMESTAMPTZ literal.

Methods

showConstantTermsSQL' :: ZonedTime -> [StringSQL]

ShowConstantTermsSQL TimeOfDay

Constant SQL terms of TimeOfDay.

Methods

showConstantTermsSQL' :: TimeOfDay -> [StringSQL]

ShowConstantTermsSQL UTCTime

Constant SQL terms of UTCTime. This generates ***NOT STANDARD*** SQL of TIMESTAMPTZ literal with UTC timezone.

Methods

showConstantTermsSQL' :: UTCTime -> [StringSQL]

ShowConstantTermsSQL Day

Constant SQL terms of Day.

Methods

showConstantTermsSQL' :: Day -> [StringSQL]

(PersistableWidth a, ShowConstantTermsSQL a) => ShowConstantTermsSQL (Maybe a)

Constant SQL terms of Maybe type. Width inference is required.

Methods

showConstantTermsSQL' :: Maybe a -> [StringSQL]

(ShowConstantTermsSQL a, ShowConstantTermsSQL b) => ShowConstantTermsSQL (a, b)

Constant SQL terms of '(a, b)' type.

Methods

showConstantTermsSQL' :: (a, b) -> [StringSQL]

showConstantTermsSQL :: ShowConstantTermsSQL a => a -> [String]

String interface of showConstantTermsSQL'.