Trigger interface index

 {- type(s) defined -}
data Trigger -- Abstract
type TriggerName

 {- creator -}
trigger   :: IO a -> Trigger a
mkTrigger :: IO a -> (Bool -> IO ()) -> Trigger a

 {- operators -}
waitTrigger :: Trigger a -> IO a

 {- combinators -}
mapTrigger   :: (a->b) -> Trigger a     -> Trigger b
mapIOTrigger :: (a-> IO b) -> Trigger a -> Trigger b
mapAccumlTrigger :: (a -> b -> (c,b)) -> b  -> Trigger a -> IO (Trigger c)
filterTrigger    :: (a->Bool) -> Trigger a  -> Trigger a
combineTriggers :: [Trigger a]  -> IO (Trigger a)

onTriggerDo  :: Trigger a -> (a -> IO b) -> Trigger b
cloneTrigger :: IO a      -> Trigger a   -> Trigger a

 {- changing the interaction state of the trigger (on/off) -}
enableTrigger    :: Trigger a -> IO ()
disableTrigger   :: Trigger a -> IO ()
activateTrigger  :: Trigger a -> [TriggerName] -> Bool -> IO ()
isEnabledTrigger :: Trigger a -> [TriggerName] -> IO Bool
getTriggerName   :: Trigger a -> TriggerName
setTriggerName   :: TriggerName -> Trigger a -> Trigger a