Database.Relational.ProjectableClass

This module provides interfaces to preserve constraints of direct product projections.

Literal SQL terms

class LiteralSQL a where

LiteralSQL a is implicit rule to derive function to convert from haskell record type a into SQL literal row-value.

Generic programming (https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#generic-programming) with default signature is available for LiteralSQL class, so you can make instance like below:

  {-# LANGUAGE DeriveGeneric #-}
  import GHC.Generics (Generic)
  --
  data Foo = Foo { ... } deriving Generic
  instance LiteralSQL Foo

Minimal complete definition

Nothing

Methods

showLiteral' :: a -> DList StringSQL

showLiteral' :: (Generic a, GLiteralSQL (Rep a)) => a -> DList StringSQL

Instances

LiteralSQL Bool

Constant SQL terms of Bool.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Bool -> DList StringSQL

LiteralSQL Char

Constant SQL terms of Char.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Char -> DList StringSQL

LiteralSQL Double

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

Defined in Database.Relational.Pure

Methods

showLiteral' :: Double -> DList StringSQL

LiteralSQL Float

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

Defined in Database.Relational.Pure

Methods

showLiteral' :: Float -> DList StringSQL

LiteralSQL Int

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

Defined in Database.Relational.Pure

Methods

showLiteral' :: Int -> DList StringSQL

LiteralSQL Int8

Constant SQL terms of Int8.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Int8 -> DList StringSQL

LiteralSQL Int16

Constant SQL terms of Int16.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Int16 -> DList StringSQL

LiteralSQL Int32

Constant SQL terms of Int32.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Int32 -> DList StringSQL

LiteralSQL Int64

Constant SQL terms of Int64.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Int64 -> DList StringSQL

LiteralSQL Integer

Defined in Database.Relational.Pure

Methods

showLiteral' :: Integer -> DList StringSQL

LiteralSQL Word

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

Defined in Database.Relational.Pure

Methods

showLiteral' :: Word -> DList StringSQL

LiteralSQL Word8

Constant SQL terms of Word8.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Word8 -> DList StringSQL

LiteralSQL Word16

Constant SQL terms of Word16.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Word16 -> DList StringSQL

LiteralSQL Word32

Constant SQL terms of Word32.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Word32 -> DList StringSQL

LiteralSQL Word64

Constant SQL terms of Word64.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Word64 -> DList StringSQL

LiteralSQL ()

Constant SQL terms of '()'.

Defined in Database.Relational.Pure

Methods

showLiteral' :: () -> DList StringSQL

LiteralSQL String

Constant SQL terms of String.

Defined in Database.Relational.Pure

Methods

showLiteral' :: String -> DList StringSQL

LiteralSQL ByteString

Constant SQL terms of ByteString.

Defined in Database.Relational.PureUTF8

Methods

showLiteral' :: ByteString -> DList StringSQL

LiteralSQL ByteString

Constant SQL terms of ByteString.

Defined in Database.Relational.PureUTF8

Methods

showLiteral' :: ByteString -> DList StringSQL

LiteralSQL Text

Constant SQL terms of Text.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Text -> DList StringSQL

LiteralSQL Text

Constant SQL terms of Text.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Text -> DList StringSQL

LiteralSQL ZonedTime

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

Defined in Database.Relational.NonStandard.PureTimestampTZ

Methods

showLiteral' :: ZonedTime -> DList StringSQL

LiteralSQL LocalTime

Constant SQL terms of LocalTime.

Defined in Database.Relational.Pure

Methods

showLiteral' :: LocalTime -> DList StringSQL

LiteralSQL TimeOfDay

Constant SQL terms of TimeOfDay.

Defined in Database.Relational.Pure

Methods

showLiteral' :: TimeOfDay -> DList StringSQL

LiteralSQL UTCTime

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

Defined in Database.Relational.NonStandard.PureTimestampTZ

Methods

showLiteral' :: UTCTime -> DList StringSQL

LiteralSQL Day

Constant SQL terms of Day.

Defined in Database.Relational.Pure

Methods

showLiteral' :: Day -> DList StringSQL

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

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

Defined in Database.Relational.Pure

Methods

showLiteral' :: Maybe a -> DList StringSQL

(LiteralSQL a1, LiteralSQL a2) => LiteralSQL (a1, a2)

Defined in Database.Relational.TupleInstances

Methods

showLiteral' :: (a1, a2) -> DList StringSQL

(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3) => LiteralSQL (a1, a2, a3)

Defined in Database.Relational.TupleInstances

Methods

showLiteral' :: (a1, a2, a3) -> DList StringSQL

(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4) => LiteralSQL (a1, a2, a3, a4)

Defined in Database.Relational.TupleInstances

Methods

showLiteral' :: (a1, a2, a3, a4) -> DList StringSQL

(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4, LiteralSQL a5) => LiteralSQL (a1, a2, a3, a4, a5)

Defined in Database.Relational.TupleInstances

Methods

showLiteral' :: (a1, a2, a3, a4, a5) -> DList StringSQL

(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4, LiteralSQL a5, LiteralSQL a6) => LiteralSQL (a1, a2, a3, a4, a5, a6)

Defined in Database.Relational.TupleInstances

Methods

showLiteral' :: (a1, a2, a3, a4, a5, a6) -> DList StringSQL

(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4, LiteralSQL a5, LiteralSQL a6, LiteralSQL a7) => LiteralSQL (a1, a2, a3, a4, a5, a6, a7)

Defined in Database.Relational.TupleInstances

Methods

showLiteral' :: (a1, a2, a3, a4, a5, a6, a7) -> DList StringSQL

showLiteral :: LiteralSQL a => a -> [StringSQL]

Convert from haskell record to SQL literal row-value.

type StringSQL = Keyword

String wrap type for SQL strings.

Deprecated.

type ShowConstantTermsSQL = LiteralSQL

Deprecated: Use LiteralSQL instead of this.

Deprecated.

showConstantTermsSQL' :: ShowConstantTermsSQL a => a -> DList StringSQL

Deprecated: Use showLiteral' instead of this.

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

Deprecated: Use showLiteral instead of this.

Deprecated.