Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Query

Synopsis

newtype Query a = Query ([PrimExpr] -> Select (Any, a))

Documentation

newtype Query a Source #

The Query monad allows you to compose a SELECT query. This monad has semantics similar to the list ([]) monad.

Constructors

Query ([PrimExpr] -> Select (Any, a))

Instances

Instances details

Applicative Query Source #
Instance details Defined in Rel8.Internal.Query Methods pure :: a -> Query a # (<>) :: Query (a -> b) -> Query a -> Query b # liftA2 :: (a -> b -> c) -> Query a -> Query b -> Query c # (>) :: Query a -> Query b -> Query b # (<*) :: Query a -> Query b -> Query a #
Functor Query Source #
Instance details Defined in Rel8.Internal.Query Methods fmap :: (a -> b) -> Query a -> Query b # (<$) :: a -> Query b -> Query a #
Monad Query Source #
Instance details Defined in Rel8.Internal.Query Methods (>>=) :: Query a -> (a -> Query b) -> Query b # (>>) :: Query a -> Query b -> Query b # return :: a -> Query a #
AltTable Query Source #	`<\|>:` = `unionAll`.
Instance details Defined in Rel8.Internal.Query Methods (<\|>:) :: Table Expr a => Query a -> Query a -> Query a Source #
AlternativeTable Query Source #	`emptyTable` = `values` `[]`.
Instance details Defined in Rel8.Internal.Query Methods emptyTable :: Table Expr a => Query a Source #
Projectable Query Source #
Instance details Defined in Rel8.Internal.Query Methods project :: Projecting a b => Projection a b -> Query a -> Query b Source #
Apply Query Source #
Instance details Defined in Rel8.Internal.Query Methods (<.>) :: Query (a -> b) -> Query a -> Query b (.>) :: Query a -> Query b -> Query b (<.) :: Query a -> Query b -> Query a liftF2 :: (a -> b -> c) -> Query a -> Query b -> Query c
Bind Query Source #
Instance details Defined in Rel8.Internal.Query Methods (>>-) :: Query a -> (a -> Query b) -> Query b join :: Query (Query a) -> Query a
Table Expr a => Monoid (Query a) Source #	`mempty` = `values []`.
Instance details Defined in Rel8.Internal.Query Methods mempty :: Query a # mappend :: Query a -> Query a -> Query a # mconcat :: [Query a] -> Query a #
Table Expr a => Semigroup (Query a) Source #	`<>` = `unionAll`.
Instance details Defined in Rel8.Internal.Query Methods (<>) :: Query a -> Query a -> Query a # sconcat :: NonEmpty (Query a) -> Query a # stimes :: Integral b => b -> Query a -> Query a #