CurryInfo: contract-prover-4.0.0 / Curry2SMT.untransOpName

definition: Info
 
untransOpName :: String -> Maybe QName
untransOpName s
 | "is-" `isPrefixOf` s
 = Nothing -- selectors are not a qualified name
 | otherwise
 = let (mn,ufn) = break (=='_') s
   in if null ufn
        then Nothing
        else Just (mn, decodeSpecialChars (tail ufn))
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Translates a (translated) SMT string back into qualified FlatCurry name.
Returns Nothing if it was not a qualified name.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {Just,Nothing}}
name: Info
 untransOpName
precedence: Info
 no precedence defined
result-values: Info
 {Just,Nothing}
signature: Info
 String -> Prelude.Maybe (String, 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