Opaleye.SQLite.QueryArr

This modules defines the QueryArr arrow, which is an arrow that represents selecting data from a database, and composing multiple queries together.

Documentation

data QueryArr a b

Instances

Arrow QueryArr

Defined in Opaleye.SQLite.Internal.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')

Profunctor QueryArr

Defined in Opaleye.SQLite.Internal.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

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

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

ProductProfunctor QueryArr

Defined in Opaleye.SQLite.Internal.QueryArr

Methods

purePP :: b -> QueryArr a b

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

empty :: QueryArr () ()

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

Functor (QueryArr a)

Defined in Opaleye.SQLite.Internal.QueryArr

Methods

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

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

Applicative (QueryArr a)

Defined in Opaleye.SQLite.Internal.QueryArr

Methods

pure :: a0 -> QueryArr a a0

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

liftA2 :: (a0 -> b -> c) -> QueryArr a a0 -> QueryArr a b -> QueryArr a c

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

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

Category QueryArr

Defined in Opaleye.SQLite.Internal.QueryArr

Methods

id :: forall (a :: k). QueryArr a a

(.) :: forall (b :: k) (c :: k) (a :: k). QueryArr b c -> QueryArr a b -> QueryArr a c

type Query = QueryArr ()