CurryInfo: xmldata-3.0.0 / Data2Xml.argsToOptions

definition: Info
 
argsToOptions :: [String] -> [Option]
argsToOptions args = case args of
  ["-h"]          -> []
  ["--help"]      -> []
  ["-?"]          -> []
  "-l" : opts     -> LowCase : argsToOptions opts
  "-d" : f : opts -> OutDir f : argsToOptions opts
  [s]             -> [FileName s]
  _               -> []
demand: Info
 argument 1
deterministic: Info
 deterministic operation
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({:}) |-> {:,[]} || ({[]}) |-> {[]}}
name: Info
 argsToOptions
precedence: Info
 no precedence defined
result-values: Info
 {:,[]}
signature: Info
 [String] -> [Option]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms