clafer-0.3.5: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellSafe-Inferred




splitArgs :: String -> [String]Source

Given a string, split into the available arguments. The inverse of joinArgs.

joinArgs :: [String] -> StringSource

Given a sequence of arguments, join them together in a manner that could be used on | the command line, giving preference to the Windows cmd shell quoting conventions. | For an alternative version, intended for actual running the result in a shell, see System.Process.showCommandForUser