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

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

Methods

getLabels :: a -> SymbolSet Source #

Extract the Labels contained in the input.

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

Map the Labels contained in the input.

Instances

Instances details
HasLabels StmntAttr Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: StmntAttr -> SymbolSet Source #

mapLabels :: SymbolMap -> StmntAttr -> StmntAttr Source #

HasLabels Rule Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: Rule -> SymbolSet Source #

mapLabels :: SymbolMap -> Rule -> Rule Source #

HasLabels Equation Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: Equation -> SymbolSet Source #

mapLabels :: SymbolMap -> Equation -> Equation Source #

HasLabels Membership Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: Membership -> SymbolSet Source #

mapLabels :: SymbolMap -> Membership -> Membership Source #

HasLabels Sentence Source # 
Instance details

Defined in Maude.Sentence

Methods

getLabels :: Sentence -> SymbolSet Source #

mapLabels :: SymbolMap -> Sentence -> Sentence Source #

HasLabels Sign Source # 
Instance details

Defined in Maude.Sign

Methods

getLabels :: Sign -> SymbolSet Source #

mapLabels :: SymbolMap -> Sign -> Sign Source #

HasLabels a => HasLabels [a] Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: [a] -> SymbolSet Source #

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

(Ord a, HasLabels a) => HasLabels (Set a) Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: Set a -> SymbolSet Source #

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

(HasLabels a, HasLabels b) => HasLabels (a, b) Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: (a, b) -> SymbolSet Source #

mapLabels :: SymbolMap -> (a, b) -> (a, b) Source #

(HasLabels a, HasLabels b, HasLabels c) => HasLabels (a, b, c) Source # 
Instance details

Defined in Maude.Meta.HasLabels

Methods

getLabels :: (a, b, c) -> SymbolSet Source #

mapLabels :: SymbolMap -> (a, b, c) -> (a, b, c) Source #