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

Contents

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

Minimal complete definition

getOps, mapOps

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

HasOps Term Source # 
HasOps Attr Source # 
HasOps Condition Source # 
HasOps Rule Source # 
HasOps Equation Source # 
HasOps Membership Source # 
HasOps Operator Source # 
HasOps Symbol Source # 
HasOps Sentence Source # 
HasOps Sign Source # 
HasOps a => HasOps [a] Source # 

Methods

getOps :: [a] -> SymbolSet Source #

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

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

Methods

getOps :: Set a -> SymbolSet Source #

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

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

Methods

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

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

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

Methods

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

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