| definition: |
decodeContractName :: String -> String
decodeContractName fn
| "op_x" `isPrefixOf` fn && not (null fntail) = fromHex [] (drop 4 fnop)
| otherwise = fn
where
(fnop,fntail) = break (==''') fn
fromHex s "" = reverse s ++ fntail
fromHex _ [_] = fn
fromHex s (c1:c2:cs) = case readHex [c1,c2] of
[(i,"")] -> fromHex (chr i : s) cs
_ -> fn
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Transforms an operation name starting with `op_xh1...hn'`, where --- each `hi` is a two digit hexadecimal number, into the name --- of corresponding to the ord values of `h1...hn`. --- For instance, `op_x263E'nonfail` is transformed into `&>'nonfail`. |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
decodeContractName |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |