Database.Beam.Query.CTE

Documentation

data Recursiveness be where

Constructors

Nonrecursive :: Recursiveness be

Recursive :: IsSql99RecursiveCommonTableExpressionSelectSyntax (BeamSqlBackendSelectSyntax be) => Recursiveness be

Instances

Semigroup (Recursiveness be)

Defined in Database.Beam.Query.CTE

Methods

(<>) :: Recursiveness be -> Recursiveness be -> Recursiveness be

sconcat :: NonEmpty (Recursiveness be) -> Recursiveness be

stimes :: Integral b => b -> Recursiveness be -> Recursiveness be

Monoid (Recursiveness be)

Defined in Database.Beam.Query.CTE

Methods

mempty :: Recursiveness be

mappend :: Recursiveness be -> Recursiveness be -> Recursiveness be

mconcat :: [Recursiveness be] -> Recursiveness be

newtype With be (db :: (* -> *) -> *) a

Constructors

With

Fields

• runWith :: WriterT (Recursiveness be, [BeamSql99BackendCTESyntax be]) (State Int) a

Instances

Monad (With be db)

Defined in Database.Beam.Query.CTE

Methods

(>>=) :: With be db a -> (a -> With be db b) -> With be db b

(>>) :: With be db a -> With be db b -> With be db b

return :: a -> With be db a

fail :: String -> With be db a

Functor (With be db)

Defined in Database.Beam.Query.CTE

Methods

fmap :: (a -> b) -> With be db a -> With be db b

(<$) :: a -> With be db b -> With be db a

IsSql99RecursiveCommonTableExpressionSelectSyntax (BeamSqlBackendSelectSyntax be) => MonadFix (With be db)

Defined in Database.Beam.Query.CTE

Methods

mfix :: (a -> With be db a) -> With be db a

Applicative (With be db)

Defined in Database.Beam.Query.CTE

Methods

pure :: a -> With be db a

(<*>) :: With be db (a -> b) -> With be db a -> With be db b

liftA2 :: (a -> b -> c) -> With be db a -> With be db b -> With be db c

(*>) :: With be db a -> With be db b -> With be db b

(<*) :: With be db a -> With be db b -> With be db a

data QAnyScope

data ReusableQ be db res where

Constructors

ReusableQ :: Proxy res -> (forall s. Proxy s -> Q be db s (WithRewrittenThread QAnyScope s res)) -> ReusableQ be db res

reusableForCTE :: forall be res db. (ThreadRewritable QAnyScope res, Projectible be res, BeamSqlBackend be) => Text -> ReusableQ be db res

selecting :: forall res be db. (BeamSql99CommonTableExpressionBackend be, HasQBuilder be, Projectible be res, ThreadRewritable QAnyScope res) => Q be db QAnyScope res -> With be db (ReusableQ be db res)

rescopeQ :: QM be db s res -> QM be db s' res

reuse :: forall s be db res. ReusableQ be db res -> Q be db s (WithRewrittenThread QAnyScope s res)