- class RoomConstraint u where
- approveConstraint :: Claim a -> u -> STM ()
- newtype MaxThreads = MaxThreads Int
- approveClaims :: RoomConstraint u => [Claim u] -> STM ()
Documentation
class RoomConstraint u whereSource
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.
approveClaims :: RoomConstraint u => [Claim u] -> STM ()Source
approve
some claims according to their constraints.