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`.
Instance details Methods (\|$\|) :: ProductConstructor (a -> b) => (a -> b) -> PlaceHolders a -> PlaceHolders b #
ProductIsoApplicative PlaceHolders #	Compose record type `PlaceHolders` using applicative style.
Instance details Methods pureP :: ProductConstructor a => a -> PlaceHolders a # (\|*\|) :: PlaceHolders (a -> b) -> PlaceHolders a -> PlaceHolders b #
AggregatedContext OverWindow #	`OverWindow` context is aggregated context
Instance details
AggregatedContext Aggregated #	`Aggregated` context is aggregated context
Instance details
OperatorContext Aggregated #	full SQL expression is availabe in Aggregated context
Instance details
OperatorContext Flat #	full SQL expression is availabe in Flat context
Instance details
SqlContext OverWindow #	Unsafely make `Record` from SQL terms.
Instance details Methods unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t #
SqlContext Aggregated #	Unsafely make `Record` from SQL terms.
Instance details Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t #
SqlContext Flat #	Unsafely make `Record` from SQL terms.
Instance details Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t #
ProductIsoEmpty PlaceHolders () #	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 #