Constraint type. Unique key.

Constraint type. Not-null key.

Constraint type. Primary key.

Configuration type.

Configuration for quotation of identifiers of SQL.

Schema name qualify mode in SQL string.

Unit of product is supported or not.

NameConfig type to customize names of expanded templates.

Default implementation of NameConfig type.

Default configuration of Config. To change some behaviour of relational-query, use record update syntax:

  defaultConfig
    { productUnitSupport            =  PUSupported
    , chunksInsertSize              =  256
    , schemaNameMode                =  SchemaQualified
    , normalizedTableName           =  True
    , addQueryTableAliasAS          =  False
    , addModifyTableAliasAS         =  False
    , enableWarning                 =  True
    , verboseAsCompilerWarning      =  False
    , disableOverloadedProjection   =  False
    , disableSpecializedProjection  =  False
    , identifierQuotation           =  NoQuotation
    , nameConfig                    =
       defaultNameConfig
       { recordConfig     =  defaultNameConfig
       , relationVarName  =  \schema table -> varCamelcaseName $ table ++ "_" ++ scheme
       -- ^ append the table name after the schema name. e.g. "schemaTable"
       }
    }

Type tag for aggregatings power set

Type tag for aggregatings GROUPING SETS

Type tag for normal aggregatings set

Type tag for window function building

Type tag for exists predicate

Type tag for aggregated query

Type tag for flat (not-aggregated) query

String wrap type for SQL strings.

Projection path from type r0 into type r1. This type also indicate key object which type is r1 for record type r0.

Expand indexes from key.

Expand indexes from key. Infered width version.

Compose projection path.

Compose projection path. Maybe phantom functor is map-ed.

Compose projection path. Maybe phantom functors are join-ed like >=>.

Identity projection path.

Constraint Key inference interface.

Constraint Key proof object. Constraint type c, record type r and columns type ct.

Get table constraint KeyConstraint proof object from constraint Key.

Get projection path proof object from constraint Key.

Derive Unique constraint Key from Primary constraint Key

Inferred Unique constraint Key. Record type r has unique key which type is ct derived from primay key.

Deprecated.

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

Convert from haskell record to SQL literal row-value.

Deprecated.

Constraint which represents scalar degree.

Type for projection function.

Type for predicate to restrict of query result.

Phantom typed record. Projected into Haskell record type t.

Sub-query type

Typeful aggregate element.

Order of null.

Order direction. Ascendant or Descendant.

Width of Qualified SubQUery.

SQL string for nested-qeury.

Placeholder parameter type which has real parameter type arguemnt p.

Interface to project SQL terms unsafely.

Relation type with place-holder parameter p and query result type r.

Thin monad type for untyped structure.

Run ConfigureQuery monad with initial state to get only result.

Get qualifyed table form query.

Read configuration.

Unsafely type qualified subquery into record typed relation type.

Sub-query Qualify monad from relation.

PersistableRecordWidth of Relation type.

Simplify placeholder type applying left identity element.

Simplify placeholder type applying right identity element.

Generate SQL string from Relation with configuration.

SQL string from Relation.

Dump internal structure tree.

Inference rule of Table existence.

Phantom typed table type

Projected record list type for row list.

Make projected record list from Record list.

Type for query suffix words

Generate update SQL specified by single key.

Projection path for fst of tuple.

Projection path for snd of tuple.

Interface to compose phantom Maybe nested type.

Interface to control Maybe of phantom type in records.

Binary operator type for SQL String.

Unsafely Project single SQL term.

Unsafely Project single SQL string. String interface of unsafeProjectSql''.

Record with polymorphic phantom type of SQL null value. Semantics of comparing is unsafe.

Generate record with polymorphic type of SQL constant values from Haskell value.

Record with polymorphic type of SQL true value.

Record with polymorphic type of SQL false value.

RecordList with polymorphic type of SQL set value from Haskell list.

Unsafely generate SQL expression term from record object.

Unsafely generate SQL expression string from record object. String interface of unsafeShowSql'.

Unsafely make unary operator for records from SQL keyword.

Unsafely make binary operator for records from string binary operator.

Compare operator corresponding SQL = .

Compare operator corresponding SQL < .

Compare operator corresponding SQL <= .

Compare operator corresponding SQL > .

Compare operator corresponding SQL >= .

Compare operator corresponding SQL <> .

Logical operator corresponding SQL AND .

Logical operator corresponding SQL OR .

Logical operator corresponding SQL NOT .

Logical operator corresponding SQL EXISTS .

Concatinate operator corresponding SQL || .

Concatinate operator corresponding SQL || . Maybe type version.

String-compare operator corresponding SQL LIKE .

String-compare operator corresponding SQL LIKE .

String-compare operator corresponding SQL LIKE .

String-compare operator corresponding SQL LIKE . Maybe type version.

Number operator corresponding SQL + .

Number operator corresponding SQL - .

Number operator corresponding SQL /// .

Number operator corresponding SQL * .

Number negate uni-operator corresponding SQL -.

Number fromIntegral uni-operator.

Unsafely show number into string-like type in records.

Number operator corresponding SQL + .

Number operator corresponding SQL - .

Number operator corresponding SQL /// .

Number operator corresponding SQL * .

Number negate uni-operator corresponding SQL -.

Number fromIntegral uni-operator.

Unsafely show number into string-like type in records.

Search case operator correnponding SQL search CASE. Like, CASE WHEN p0 THEN a WHEN p1 THEN b ... ELSE c END

Same as caseSearch, but you can write like list casesOrElse clause.

Null default version of caseSearch.

Simple case operator correnponding SQL simple CASE. Like, CASE x WHEN v THEN a WHEN w THEN b ... ELSE c END

Uncurry version of case', and you can write like ... casesOrElse` clause.

Null default version of case'.

Binary operator corresponding SQL IN .

Operator corresponding SQL IS NULL , and extended against record types.

Operator corresponding SQL NOT (... IS NULL) , and extended against record type.

Operator from maybe type using record extended isNull.

RANK() term.

DENSE_RANK() term.

ROW_NUMBER() term.

PERCENT_RANK() term.

CUME_DIST() term.

Unsafely add placeholder parameter to queries.

Unsafely get placeholder parameter

No placeholder semantics

No placeholder semantics. Same as unitPlaceHolder

Provide scoped placeholder from width and return its parameter object.

Provide scoped placeholder and return its parameter object.

Zipping projections.

Binary operator the same as projectZip.

Unsafely make aggregation uni-operator from SQL keyword.

Aggregation function COUNT.

Aggregation function SUM.

Aggregation function SUM.

Aggregation function AVG.

Aggregation function AVG.

Aggregation function MAX.

Aggregation function MAX.

Aggregation function MIN.

Aggregation function MIN.

Aggregation function EVERY.

Aggregation function ANY.

Aggregation function SOME.

Get narrower record along with projection path.

Get narrower record along with projection path Maybe phantom functor is map-ed.

Get narrower record along with projection path and project into result record type. Source record Maybe phantom functor and projection path leaf Maybe functor are join-ed.

Get narrower record with flatten leaf phantom Maybe types along with projection path.

Get narrower record with flatten leaf phantom Maybe types along with projection path.

Same as (?!). Use this operator like '(? #foo) mayX'.

Same as (?!?). Use this operator like '(?? #foo) mayX'.

Window specification building interface.

Aggregated query building interface extends MonadQuery.

Lift interface from base qualify monad.

Query building interface.