Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Statement.Select

Synopsis

select :: Table Expr a => Query a -> Statement (Query a)
ppSelect :: Table Expr a => Query a -> State Tag Doc
data Optimized a
- = Empty
- | Unit
- | Optimized a
ppPrimSelect :: Query a -> State Tag (Optimized Doc, a)
ppRows :: Table Expr a => Query a -> State Tag Doc

Documentation

select :: Table Expr a => Query a -> Statement (Query a) Source #

Build a SELECT Statement.

ppSelect :: Table Expr a => Query a -> State Tag Doc Source #

data Optimized a Source #

Constructors

Empty
Unit
Optimized a

Instances

Instances details

Functor Optimized Source #
Instance details Defined in Rel8.Internal.Statement.Select Methods fmap :: (a -> b) -> Optimized a -> Optimized b # (<$) :: a -> Optimized b -> Optimized a #
Foldable Optimized Source #
Instance details Defined in Rel8.Internal.Statement.Select Methods fold :: Monoid m => Optimized m -> m # foldMap :: Monoid m => (a -> m) -> Optimized a -> m # foldMap' :: Monoid m => (a -> m) -> Optimized a -> m # foldr :: (a -> b -> b) -> b -> Optimized a -> b # foldr' :: (a -> b -> b) -> b -> Optimized a -> b # foldl :: (b -> a -> b) -> b -> Optimized a -> b # foldl' :: (b -> a -> b) -> b -> Optimized a -> b # foldr1 :: (a -> a -> a) -> Optimized a -> a # foldl1 :: (a -> a -> a) -> Optimized a -> a # toList :: Optimized a -> [a] # null :: Optimized a -> Bool # length :: Optimized a -> Int # elem :: Eq a => a -> Optimized a -> Bool # maximum :: Ord a => Optimized a -> a # minimum :: Ord a => Optimized a -> a # sum :: Num a => Optimized a -> a # product :: Num a => Optimized a -> a #
Traversable Optimized Source #
Instance details Defined in Rel8.Internal.Statement.Select Methods traverse :: Applicative f => (a -> f b) -> Optimized a -> f (Optimized b) # sequenceA :: Applicative f => Optimized (f a) -> f (Optimized a) # mapM :: Monad m => (a -> m b) -> Optimized a -> m (Optimized b) # sequence :: Monad m => Optimized (m a) -> m (Optimized a) #
Show a => Show (Optimized a) Source #
Instance details Defined in Rel8.Internal.Statement.Select Methods showsPrec :: Int -> Optimized a -> ShowS # show :: Optimized a -> String # showList :: [Optimized a] -> ShowS #

ppPrimSelect :: Query a -> State Tag (Optimized Doc, a) Source #

ppRows :: Table Expr a => Query a -> State Tag Doc Source #