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.HasLabels

Contents

Description

Accessing the Labels of Maude data types.

Defines a type class HasLabels that lets us access the Labels of Maude data types as SymbolSets.

Consider importing Maude.Meta instead of this module.

Synopsis

The HasLabels type class

class HasLabels a where Source #

Represents something that contains a Set of Labels (as Symbols).

Minimal complete definition

getLabels, mapLabels

Methods

getLabels :: a -> SymbolSet Source #

Extract the Labels contained in the input.

mapLabels :: SymbolMap -> a -> a Source #

Map the Labels contained in the input.