Database.Relational.Projectable.Unsafe

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

Documentation

class SqlContext c where

Interface to project SQL terms unsafely.

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record c t

Unsafely project from SQL expression terms.

Instances

SqlContext OverWindow

Unsafely make Record from SQL terms.

Defined in Database.Relational.Projectable.Instances

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t

SqlContext Aggregated

Unsafely make Record from SQL terms.

Defined in Database.Relational.Projectable.Instances

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t

SqlContext Flat

Unsafely make Record from SQL terms.

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

Defined in Database.Relational.Projectable.Instances

OperatorContext Flat

full SQL expression is availabe in Flat context

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

Defined in Database.Relational.Projectable.Instances

AggregatedContext Aggregated

Aggregated context is aggregated context

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.

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.

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.

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.

Defined in Database.Relational.Projectable.Instances

Methods

pureE :: PlaceHolders ()

peRight :: PlaceHolders (a, ()) -> PlaceHolders a

peLeft :: PlaceHolders ((), a) -> PlaceHolders a

TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p))

Show Set clause and WHERE clause.

Defined in Database.Relational.Effect

Methods

showsPrec :: Int -> (Record Flat r -> Assign r (PlaceHolders p)) -> ShowS

show :: (Record Flat r -> Assign r (PlaceHolders p)) -> String

showList :: [Record Flat r -> Assign r (PlaceHolders p)] -> ShowS

TableDerivable r => Show (Record Flat r -> Restrict (PlaceHolders p))

Show WHERE clause.

Defined in Database.Relational.Effect

Methods

showsPrec :: Int -> (Record Flat r -> Restrict (PlaceHolders p)) -> ShowS

show :: (Record Flat r -> Restrict (PlaceHolders p)) -> String

showList :: [Record Flat r -> Restrict (PlaceHolders p)] -> ShowS