Copyright	(c) Kristina Sojakova DFKI Bremen 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	k.sojakova@jacobs-university.de
Stability	experimental
Portability	portable
Safe Haskell	Safe

Framework.WriteLogicUtils

Description

Documentation

tab :: 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 #