| Copyright | (c) Christian Maeder, Uni Bremen 2002-2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CASL.ShowMixfix
Description
Put parenthesis around mixfix terms, for unambiguous pretty printing
Documentation
mkMixfixRecord :: (f -> f) -> Record f (FORMULA f) (TERM f)
mapFormula :: (f -> f) -> FORMULA f -> FORMULA f