| 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.AsSymbol
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
- class AsSymbol a where
- asSymbol :: a -> Symbol
- asSymbolMaybe :: a -> Maybe Symbol
- asSymbolSet :: AsSymbol a => a -> SymbolSet
- mapAsSymbol :: AsSymbol a => (Symbol -> a) -> SymbolMap -> a -> a
The AsSymbol type class
class AsSymbol a where Source #
Minimal complete definition
Nothing
Methods
asSymbol :: a -> Symbol Source #
Convert the input into a Symbol.
asSymbolMaybe :: a -> Maybe Symbol Source #
Convert the input into Maybe a Symbol
Auxiliary functions
asSymbolSet :: AsSymbol a => a -> SymbolSet Source #