Util.VariableSetBlocker

Blockers are used to implement variable set sources which can be turned on and off. They are indexed by a BlockID.

Documentation

data Blocker a

data BlockID

Instances

Eq BlockID

Defined in Util.VariableSetBlocker

Methods

(==) :: BlockID -> BlockID -> Bool

(/=) :: BlockID -> BlockID -> Bool

Ord BlockID

Defined in Util.VariableSetBlocker

Methods

compare :: BlockID -> BlockID -> Ordering

(<) :: BlockID -> BlockID -> Bool

(<=) :: BlockID -> BlockID -> Bool

(>) :: BlockID -> BlockID -> Bool

(>=) :: BlockID -> BlockID -> Bool

max :: BlockID -> BlockID -> BlockID

min :: BlockID -> BlockID -> BlockID

newBlocker :: HasKey a key => VariableSetSource a -> IO (Blocker a)

newBlockID :: IO BlockID

openBlocker :: HasKey a key => Blocker a -> BlockID -> IO ()

closeBlocker :: HasKey a key => Blocker a -> BlockID -> IO ()

blockVariableSet :: HasKey a key => Blocker a -> BlockID -> IO (VariableSetSource a)

newBlockerWithPreAction :: HasKey a key => VariableSetSource a -> ([a] -> IO ()) -> IO (Blocker a)