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

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

Methods

getLabels :: a -> SymbolSet

Extract the Labels contained in the input.

mapLabels :: SymbolMap -> a -> a

Map the Labels contained in the input.

Instances