CurryInfo: xmldata-3.0.0 / Data2Xml.isTupleName

definition: Info
 
isTupleName :: String -> Bool
isTupleName []       = False
isTupleName (n:name) = n == '(' && isTuple name
  where
    isTuple ""  = False
    isTuple [c] = c == ')'
    isTuple (c:c':cs) = c==',' && isTuple (c':cs)
demand: Info
 argument 1
deterministic: Info
 deterministic operation
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({[]}) |-> {False} || ({:}) |-> _}
name: Info
 isTupleName
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 String -> Prelude.Bool
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 reducible on all ground data terms