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

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 Source #

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

Minimal complete definition

getName, mapName

Methods

getName :: a -> Qid Source #

Extract the name of the input.

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

Map the name of the input.

Instances

HasName OpId Source # 

Methods

getName :: OpId -> Qid Source #

mapName :: (Qid -> Qid) -> OpId -> OpId Source #

HasName LabelId Source # 
HasName ModId Source # 

Methods

getName :: ModId -> Qid Source #

mapName :: (Qid -> Qid) -> ModId -> ModId Source #

HasName ViewId Source # 

Methods

getName :: ViewId -> Qid Source #

mapName :: (Qid -> Qid) -> ViewId -> ViewId Source #

HasName ParamId Source # 
HasName Kind Source # 

Methods

getName :: Kind -> Qid Source #

mapName :: (Qid -> Qid) -> Kind -> Kind Source #

HasName Sort Source # 

Methods

getName :: Sort -> Qid Source #

mapName :: (Qid -> Qid) -> Sort -> Sort Source #

HasName Type Source # 

Methods

getName :: Type -> Qid Source #

mapName :: (Qid -> Qid) -> Type -> Type Source #

HasName Operator Source # 
HasName View Source # 

Methods

getName :: View -> Qid Source #

mapName :: (Qid -> Qid) -> View -> View Source #

HasName Module Source # 

Methods

getName :: Module -> Qid Source #

mapName :: (Qid -> Qid) -> Module -> Module Source #

HasName Spec Source # 

Methods

getName :: Spec -> Qid Source #

mapName :: (Qid -> Qid) -> Spec -> Spec Source #

HasName Qid Source # 

Methods

getName :: Qid -> Qid Source #

mapName :: (Qid -> Qid) -> Qid -> Qid Source #

HasName Symbol Source # 

Methods

getName :: Symbol -> Qid Source #

mapName :: (Qid -> Qid) -> Symbol -> Symbol Source #