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

Ord 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)