hets -- a heterogenous Specification (CASL) tool setContentsIndex
ReadFn
Portability non-portable(DevGraph)
Stability provisional
Maintainer hets@tzi.de
Description
reading ATerms, CASL, HetCASL files and parsing them into an appropiate data structure
Synopsis
read_LIB_DEFN :: HetcatsOpts -> FilePath -> IO LIB_DEFN
readLIB_DEFN_from_file :: FilePath -> IO (Result LIB_DEFN)
readShATermFile :: ATermConvertible a => FilePath -> IO (Result a)
fromShATermString :: ATermConvertible a => String -> Result a
globalContextfromShATerm :: FilePath -> IO (Result GlobalContext)
Produced by Haddock version 0.6