Database.Relational.ProjectableClass

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

Literal SQL terms

class ShowConstantTermsSQL a where

ShowConstantTermsSQL a is implicit rule to derive function to convert from haskell record type a into constant SQL terms.

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

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

Minimal complete definition

Nothing

Methods

showConstantTermsSQL' :: a -> DList StringSQL

showConstantTermsSQL' :: (Generic a, GShowConstantTermsSQL (Rep a)) => a -> DList StringSQL

Instances

ShowConstantTermsSQL Bool

Constant SQL terms of Bool.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Bool -> DList StringSQL

ShowConstantTermsSQL Char

Constant SQL terms of Char.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Char -> DList StringSQL

ShowConstantTermsSQL Double

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

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Double -> DList StringSQL

ShowConstantTermsSQL Float

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

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Float -> DList StringSQL

ShowConstantTermsSQL Int

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

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Int -> DList StringSQL

ShowConstantTermsSQL Int8

Constant SQL terms of Int8.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Int8 -> DList StringSQL

ShowConstantTermsSQL Int16

Constant SQL terms of Int16.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Int16 -> DList StringSQL

ShowConstantTermsSQL Int32

Constant SQL terms of Int32.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Int32 -> DList StringSQL

ShowConstantTermsSQL Int64

Constant SQL terms of Int64.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Int64 -> DList StringSQL

ShowConstantTermsSQL ()

Constant SQL terms of '()'.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: () -> DList StringSQL

ShowConstantTermsSQL String

Constant SQL terms of String.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: String -> DList StringSQL

ShowConstantTermsSQL ByteString

Constant SQL terms of ByteString.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: ByteString -> DList StringSQL

ShowConstantTermsSQL ByteString

Constant SQL terms of ByteString.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: ByteString -> DList StringSQL

ShowConstantTermsSQL Text

Constant SQL terms of Text.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Text -> DList StringSQL

ShowConstantTermsSQL Text

Constant SQL terms of Text.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Text -> DList StringSQL

ShowConstantTermsSQL ZonedTime

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

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: ZonedTime -> DList StringSQL

ShowConstantTermsSQL LocalTime

Constant SQL terms of LocalTime.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: LocalTime -> DList StringSQL

ShowConstantTermsSQL TimeOfDay

Constant SQL terms of TimeOfDay.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: TimeOfDay -> DList StringSQL

ShowConstantTermsSQL UTCTime

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

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: UTCTime -> DList StringSQL

ShowConstantTermsSQL Day

Constant SQL terms of Day.

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Day -> DList StringSQL

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

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

Defined in Database.Relational.Pure

Methods

showConstantTermsSQL' :: Maybe a -> DList StringSQL

(ShowConstantTermsSQL a1, ShowConstantTermsSQL a2) => ShowConstantTermsSQL (a1, a2)

Defined in Database.Relational.TupleInstances

Methods

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

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

Defined in Database.Relational.TupleInstances

Methods

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

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

Defined in Database.Relational.TupleInstances

Methods

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

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

Defined in Database.Relational.TupleInstances

Methods

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

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

Defined in Database.Relational.TupleInstances

Methods

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

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

Defined in Database.Relational.TupleInstances

Methods

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

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

Convert from haskell record to SQL terms list.

type StringSQL = Keyword

String wrap type for SQL strings.