| Copyright | (c) Martin Kuehl, Uni Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | mkhl@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
Maude.Util
Description
Utility functions used in the Maude language module.
- mapAsFunction :: Ord a => Map a a -> a -> a
Documentation
mapAsFunction :: Ord a => Map a a -> a -> a
Apply the given Map as a function. Works as the identity function for items not contained in the Map.