Database.Relational.Projectable.Instances

Contents

Description

This module provides instances between projected terms and SQL terms.

Orphan instances

ProductIsoFunctor PlaceHolders #	Compose seed of record type `PlaceHolders`.
Methods (\|$\|) :: ProductConstructor (a -> b) => (a -> b) -> PlaceHolders a -> PlaceHolders b #
ProductIsoApplicative PlaceHolders #	Compose record type `PlaceHolders` using applicative style.
Methods pureP :: ProductConstructor a => a -> PlaceHolders a # (\|*\|) :: PlaceHolders (a -> b) -> PlaceHolders a -> PlaceHolders b #
AggregatedContext OverWindow #	`OverWindow` context is aggregated context

AggregatedContext Aggregated #	`Aggregated` context is aggregated context

OperatorContext Aggregated #	full SQL expression is availabe in Aggregated context

OperatorContext Flat #	full SQL expression is availabe in Flat context

SqlContext OverWindow #	Unsafely make `Record` from SQL terms.
Methods unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t #
SqlContext Aggregated #	Unsafely make `Record` from SQL terms.
Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t #
SqlContext Flat #	Unsafely make `Record` from SQL terms.
Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t #
ProductIsoEmpty PlaceHolders () #	Zipping except for identity element laws against placeholder parameter type.
Methods pureE :: PlaceHolders () # peRight :: PlaceHolders (a, ()) -> PlaceHolders a # peLeft :: PlaceHolders ((), a) -> PlaceHolders a #