PrioritySync.Internal.RoomConstraint
- class RoomConstraint u where
- approveConstraint :: Claim a -> u -> STM ()
- newtype MaxThreads = MaxThreads Int
- approveClaims :: RoomConstraint u => [Claim u] -> STM ()
Documentation
class RoomConstraint u whereSource
Instances
| RoomConstraint Bool | |
| RoomConstraint () | |
| RoomConstraint MaxThreads | |
| RoomConstraint u => RoomConstraint (STM u) | |
| RoomConstraint a => RoomConstraint (Maybe a) | |
| (RoomConstraint a, RoomConstraint b) => RoomConstraint (Either a b) | |
| (RoomConstraint a, RoomConstraint b) => RoomConstraint (a, b) |
newtype MaxThreads Source
A maximum limit on the number of threads allowed to claim a room.
Constructors
| MaxThreads Int |
Instances
approveClaims :: RoomConstraint u => [Claim u] -> STM ()Source
approve some claims according to their constraints.