| Copyright | (c) 2020-2021 Tim Emiola |
|---|---|
| License | BSD3 |
| Maintainer | Tim Emiola <adetokunbo@users.noreply.github.com > |
| Safe Haskell | None |
| Language | Haskell2010 |
System.TmpProc.Docker.Redis
Description
Provides an instance of Proc that launches redis as a tmp proc.
The instance this module provides can be used in integration tests as is.
It's also possible to write other instances that launch redis in different
ways; for those, this instance can be used as a reference example.
Synopsis
- data TmpRedis = TmpRedis [KeyName]
- aProc :: HList '[TmpRedis]
- aHandle :: IO (HandlesOf '[TmpRedis])
- type KeyName = ByteString
- withTmpConn :: Connectable a => ProcHandle a -> (Conn a -> IO b) -> IO b
- startupAll :: forall (procs :: [Type]). AreProcs procs => HList procs -> IO (HandlesOf procs)
- data ProcHandle a = ProcHandle {}
- type family Conn a = (conn :: Type) | conn -> a
- class Proc a => Connectable a where
- type family Name a = (labelName :: Symbol) | labelName -> a
- type family Image a :: Symbol
- class (KnownSymbol (Image a), KnownSymbol (Name a)) => Proc a where
- data Pinged
- = OK
- | NotOK
- | PingFailed Text
- type HostIpAddress = Text
- type SvcURI = ByteString
- type HandlesOf (procs :: [Type]) = HList (Proc2Handle procs)
- data HList (a :: [Type]) where
Proc instance
Provides the capability to launch a redis instance as tmp proc.
The constructor receives the names of keys to be dropped on reset.
Instances
| Connectable TmpRedis Source # | Specifies how to connect to a tmp |
| Proc TmpRedis Source # | Specifies how to run |
Defined in System.TmpProc.Docker.Redis | |
| type Conn TmpRedis Source # | |
Defined in System.TmpProc.Docker.Redis | |
| type Name TmpRedis Source # | |
Defined in System.TmpProc.Docker.Redis | |
| type Image TmpRedis Source # | |
Defined in System.TmpProc.Docker.Redis | |
Useful definitions
type KeyName = ByteString Source #
The name of a key in redis.
Re-exports
withTmpConn :: Connectable a => ProcHandle a -> (Conn a -> IO b) -> IO b #
Run an action on a Connectable handle as a callback on its Conn
startupAll :: forall (procs :: [Type]). AreProcs procs => HList procs -> IO (HandlesOf procs) #
Start up processes for each Proc type.
type family Conn a = (conn :: Type) | conn -> a #
The connection type.
Instances
| type Conn TmpRedis Source # | |
Defined in System.TmpProc.Docker.Redis | |
class Proc a => Connectable a where #
Specifies how to a get a connection to a Proc.
Minimal complete definition
type family Name a = (labelName :: Symbol) | labelName -> a #
A label used to refer to running process created from this image, e.g, a-postgres-db
class (KnownSymbol (Image a), KnownSymbol (Name a)) => Proc a where #
Specifies how to launch a temporary process using Docker.
Associated Types
The image name of the docker image, e.g, postgres:10.6
type Name a = (labelName :: Symbol) | labelName -> a #
A label used to refer to running process created from this image, e.g, a-postgres-db
Methods
Additional arguments to the docker command that launches the tmp proc.
uriOf :: HostIpAddress -> SvcURI #
Determines the service URI of the process, when applicable.
reset :: ProcHandle a -> IO () #
Resets some state in a tmp proc service.
ping :: ProcHandle a -> IO Pinged #
Checks if the tmp proc started ok.
Maximum number of pings to perform during startup.
Number of milliseconds between pings.
Instances
| Proc TmpRedis Source # | Specifies how to run |
Defined in System.TmpProc.Docker.Redis | |
Indicates the result of pinging a Proc.
If the ping succeeds, ping2 should return OK.
ping2 should catch any exceptions that are expected when the ProcsNotOK.
startupAll uses PingFailed to report any unexpected exceptions that escape
ping2.
Constructors
| OK | The service is running OK. |
| NotOK | The service is not running. |
| PingFailed Text | Contact to the service failed unexpectedly. |
type HostIpAddress = Text #
The IP address of the docker host.
type SvcURI = ByteString #
A connection string used to access the service once its running.
type HandlesOf (procs :: [Type]) = HList (Proc2Handle procs) #
A list of ProcHandle
data HList (a :: [Type]) where #
Defines a Heterogenous list.
Constructors
| HNil :: HList ('[] :: [Type]) | |
| HCons :: forall anyTy (manyTys :: [Type]). anyTy -> HList manyTys -> HList (anyTy ': manyTys) infixr 5 |