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

Copyright2013 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellSafe-Inferred
LanguageHaskell2010

Database.Relational.Query.Expr.Unsafe

Contents

Description

This module defines phantom typed SQL expression object. Contains internal structure and unsafe interfaces.

Synopsis

Typed SQL Expression

newtype Expr p a Source

Phantom typed SQL expression object. Project from projection type p.

Constructors

Expr StringSQL 

Instances

ProjectableMaybe (Expr p)

Control phantom Maybe type in SQL expression type Expr.

ProjectableShowSql (Expr p)

Unsafely get SQL term from Expr.

SqlProjectable (Expr p)

Unsafely make Expr from SQL terms.

Show (Expr p a)

Show expression.

sqlExpr :: Expr p t -> StringSQL Source

Get SQL expression from typed object.

showExpr :: Expr p t -> String Source

Get SQL string from typed object.