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-Inferred

Framework.WriteLogicUtils

Description

 

Documentation

tab :: String

multiOpt :: String

synOpt :: String

prefixBy :: String -> [String] -> [String]

sepHoriz :: [String] -> String

sepTabVert :: [String] -> String

mkCompOpt :: [String] -> String

mkModDecl :: String -> String

mkImports :: [String] -> String

mkLid :: String -> String

mkImpl :: String -> String -> String -> String

inheritImpl :: String -> String -> String -> String

mkInst :: String -> String -> [String] -> [String] -> String

mkDecl :: String -> String -> String -> String