c79e39ad568d9af854765f64049534044ef6c034nd{- |

2d0611ffc9f91c5fc2ddccb93f9a3d17791ae650takashiModule : $Header$

c79e39ad568d9af854765f64049534044ef6c034ndDescription : Utility Functions

d3e250aab242db84d14060985b5db675a731d548ndCopyright : (c) Martin Kuehl, Uni Bremen 2009

c79e39ad568d9af854765f64049534044ef6c034ndLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

7add1372edb1ee95a2c4d1314df4c7567bda7c62jim

7add1372edb1ee95a2c4d1314df4c7567bda7c62jimMaintainer : mkhl@informatik.uni-bremen.de

c79e39ad568d9af854765f64049534044ef6c034ndStability : experimental

c79e39ad568d9af854765f64049534044ef6c034ndPortability : portable

738ad457843927ece7fa5e91e4fb4a5710d13690lgentis

c79e39ad568d9af854765f64049534044ef6c034ndUtility functions used in the Maude language module.

738ad457843927ece7fa5e91e4fb4a5710d13690lgentis-}

0a05fab9aadd37834734ffe106fc8ad4488fb3e3rbowen

738ad457843927ece7fa5e91e4fb4a5710d13690lgentismodule Maude.Util where

4b575a6b6704b516f22d65a3ad35696d7b9ba372rpluem

738ad457843927ece7fa5e91e4fb4a5710d13690lgentisimport Data.Map (Map)

c79e39ad568d9af854765f64049534044ef6c034ndimport qualified Data.Map as Map

c79e39ad568d9af854765f64049534044ef6c034nd

-- | Apply the given Map as a function. Functions as the identity

-- function for items not contained in the Map.

mapAsFunction :: (Ord a) => Map a a -> (a -> a)

mapAsFunction mp name = Map.findWithDefault name name mp