Opaleye.Internal.Lateral

Documentation

lateral :: (i -> Select a) -> SelectArr i a

Implements LATERAL subqueries.

You might find it easier to use laterally (if you want to apply aggregate, orderBy or limit to a SelectArr) or bilaterally (if you want to apply union, intersect and except to two SelectArrs).

viaLateral :: SelectArr i a -> i -> Select a

Convert an arrow argument into a function argument so that it can be applied inside do-notation rather than arrow notation.

laterally :: (Select a -> Select b) -> SelectArr i a -> SelectArr i b

Lifts operations like aggregate, orderBy and limit, which are restricted to Select normally, to operate on SelectArrs taking arbitrary inputs.

bilaterally :: (Select a -> Select b -> Select c) -> SelectArr i a -> SelectArr i b -> SelectArr i c

Lifts operations like union, intersect and except, which are restricted to Select normally, to operate on SelectArrs taking arbitrary inputs.

bind :: SelectArr i a -> (a -> SelectArr i b) -> SelectArr i b

arrowApply :: SelectArr (SelectArr i a, i) a