clafer-0.3.7: 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] -> String Source

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"