| definition: |
encodeContractName :: String -> String
encodeContractName fn
| null rop || null rsuf ||
all (\c -> isAlphaNum c || c == ''' || c == '_') rop
= fn
| otherwise
= "op_x" ++ concatMap toHex (reverse (tail rop)) ++ ''' : reverse rsuf
where
(rsuf,rop) = break (==''') (reverse fn)
toHex c = let n = ord c in [toHexDigit (n `div` 16), toHexDigit (n `mod` 16)]
toHexDigit i = if i<10 then chr (ord '0' + i)
else chr (ord 'A' + i - 10)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Transforms an operation name of the form `fn'tail` into a valid --- identifier. Thus, if `fn` contains any non-alphanumeric characters, --- the name will be transformed into `op_xh1...hn'`, where --- each `hi` is the two digit hexadecimal number corresponding to the --- i-th character of `fn`. --- For instance, `&>'nonfail` is transformed into `op_x263E'nonfail`. |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
encodeContractName |
| 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 |