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

Database.Relational.Projectable.Unsafe

Description

This module provides unsafe interfaces between projected terms and SQL terms.

Synopsis

class SqlContext c where
class SqlContext c => OperatorContext c
class AggregatedContext ac
data PlaceHolders p = PlaceHolders

Documentation

class SqlContext c where #

Interface to project SQL terms unsafely.

Minimal complete definition

unsafeProjectSqlTerms

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record c t #

Unsafely project from SQL expression terms.

Instances

SqlContext OverWindow #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t #
SqlContext Aggregated #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t #
SqlContext Flat #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t #

class SqlContext c => OperatorContext c #

Constraint to restrict context of full SQL expressions. For example, the expression at the left of OVER clause is not allowed using full SQL expression.

Instances

OperatorContext Aggregated #	full SQL expression is availabe in Aggregated context
Instance details Defined in Database.Relational.Projectable.Instances
OperatorContext Flat #	full SQL expression is availabe in Flat context
Instance details Defined in Database.Relational.Projectable.Instances

class AggregatedContext ac #

Constraint to restrict context of aggregated SQL context.

Instances

AggregatedContext OverWindow #	`OverWindow` context is aggregated context
Instance details Defined in Database.Relational.Projectable.Instances
AggregatedContext Aggregated #	`Aggregated` context is aggregated context
Instance details Defined in Database.Relational.Projectable.Instances

data PlaceHolders p #

Placeholder parameter type which has real parameter type arguemnt p.

Constructors

PlaceHolders

Instances

ProductIsoFunctor PlaceHolders #	Compose seed of record type `PlaceHolders`.
Instance details Defined in Database.Relational.Projectable.Instances Methods (\|$\|) :: ProductConstructor (a -> b) => (a -> b) -> PlaceHolders a -> PlaceHolders b #
ProductIsoApplicative PlaceHolders #	Compose record type `PlaceHolders` using applicative style.
Instance details Defined in Database.Relational.Projectable.Instances Methods pureP :: ProductConstructor a => a -> PlaceHolders a # (\|*\|) :: PlaceHolders (a -> b) -> PlaceHolders a -> PlaceHolders b #
ProjectableMaybe PlaceHolders #	Control phantom `Maybe` type in placeholder parameters.
Instance details Defined in Database.Relational.Projectable Methods just :: PlaceHolders a -> PlaceHolders (Maybe a) # flattenMaybe :: PlaceHolders (Maybe (Maybe a)) -> PlaceHolders (Maybe a) #
ProductIsoEmpty PlaceHolders () #	Zipping except for identity element laws against placeholder parameter type.
Instance details Defined in Database.Relational.Projectable.Instances Methods pureE :: PlaceHolders () # peRight :: PlaceHolders (a, ()) -> PlaceHolders a # peLeft :: PlaceHolders ((), a) -> PlaceHolders a #