| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Arbiter.Core.Sql.Claim
Description
Claim-time SQL: candidate selection, admission gates, and the batched claim.
Synopsis
- data ClaimAdmission = ClaimAdmission {}
- claimJobsBatchedSQL :: SchemaName -> TableName -> ClaimAdmission -> Int -> Int -> NominalDiffTime -> Text
Documentation
Source #data ClaimAdmission
Which admission filters the claim SQL renders. A payload type that declares no policy of a kind gets no filter for it.
Constructors
| ClaimAdmission | |
Fields | |
Instances
| Eq ClaimAdmission Source # | |
Defined in Arbiter.Core.Sql.Claim Methods #(==) :: ClaimAdmission -> ClaimAdmission -> Bool #(/=) :: ClaimAdmission -> ClaimAdmission -> Bool | |
| Show ClaimAdmission Source # | |
Defined in Arbiter.Core.Sql.Claim Methods #showsPrec :: Int -> ClaimAdmission -> ShowS #show :: ClaimAdmission -> String #showList :: [ClaimAdmission] -> ShowS | |
Source #claimJobsBatchedSQL :: SchemaName -> TableName -> ClaimAdmission -> Int -> Int -> NominalDiffTime -> Text
The single-CTE batched claim, which at batch size 1 is the single-job claim. Takes any unsuspended visible job, rollup children and woken rollup parents included. Each gate's CTEs render when the payload declares that kind of policy.