hets -- a heterogenous Specification (CASL) tool setContentsIndex
WriteFn
Portability non-portable(DevGraph)
Stability provisional
Maintainer hets@tzi.de
Description
This module provides functions to write a pretty printed abstract syntax and all the other formats.
Synopsis
write_LIB_DEFN :: GlobalAnnos -> FilePath -> HetcatsOpts -> LIB_DEFN -> IO ()
casl_asc_filename :: FilePath -> HetcatsOpts -> FilePath
write_casl_asc :: HetcatsOpts -> GlobalAnnos -> FilePath -> LIB_DEFN -> IO ()
casl_latex_filename :: FilePath -> HetcatsOpts -> FilePath
debug_latex_filename :: FilePath -> FilePath
write_casl_latex :: HetcatsOpts -> GlobalAnnos -> FilePath -> LIB_DEFN -> IO ()
writeShATermFile :: ATermConvertible a => FilePath -> a -> IO ()
writeShATermFileSDoc :: ATermConvertible a => FilePath -> a -> IO ()
versionedATermTable :: ATermConvertible a => a -> ATermTable
toShATermString :: ATermConvertible a => a -> String
globalContexttoShATerm :: FilePath -> GlobalContext -> IO ()
writeFileInfo :: HetcatsOpts -> [Diagnosis] -> String -> LIB_NAME -> LibEnv -> IO ()
Produced by Haddock version 0.6