Copyright	2017 Kei Hibino
License	BSD3
Maintainer	ex8k.hibino@gmail.com
Stability	experimental
Portability	unknown
Safe Haskell	Safe
Language	Haskell2010

Database.Relational.ProjectableClass

Contents

Literal SQL terms
Deprecated.

Description

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

Synopsis

class LiteralSQL a where
- showLiteral' :: a -> DList StringSQL
showLiteral :: LiteralSQL a => a -> [StringSQL]
type StringSQL = Keyword
type ShowConstantTermsSQL = LiteralSQL
showConstantTermsSQL' :: ShowConstantTermsSQL a => a -> DList StringSQL
showConstantTermsSQL :: ShowConstantTermsSQL a => a -> [StringSQL]

Literal SQL terms

class LiteralSQL a where Source #

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 Source #

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

Instances

Instances details

LiteralSQL Bool Source #	Constant SQL terms of `Bool`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Bool -> DList StringSQL Source #
LiteralSQL Char Source #	Constant SQL terms of `Char`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Char -> DList StringSQL Source #
LiteralSQL Double Source #	Constant SQL terms of `Double`. Caution for floating-point error rate.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Double -> DList StringSQL Source #
LiteralSQL Float Source #	Constant SQL terms of `Float`. Caution for floating-point error rate.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Float -> DList StringSQL Source #
LiteralSQL Int Source #	Constant SQL terms of `Int`. Use this carefully, because this is architecture dependent size of integer type.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Int -> DList StringSQL Source #
LiteralSQL Int8 Source #	Constant SQL terms of `Int8`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Int8 -> DList StringSQL Source #
LiteralSQL Int16 Source #	Constant SQL terms of `Int16`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Int16 -> DList StringSQL Source #
LiteralSQL Int32 Source #	Constant SQL terms of `Int32`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Int32 -> DList StringSQL Source #
LiteralSQL Int64 Source #	Constant SQL terms of `Int64`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Int64 -> DList StringSQL Source #
LiteralSQL Integer Source #
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Integer -> DList StringSQL Source #
LiteralSQL Word Source #	Constant SQL terms of `Word`. Use this carefully, because this is architecture dependent size of integer type.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Word -> DList StringSQL Source #
LiteralSQL Word8 Source #	Constant SQL terms of `Word8`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Word8 -> DList StringSQL Source #
LiteralSQL Word16 Source #	Constant SQL terms of `Word16`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Word16 -> DList StringSQL Source #
LiteralSQL Word32 Source #	Constant SQL terms of `Word32`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Word32 -> DList StringSQL Source #
LiteralSQL Word64 Source #	Constant SQL terms of `Word64`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Word64 -> DList StringSQL Source #
LiteralSQL () Source #	Constant SQL terms of `()`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: () -> DList StringSQL Source #
LiteralSQL String Source #	Constant SQL terms of `String`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: String -> DList StringSQL Source #
LiteralSQL Day Source #	Constant SQL terms of `Day`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Day -> DList StringSQL Source #
LiteralSQL UTCTime Source #	Constant SQL terms of `UTCTime`. This generates *NOT STANDARD* SQL of TIMESTAMPTZ literal with UTC timezone.
Instance details Defined in Database.Relational.NonStandard.PureTimestampTZ Methods showLiteral' :: UTCTime -> DList StringSQL Source #
LiteralSQL LocalTime Source #	Constant SQL terms of `LocalTime`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: LocalTime -> DList StringSQL Source #
LiteralSQL TimeOfDay Source #	Constant SQL terms of `TimeOfDay`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: TimeOfDay -> DList StringSQL Source #
LiteralSQL ZonedTime Source #	Constant SQL terms of `ZonedTime`. This generates *NOT STANDARD* SQL of TIMESTAMPTZ literal.
Instance details Defined in Database.Relational.NonStandard.PureTimestampTZ Methods showLiteral' :: ZonedTime -> DList StringSQL Source #
LiteralSQL Text Source #	Constant SQL terms of `Text`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Text -> DList StringSQL Source #
LiteralSQL ByteString Source #	Constant SQL terms of `ByteString`.
Instance details Defined in Database.Relational.PureUTF8 Methods showLiteral' :: ByteString -> DList StringSQL Source #
LiteralSQL Text Source #	Constant SQL terms of `Text`.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Text -> DList StringSQL Source #
LiteralSQL ByteString Source #	Constant SQL terms of `ByteString`.
Instance details Defined in Database.Relational.PureUTF8 Methods showLiteral' :: ByteString -> DList StringSQL Source #
(PersistableWidth a, LiteralSQL a) => LiteralSQL (Maybe a) Source #	Constant SQL terms of `Maybe` type. Width inference is required.
Instance details Defined in Database.Relational.Pure Methods showLiteral' :: Maybe a -> DList StringSQL Source #
(LiteralSQL a1, LiteralSQL a2) => LiteralSQL (a1, a2) Source #
Instance details Defined in Database.Relational.TupleInstances Methods showLiteral' :: (a1, a2) -> DList StringSQL Source #
(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3) => LiteralSQL (a1, a2, a3) Source #
Instance details Defined in Database.Relational.TupleInstances Methods showLiteral' :: (a1, a2, a3) -> DList StringSQL Source #
(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4) => LiteralSQL (a1, a2, a3, a4) Source #
Instance details Defined in Database.Relational.TupleInstances Methods showLiteral' :: (a1, a2, a3, a4) -> DList StringSQL Source #
(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4, LiteralSQL a5) => LiteralSQL (a1, a2, a3, a4, a5) Source #
Instance details Defined in Database.Relational.TupleInstances Methods showLiteral' :: (a1, a2, a3, a4, a5) -> DList StringSQL Source #
(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4, LiteralSQL a5, LiteralSQL a6) => LiteralSQL (a1, a2, a3, a4, a5, a6) Source #
Instance details Defined in Database.Relational.TupleInstances Methods showLiteral' :: (a1, a2, a3, a4, a5, a6) -> DList StringSQL Source #
(LiteralSQL a1, LiteralSQL a2, LiteralSQL a3, LiteralSQL a4, LiteralSQL a5, LiteralSQL a6, LiteralSQL a7) => LiteralSQL (a1, a2, a3, a4, a5, a6, a7) Source #
Instance details Defined in Database.Relational.TupleInstances Methods showLiteral' :: (a1, a2, a3, a4, a5, a6, a7) -> DList StringSQL Source #

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

Convert from haskell record to SQL literal row-value.

type StringSQL = Keyword Source #

String wrap type for SQL strings.

Deprecated.

type ShowConstantTermsSQL = LiteralSQL Source #

Deprecated: Use LiteralSQL instead of this.

Deprecated.

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

Deprecated: Use showLiteral` instead of this.

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

Deprecated: Use showLiteral instead of this.

Deprecated.