-- | Coverage for 'Pqi.connectStart': beginning an asynchronous connection
-- attempt that is then driven to readiness with 'Pqi.connectPoll'.
module Pqi.Conformance.Operation.ConnectStart
  ( spec,
  )
where

import qualified Pqi
import Pqi.Conformance.Harness
import Pqi.Conformance.Observation
import Pqi.Conformance.Prelude
import Pqi.Conformance.Scenario (pollUntilDone)
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
"connectStart" do
    String
-> (ByteString -> IO ()) -> SpecWith (Arg (ByteString -> IO ()))
forall a.
(HasCallStack, Example a) =>
String -> a -> SpecWith (Arg a)
it String
"begins an asynchronous connection that polls to readiness" \ByteString
conninfo ->
      Adapter
-> ByteString
-> (Adapter
    -> ByteString -> IO (PollingStatus, ConnectionObservation))
-> IO ()
forall a.
(Eq a, Show a, HasCallStack) =>
Adapter -> ByteString -> (Adapter -> ByteString -> IO a) -> IO ()
differentialConnect Adapter
adapter ByteString
conninfo \Adapter
adapter' ByteString
conninfo' -> do
        connection <- Adapter -> ByteString -> IO Connection
Pqi.connectStart Adapter
adapter' ByteString
conninfo'
        polled <- pollUntilDone (Pqi.connectPoll connection)
        observation <- observeConnection connection
        Pqi.finish connection
        pure (polled, observation)