Copyright	2017 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Relational.Projectable.Instances

Contents

Orphan instances

Description

This module provides instances between projected terms and SQL terms.

Orphan instances

ProductIsoApplicative PlaceHolders Source #	Compose record type `PlaceHolders` using applicative style.
Instance details Methods pureP :: ProductConstructor a => a -> PlaceHolders a # (\|*\|) :: PlaceHolders (a -> b) -> PlaceHolders a -> PlaceHolders b #
ProductIsoFunctor PlaceHolders Source #	Compose seed of record type `PlaceHolders`.
Instance details Methods (\|$\|) :: ProductConstructor (a -> b) => (a -> b) -> PlaceHolders a -> PlaceHolders b #
AggregatedContext Aggregated Source #	`Aggregated` context is aggregated context
Instance details
AggregatedContext OverWindow Source #	`OverWindow` context is aggregated context
Instance details
OperatorContext Aggregated Source #	full SQL expression is available in Aggregated context
Instance details
OperatorContext Flat Source #	full SQL expression is available in Flat context
Instance details
SqlContext Aggregated Source #	Unsafely make `Record` from SQL terms.
Instance details Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t Source #
SqlContext Flat Source #	Unsafely make `Record` from SQL terms.
Instance details Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t Source #
SqlContext OverWindow Source #	Unsafely make `Record` from SQL terms.
Instance details Methods unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t Source #
ProductIsoEmpty PlaceHolders () Source #	Zipping except for identity element laws against placeholder parameter type.
Instance details Methods pureE :: PlaceHolders () # peRight :: PlaceHolders (a, ()) -> PlaceHolders a # peLeft :: PlaceHolders ((), a) -> PlaceHolders a #