Symbol.hs revision 76408af596b604997cabe1ebde1caaa43f58b1e6
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederModule : $Header$
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederDescription : symbols for CSL
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCopyright : (c) Dominik Dietrich, DFKI Bremen 2010
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLicense : GPLv2 or higher, see LICENSE.txt
module CSL.Symbol where
import Common.Id
import Common.Doc
import Common.DocUtils
import qualified Data.Set as Set
import qualified Data.Map as Map
import CSL.Sign
import CSL.Morphism
symOf :: Sign -> Set.Set Symbol
symOf = Set.map Symbol . opIds
getSymbolMap :: Morphism -> Map.Map Symbol Symbol
Map.empty $ opIds $ source f
applySymMap :: Map.Map Symbol Symbol -> Symbol -> Symbol
applySymMap smap idt = Map.findWithDefault idt idt smap