TmpProc.Example2.IntegrationSpec

An demo HSpec test that use tmp-proc

Documentation

dbProc :: TmpPostgres

The test uses a Postgres database .

cacheProc :: TmpRedis

The test uses Redis as a cache.

testProcs :: HList '[TmpPostgres, TmpRedis]

Specifies the procs to be launched as test fixtures.

spec :: Spec

Specifies the expected behaviour.

hasInCache :: HasHandle TmpRedis procs => ServerHandle procs -> ContactID -> IO Bool

Simplifies the test cases

Note the use of the HasHandle constraint to indicate what TmpProcs the function uses.

hasInDb :: ServerHandle '[TmpPostgres, TmpRedis] -> ContactID -> IO Bool

Simplifies the test cases

Here, ServerHandle specifies the full list of types required by the calling test code.

type Fixture = (ServerHandle '[TmpPostgres, TmpRedis], ClientEnv)

The full test fixture.

It allows tests to

• use the servant client to invoke the backend
• check the state of service backends via the ProcHandles in the ServerHandle.

mkFixture :: IO Fixture

shutdown' :: Fixture -> IO ()

clientEnvOf :: AreProcs procs => ServerHandle procs -> IO ClientEnv

testContact :: Contact