Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2003-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Main

Description

The Main module of the Heterogeneous Tool Set. It provides the main function to call (and not much more).

Documentation

main :: IO () Source #

noUniPkg :: IO () Source #

processFile :: HetcatsOpts -> FilePath -> IO () Source #

displayGraph :: FilePath -> HetcatsOpts -> Maybe (LibName, LibEnv) -> IO () Source #