Hets - the Heterogeneous Tool Set

Copyright(c) Renato Neves
LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Hybrid.Print_AS

Description

printing Hybrid data types

Documentation

printFormulaOfHybridSign :: FormExtension f => (FORMULA f -> FORMULA f) -> [[Annoted (FORMULA f)]] -> Doc

printHybridSign :: (FORMULA H_FORMULA -> FORMULA H_FORMULA) -> HybridSign -> Doc

condParensInnerF

Arguments

:: Pretty f 
=> (FORMULA f -> Doc) 
-> (Doc -> Doc)

a function that surrounds the given Doc with appropiate parens

-> FORMULA f 
-> Doc