Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.QueryArr

Synopsis

newtypenewtype SelectArr a b

A parametrised Select. A SelectArr a b accepts an argument of type a.

SelectArr a b is analogous to a Haskell function a -> [b].

Instances9Arrow, ArrowApply, ArrowChoice, Profunctor, ProductProfunctor, Category, …

Arrow QueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
ArrowApply QueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
ArrowChoice QueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
Profunctor QueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
ProductProfunctor QueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
Category QueryArrDefined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
Monad (QueryArr a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
Functor (QueryArr a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr
Applicative (QueryArr a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.QueryArr

typetype QueryArr = SelectArr

typetype Query = SelectArr ()

valueselectArr :: State Tag (a -> (b, PrimQueryArr)) -> SelectArr a b

valueproductQueryArr :: State Tag (a, PrimQuery) -> Query a

valueproductQueryArr' :: State Tag (a -> (b, PrimQuery)) -> QueryArr a b

valueleftJoinQueryArr'

valuerunSimpleSelect :: Select a -> State Tag (a, PrimQuery)

valuerunSimpleQueryArr' :: QueryArr a b -> a -> State Tag (b, PrimQuery)

valuerunStateQueryArr :: QueryArr a b -> a -> Tag -> (b, PrimQueryArr, Tag)

valuestateQueryArr :: (a -> Tag -> (b, PrimQueryArr, Tag)) -> QueryArr a b

valuerunSimpleQueryArrStart :: QueryArr a b -> a -> (b, PrimQuery, Tag)

valuerunSimpleSelectStart :: Select a -> (a, PrimQuery)

valuerunQueryArrUnpack

typetype Select = SelectArr ()

A SELECT, i.e. an SQL query which produces a collection of rows.

Select a is analogous to a Haskell value [a].

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

Implements LATERAL subqueries.

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

valueviaLateral :: 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.

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

valuearrowApply :: SelectArr (SelectArr i a, i) a