Database.Relational.Projectable.Instances

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