| Copyright | (c) Martin Kuehl Uni Bremen 2008-2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | mkhl@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
Maude.Meta.HasName
Contents
Description
Accessing the names of Maude data types.
Defines a type class HasName that lets us access the names of Maude
data types as Qids.
Consider importing Maude.Meta instead of this module.
The HasName type class
class HasName a where Source #
Represents something that has a name (as a Qid).
Methods
Extract the name of the input.
mapName :: (Qid -> Qid) -> a -> a Source #
Map the name of the input.