This module contains MenuType
- a general abstract datatype for menus -
plus some map-like operations on it.
NBNBNB. MenuType
is also used by the graphs and daVinci stuff, which is
supposed to be independent of HTk. So before making HTk-specific changes
to this datatype, please find some way of harmlessly ignoring them
(at best) for daVinci.
Documentation
mapMenuPrim :: (a -> b) -> MenuPrim c a -> MenuPrim c bSource
mapMenuPrim' :: (c -> d) -> MenuPrim c a -> MenuPrim d aSource
mapMMenuPrim :: Monad m => (a -> m b) -> MenuPrim c a -> m (MenuPrim c b)Source
mapMMenuPrim' :: Monad m => (c -> m d) -> MenuPrim c a -> m (MenuPrim d a)Source