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 Data.Profunctor.Product.Default as D
showSqlForPostgres :: forall columns . D.Default U.Unpackspec columns columns =>
Q.Query columns -> Maybe String
showSqlForPostgres = showSqlForPostgresExplicit (D.def :: U.Unpackspec columns columns)
showSqlForPostgresUnopt :: forall columns . D.Default U.Unpackspec columns columns =>
Q.Query columns -> Maybe String
showSqlForPostgresUnopt = showSqlForPostgresUnoptExplicit (D.def :: U.Unpackspec columns columns)
showSqlForPostgresExplicit :: U.Unpackspec columns b -> Q.Query columns -> Maybe String
showSqlForPostgresExplicit = formatAndShowSQL
. (\(x, y, z) -> (x, Op.optimize y, z))
.: Q.runQueryArrUnpack
showSqlForPostgresUnoptExplicit :: U.Unpackspec columns b -> Q.Query columns -> Maybe String
showSqlForPostgresUnoptExplicit = formatAndShowSQL .: Q.runQueryArrUnpack
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)