hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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