Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, C.Maeder, Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(DevGraph)
Safe HaskellNone

Driver.WriteFn

Description

Writing various formats, according to Hets options

Documentation

writeSpecFiles :: HetcatsOpts -> FilePath -> LibEnv -> LibName -> DGraph -> IO ()

writeVerbFile :: HetcatsOpts -> FilePath -> String -> IO ()

writeLG :: HetcatsOpts -> IO ()