hets/CASL/ShowMixfix.hs

{- |
Module      :  ./CASL/ShowMixfix.hs
Description :  uniquely show mixfix terms with sufficient parenthesis
Copyright   :  (c) Christian Maeder, Uni Bremen 2002-2004
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  portable

Put parenthesis around mixfix terms, for unambiguous pretty printing
-}

module CASL.ShowMixfix where

import CASL.AS_Basic_CASL
import CASL.Fold
import Common.Id

mkMixfixRecord :: (f -> f) -> Record f (FORMULA f) (TERM f)
mkMixfixRecord mf = (mapRecord mf)
     { foldApplication = \ _ o ts ps ->
         if null ts then Application o ts ps else
         Mixfix_term [Application o [] nullRange, Mixfix_parenthesized ts ps]
     , foldPredication = \ _ p ts ps ->
         if null ts then Predication p ts ps else Mixfix_formula $
            Mixfix_term [Mixfix_qual_pred p, Mixfix_parenthesized ts ps]
     }

mapTerm :: (f -> f) -> TERM f -> TERM f
mapTerm = foldTerm . mkMixfixRecord

mapFormula :: (f -> f) -> FORMULA f -> FORMULA f
mapFormula = foldFormula . mkMixfixRecord