| Copyright | (c) Martin Kuehl, Uni Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | mkhl@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
Maude.Printing
Description
Translations from Haskell to Maude.
The translations from Haskell datatypes to Maude source code are
implemented as instances of the typeclass Pretty as defined in the
modules Common.Doc and Common.DocUtils, which see.
Nothing else is exported by this module.