Searched defs:mapUDFM (Results 1 – 4 of 4) sorted by relevance
385 mapUDFM f (UDFM m i) = UDFM (M.map (fmap f) m) i function
400 mapUDFM f (UDFM m i) = UDFM (M.map (fmap f) m) i function
403 mapUDFM f (UDFM m i) = UDFM (M.map (fmap f) m) i function