Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CASL.ShowMixfix

Description

Put parenthesis around mixfix terms, for unambiguous pretty printing

Documentation

mkMixfixRecord :: (f -> f) -> Record f (FORMULA f) (TERM f) Source #

mapTerm :: (f -> f) -> TERM f -> TERM f Source #

mapFormula :: (f -> f) -> FORMULA f -> FORMULA f Source #