HORIZON HASKELLDocslts/ghc-10.0.x8c2f8e82026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19

Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.QueryArr

  • 4 types
  • 15 values
  • Packageopaleye-0.10.8.0
  • Exports19
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceQueryArr.hs
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].

Constructors

Instances9Arrow, ArrowApply, ArrowChoice, Profunctor, ProductProfunctor, Category, …
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].

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.