PrioritySync.Internal.ClaimContext
- class ClaimContext c where
- type ClaimHandle c :: *
- approveClaimsEntering :: c -> [Claim (UserData c)] -> STM (ClaimHandle c)
- approveClaimsExiting :: c -> [Claim (UserData c)] -> STM (ClaimHandle c)
- waitingAction :: c -> ClaimHandle c -> STM ()
Documentation
class ClaimContext c whereSource
Rules for calling claim_.
Associated Types
type ClaimHandle c :: *Source
Methods
approveClaimsEntering :: c -> [Claim (UserData c)] -> STM (ClaimHandle c)Source
Should approve a some claims before entering a critical section, as described by claim_.
approveClaimsExiting :: c -> [Claim (UserData c)] -> STM (ClaimHandle c)Source
Should approve a some claims before exiting a critical section, as described by claim_.
waitingAction :: c -> ClaimHandle c -> STM ()Source
A waiting transaction, as described by claim_.
Instances
| ClaimContext c => ClaimContext (Receipt c) | |
| RoomConstraint u => ClaimContext (Constrained u) | |
| ClaimContext (Unconstrained u) | |
| ClaimContext c => ClaimContext (c, m) | |
| (ClaimHandle c ~ (), Ord p, RoomGroup c, ClaimContext c) => ClaimContext (Schedule p c) |