Hets - the Heterogeneous Tool Set

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

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.

Synopsis

The HasName type class

class HasName a where

Represents something that has a name (as a Qid).

Methods

getName :: a -> Qid

Extract the name of the input.

mapName :: (Qid -> Qid) -> a -> a

Map the name of the input.

Instances