| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Arbiter.Core.HasArbiterSchema
Description
Type class for monads that provide the Arbiter schema name
Synopsis
- class Monad m => HasArbiterSchema (m :: Type -> Type) (registry :: JobPayloadRegistry) | m -> registry where
Documentation
class Monad m => HasArbiterSchema (m :: Type -> Type) (registry :: JobPayloadRegistry) | m -> registry where Source #
Type class for monads that provide the PostgreSQL schema name for Arbiter tables
The functional dependency m -> registry ensures that a monad uniquely determines
which registry (type-level table mapping) it uses. This allows the high-level API
to perform compile-time table lookups based on payload types.