Opaleye.Internal.QueryArr

Documentation

newtype QueryArr a b

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

Constructors

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

Instances

Arrow QueryArr

Methods

arr :: (b -> c) -> QueryArr b c

first :: QueryArr b c -> QueryArr (b, d) (c, d)

second :: QueryArr b c -> QueryArr (d, b) (d, c)

(***) :: QueryArr b c -> QueryArr b' c' -> QueryArr (b, b') (c, c')

(&&&) :: QueryArr b c -> QueryArr b c' -> QueryArr b (c, c')

ProductProfunctor QueryArr

Methods

empty :: QueryArr () ()

(***!) :: QueryArr a b -> QueryArr a' b' -> QueryArr (a, a') (b, b')

Profunctor QueryArr

Methods

dimap :: (a -> b) -> (c -> d) -> QueryArr b c -> QueryArr a d

lmap :: (a -> b) -> QueryArr b c -> QueryArr a c

rmap :: (b -> c) -> QueryArr a b -> QueryArr a c

(#.) :: Coercible * c b => (b -> c) -> QueryArr a b -> QueryArr a c

(.#) :: Coercible * b a => QueryArr b c -> (a -> b) -> QueryArr a c

Functor (QueryArr a)

Methods

fmap :: (a -> b) -> QueryArr a a -> QueryArr a b

(<$) :: a -> QueryArr a b -> QueryArr a a

Applicative (QueryArr a)

Methods

pure :: a -> QueryArr a a

(<*>) :: QueryArr a (a -> b) -> QueryArr a a -> QueryArr a b

(*>) :: QueryArr a a -> QueryArr a b -> QueryArr a b

(<*) :: QueryArr a a -> QueryArr a b -> QueryArr a a

Category * QueryArr

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

type Query = QueryArr ()

A Postgres query, i.e. some functionality that can run via SQL and produce a collection of rows.

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

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

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

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

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

runQueryArrUnpack :: Unpackspec a b -> Query a -> ([PrimExpr], PrimQuery, Tag)

first3 :: (a1 -> b) -> (a1, a2, a3) -> (b, a2, a3)