| Copyright | (c) Klaus Luettich C.Maeder Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(DevGraph) |
| Safe Haskell | None |
Driver.WriteFn
Description
Writing various formats, according to Hets options
Documentation
writeSpecFiles :: HetcatsOpts -> FilePath -> LibEnv -> LibName -> DGraph -> IO () Source #
writeVerbFile :: HetcatsOpts -> FilePath -> String -> IO () Source #
writeLG :: HetcatsOpts -> IO () Source #