- 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_
.
type ClaimHandle c :: *Source
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_
.
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) |