{-# LANGUAGE FlexibleContexts, ScopedTypeVariables #-}
module Opaleye.Sql where
import qualified Opaleye.Internal.HaskellDB.PrimQuery as HPQ
import qualified Opaleye.Internal.Unpackspec as U
import qualified Opaleye.Internal.Sql as Sql
import qualified Opaleye.Internal.Print as Pr
import qualified Opaleye.Internal.PrimQuery as PQ
import qualified Opaleye.Internal.Optimize as Op
import Opaleye.Internal.Helpers ((.:))
import qualified Opaleye.Internal.QueryArr as Q
import qualified Opaleye.Internal.Tag as T
import qualified Opaleye.Select as S
import qualified Data.Profunctor.Product.Default as D
showSql :: forall fields.
D.Default U.Unpackspec fields fields
=> S.Select fields
-> Maybe String
showSql = showSqlExplicit (D.def :: U.Unpackspec fields fields)
showSqlUnopt :: forall fields.
D.Default U.Unpackspec fields fields
=> S.Select fields
-> Maybe String
showSqlUnopt = showSqlUnoptExplicit (D.def :: U.Unpackspec fields fields)
showSqlExplicit :: U.Unpackspec fields b -> S.Select fields -> Maybe String
showSqlExplicit = formatAndShowSQL
. (\(x, y, z) -> (x, Op.optimize y, z))
.: Q.runQueryArrUnpack
showSqlUnoptExplicit :: U.Unpackspec fields b -> S.Select fields -> Maybe String
showSqlUnoptExplicit = formatAndShowSQL .: Q.runQueryArrUnpack
showSqlForPostgres :: forall columns . D.Default U.Unpackspec columns columns =>
S.Select columns -> Maybe String
showSqlForPostgres = showSql
showSqlForPostgresUnopt :: forall columns . D.Default U.Unpackspec columns columns =>
S.Select columns -> Maybe String
showSqlForPostgresUnopt = showSqlUnopt
showSqlForPostgresExplicit :: U.Unpackspec columns b -> S.Select columns -> Maybe String
showSqlForPostgresExplicit = showSqlExplicit
showSqlForPostgresUnoptExplicit :: U.Unpackspec columns b -> S.Select columns -> Maybe String
showSqlForPostgresUnoptExplicit = showSqlUnoptExplicit
{-# DEPRECATED formatAndShowSQL
"You probably want 'showSqlExplicit' or 'showSqlUnoptExplicit' instead. \
\Will be removed in version 0.7." #-}
formatAndShowSQL :: ([HPQ.PrimExpr], PQ.PrimQuery' a, T.Tag) -> Maybe String
formatAndShowSQL = fmap (show . Pr.ppSql . Sql.sql) . traverse2Of3 Op.removeEmpty
where
traverse2Of3 :: Functor f => (a -> f b) -> (x, a, y) -> f (x, b, y)
traverse2Of3 f (x, y, z) = fmap (\y' -> (x, y', z)) (f y)