| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Arbiter.Test.Worker.Deadline
Description
Heartbeat guard, lease fence, and job deadline tests, instantiated for each backend.
Synopsis
- deadlineSpec :: forall payload (m :: Type -> Type) env. (Eq payload, QueueOperation m payload, RegistryAdmissionPolicies (RegistryOf m), RegistryTables (RegistryOf m), ResultOf m payload ~ ()) => TestBackend payload m env -> Spec
Documentation
deadlineSpec :: forall payload (m :: Type -> Type) env. (Eq payload, QueueOperation m payload, RegistryAdmissionPolicies (RegistryOf m), RegistryTables (RegistryOf m), ResultOf m payload ~ ()) => TestBackend payload m env -> SpecSource #
Deadline suite. The queue under test declares () as its result type.