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

Contents

Description

Viewing Maude data types as Symbols.

Defines a type class AsSymbol that lets us treat Maude data types as Symbols, converting back and forth between them as needed.

Consider importing Maude.Meta instead of this module.

Synopsis

The AsSymbol type class

Auxiliary functions

asSymbolSet :: AsSymbol a => a -> SymbolSet Source #

Instead of a single Symbol, convert the input into a SymbolSet.

mapAsSymbol :: AsSymbol a => (Symbol -> a) -> SymbolMap -> a -> a Source #

Apply a SymbolMap to the input, then convert the result back to the original type.