relational-query-0.8.2.3: Typeful, Modular, Relational, algebraic query engine

Copyright2013 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Database.Relational.Query.Pure

Contents

Description

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

Synopsis

Interface to specify record constructors.

class ProductConstructor r where Source #

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

Minimal complete definition

productConstructor

Methods

productConstructor :: r Source #

The constructor which has type r.

Instances

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

ProductConstructor instance of pair.

Methods

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

Constant SQL Terms

class ShowConstantTermsSQL a where Source #

Interface for constant SQL term list.

Minimal complete definition

showConstantTermsSQL'

Methods

showConstantTermsSQL' :: a -> [StringSQL] Source #

Instances

ShowConstantTermsSQL Bool Source #

Constant SQL terms of Bool.

Methods

showConstantTermsSQL' :: Bool -> [StringSQL] Source #

ShowConstantTermsSQL Char Source #

Constant SQL terms of Char.

Methods

showConstantTermsSQL' :: Char -> [StringSQL] Source #

ShowConstantTermsSQL Double Source #

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

Methods

showConstantTermsSQL' :: Double -> [StringSQL] Source #

ShowConstantTermsSQL Float Source #

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

Methods

showConstantTermsSQL' :: Float -> [StringSQL] Source #

ShowConstantTermsSQL Int Source #

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

Methods

showConstantTermsSQL' :: Int -> [StringSQL] Source #

ShowConstantTermsSQL Int8 Source #

Constant SQL terms of Int8.

Methods

showConstantTermsSQL' :: Int8 -> [StringSQL] Source #

ShowConstantTermsSQL Int16 Source #

Constant SQL terms of Int16.

Methods

showConstantTermsSQL' :: Int16 -> [StringSQL] Source #

ShowConstantTermsSQL Int32 Source #

Constant SQL terms of Int32.

Methods

showConstantTermsSQL' :: Int32 -> [StringSQL] Source #

ShowConstantTermsSQL Int64 Source #

Constant SQL terms of Int64.

Methods

showConstantTermsSQL' :: Int64 -> [StringSQL] Source #

ShowConstantTermsSQL String Source #

Constant SQL terms of String.

Methods

showConstantTermsSQL' :: String -> [StringSQL] Source #

ShowConstantTermsSQL ByteString Source #

Constant SQL terms of ByteString.

Methods

showConstantTermsSQL' :: ByteString -> [StringSQL] Source #

ShowConstantTermsSQL ByteString Source #

Constant SQL terms of ByteString.

Methods

showConstantTermsSQL' :: ByteString -> [StringSQL] Source #

ShowConstantTermsSQL Text Source #

Constant SQL terms of Text.

Methods

showConstantTermsSQL' :: Text -> [StringSQL] Source #

ShowConstantTermsSQL Text Source #

Constant SQL terms of Text.

Methods

showConstantTermsSQL' :: Text -> [StringSQL] Source #

ShowConstantTermsSQL LocalTime Source #

Constant SQL terms of LocalTime.

Methods

showConstantTermsSQL' :: LocalTime -> [StringSQL] Source #

ShowConstantTermsSQL ZonedTime Source #

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

Methods

showConstantTermsSQL' :: ZonedTime -> [StringSQL] Source #

ShowConstantTermsSQL TimeOfDay Source #

Constant SQL terms of TimeOfDay.

Methods

showConstantTermsSQL' :: TimeOfDay -> [StringSQL] Source #

ShowConstantTermsSQL UTCTime Source #

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

Methods

showConstantTermsSQL' :: UTCTime -> [StringSQL] Source #

ShowConstantTermsSQL Day Source #

Constant SQL terms of Day.

Methods

showConstantTermsSQL' :: Day -> [StringSQL] Source #

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

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

Methods

showConstantTermsSQL' :: Maybe a -> [StringSQL] Source #

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

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

Methods

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