Copyright	2013 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Database.Relational.Query.Expr

Contents

Typed SQL Expression
Type conversion

Description

Deprecated: Drop in next version.

This module defines phantom typed SQL expression object. Contains normal interfaces.

Synopsis

Typed SQL Expression

data Expr p a Source

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

Instances

ProjectableMaybe (Expr p) Source	Control phantom `Maybe` type in SQL expression type `Expr`.
ProjectableShowSql (Expr p) Source	Unsafely get SQL term from `Expr`.
SqlProjectable (Expr p) Source	Unsafely make `Expr` from SQL terms.
Show (Expr p a) Source	Show expression.

valueExpr :: ShowConstantTermsSQL ft => ft -> Expr p ft Source

Typed constant SQL expression from Haskell value.

Type conversion

just :: Expr p ft -> Expr p (Maybe ft) Source

Convert phantom type into Maybe.

fromJust :: Expr p (Maybe ft) -> Expr p ft Source

Allowed only for having or where Expr. So NULL expression result will be possible. Behavior around boolean is strongly dependent on RDBMS impelemetations.

exprAnd :: Expr p Bool -> Expr p Bool -> Expr p Bool Source

AND operator for Expr.