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

Description

Accessing the Operators of Maude data types.

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

Consider importing Maude.Meta instead of this module.

Synopsis

The HasOps type class

class HasOps a where Source #

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

Methods

getOps :: a -> SymbolSet Source #

Extract the Operators contained in the input.

mapOps :: SymbolMap -> a -> a Source #

Map the Operators contained in the input.

Instances

Instances details
HasOps Term Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Attr Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Condition Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Rule Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Equation Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Membership Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Operator Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Symbol Source # 
Instance details

Defined in Maude.Meta.HasOps

HasOps Sentence Source # 
Instance details

Defined in Maude.Sentence

HasOps Sign Source # 
Instance details

Defined in Maude.Sign

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

Defined in Maude.Meta.HasOps

Methods

getOps :: [a] -> SymbolSet Source #

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

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

Defined in Maude.Meta.HasOps

Methods

getOps :: Set a -> SymbolSet Source #

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

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

Defined in Maude.Meta.HasOps

Methods

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

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

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

Defined in Maude.Meta.HasOps

Methods

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

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