Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

Framework.WriteLogicUtils

Description

 

Documentation

tab :: String Source #

multiOpt :: String Source #

synOpt :: String Source #

prefixBy :: String -> [String] -> [String] Source #

sepHoriz :: [String] -> String Source #

sepTabVert :: [String] -> String Source #

mkCompOpt :: [String] -> String Source #

mkModDecl :: String -> String Source #

mkImports :: [String] -> String Source #

mkLid :: String -> String Source #

mkImpl :: String -> String -> String -> String Source #

inheritImpl :: String -> String -> String -> String Source #

mkInst :: String -> String -> [String] -> [String] -> String Source #

mkDecl :: String -> String -> String -> String Source #