clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe HaskellSafe
LanguageHaskell2010

Language.Clafer.SplitJoin

Synopsis

Documentation

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"