priority-sync-0.1.0.1: Cooperative task prioritization. Source code Contents Index

Control.Concurrent.Priority.RoomConstraint

Synopsis

class RoomConstraint u where approveConstraint :: Claim a -> u -> STM () newtype MaxThreads = MaxThreads Int approveClaims :: RoomConstraint u => [Claim u] -> STM ()

Documentation

class RoomConstraint u where Source

Methods approveConstraint :: Claim a -> u -> STM () Source Should either approve or retry each claim. 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 RoomConstraint MaxThreads

approveClaims :: RoomConstraint u => [Claim u] -> STM () Source

approve some claims according to their constraints.

Produced by Haddock version 2.4.2