Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl, Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermkhl@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

Maude.Util

Description

Utility functions used in the Maude language module.

Synopsis

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.