Selector operators

getSelectorClick :: Selector a -> IO a

wait until the next time the Selector is clicked. The Selector is an instance of the device Trigger, so getSelectorClick is equivalent to doing waitTrigger(getSelectorTrigger sel), getSelectorClick being slightly more convenient.

setSelectorLabel :: Selector a -> Picture -> IO ()

change the picture label on the Selector. The placement of the label inside the output area of the Selector is controlled by the SelFeedback used, but the SelAnchor hint can be used (its default is to centre the label).

combineSelectors :: [Selector a] -> IO (Selector a)

takes a bunch of Selectors and merges them into one, such that `clicks' on any of them will be reflected in the combined one.

mapSelector :: (a->b) -> Selector a -> Selector b

returns a new Selector by remapping the values output by an existing Selector.

disableSelector :: Selector a -> IO ()

disables interaction with a Selector, greying it out to indicate its inactive state to the user.

enableSelector :: Selector a -> IO ()

if the Selector was disabled, enable it for interaction again.

activateSelector :: Selector a -> [SelectorName] -> Bool -> IO ()

A generalisation of the above two operations. The second argument contain a list of names (SelectorName) and can be used to selectively enable/disable a selector within a combined Selector:

[]

enable/disable the Selector.

[x]

enable/disable the Selector iff name == x

(x:xs)

if Selector has name == x, try activating the subcomponents by broadcasting (\s -> activateSelectors s xs).

isEnabledSelector :: Selector a -> [SelectorName] -> IO Bool

The inverse of isEnabledSelector.

getSelectorName :: Selector a -> SelectorName

return the Selectors name.

setSelectorName :: Selector a -> SelectorName -> Selector a

return new Selector by changing the name of an existing one.

getSelectorTrigger :: Selector a -> SelectorName -> Selector a

returns the Trigger component of the Selector.