CurryInfo: verify-non-fail-2.0.0 / Verify.WithSMT.genSelName

definition: Info
 
genSelName :: QName -> Int -> String
genSelName qc@(mn,fn) i
 | mn == "Prelude" && take 3 fn == "(,,"
 = transOpName qc ++ "_" ++ show i
 | otherwise
 = "sel" ++ show i ++ '-' : transOpName qc
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
Generates the name of the i-th selector for a given constructor.
failfree: Info
 (_, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({(,)},_) |-> _}
name: Info
 genSelName
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 (String, String) -> Prelude.Int -> String
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term