Copyright	(c) Martin Kuehl Uni Bremen 2008-2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	mkhl@informatik.uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	Safe

Maude.Meta.HasOps

Contents

The HasOps type class

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

class HasOps a where
- getOps :: a -> SymbolSet
- mapOps :: SymbolMap -> a -> a

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 Methods getOps :: Term -> SymbolSet Source # mapOps :: SymbolMap -> Term -> Term Source #
HasOps Attr Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Attr -> SymbolSet Source # mapOps :: SymbolMap -> Attr -> Attr Source #
HasOps Condition Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Condition -> SymbolSet Source # mapOps :: SymbolMap -> Condition -> Condition Source #
HasOps Rule Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Rule -> SymbolSet Source # mapOps :: SymbolMap -> Rule -> Rule Source #
HasOps Equation Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Equation -> SymbolSet Source # mapOps :: SymbolMap -> Equation -> Equation Source #
HasOps Membership Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Membership -> SymbolSet Source # mapOps :: SymbolMap -> Membership -> Membership Source #
HasOps Operator Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Operator -> SymbolSet Source # mapOps :: SymbolMap -> Operator -> Operator Source #
HasOps Symbol Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Symbol -> SymbolSet Source # mapOps :: SymbolMap -> Symbol -> Symbol Source #
HasOps Sentence Source #
Instance details Defined in Maude.Sentence Methods getOps :: Sentence -> SymbolSet Source # mapOps :: SymbolMap -> Sentence -> Sentence Source #
HasOps Sign Source #
Instance details Defined in Maude.Sign Methods getOps :: Sign -> SymbolSet Source # mapOps :: SymbolMap -> Sign -> Sign Source #
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 #