-- | Coverage for 'Pqi.parameterStatus': server-reported parameter
-- settings, including @GUC_REPORT@ updates and an absent parameter.
module Pqi.Conformance.Operation.ParameterStatus
  ( spec,
  )
where

import qualified Pqi
import Pqi.Conformance.Harness
import Pqi.Conformance.Prelude
import Test.Hspec

spec :: Pqi.Adapter -> SpecWith ByteString
spec :: Adapter -> SpecWith ByteString
spec Adapter
adapter =
  String -> SpecWith ByteString -> SpecWith ByteString
forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"parameterStatus" do
    String
-> (ByteString -> IO ()) -> SpecWith (Arg (ByteString -> IO ()))
forall a.
(HasCallStack, Example a) =>
String -> a -> SpecWith (Arg a)
it String
"reports parameter statuses, including GUC_REPORT updates" \ByteString
conninfo ->
      Adapter
-> ByteString
-> (Connection
    -> IO
         (Maybe ByteString, Maybe ByteString, Maybe ByteString,
          Maybe ByteString, Maybe ByteString, Maybe ByteString))
-> IO ()
forall a.
(Eq a, Show a, HasCallStack) =>
Adapter -> ByteString -> (Connection -> IO a) -> IO ()
differential Adapter
adapter ByteString
conninfo \Connection
connection -> do
        before <- Connection -> ByteString -> IO (Maybe ByteString)
Pqi.parameterStatus Connection
connection ByteString
"application_name"
        _ <- Pqi.exec connection "set application_name to 'pqi-conformance'"
        after <- Pqi.parameterStatus connection "application_name"
        clientEncoding <- Pqi.parameterStatus connection "client_encoding"
        standardConformingStrings <- Pqi.parameterStatus connection "standard_conforming_strings"
        integerDatetimes <- Pqi.parameterStatus connection "integer_datetimes"
        missing <- Pqi.parameterStatus connection "no_such_parameter"
        pure (before, after, clientEncoding, standardConformingStrings, integerDatetimes, missing)