:: String -> Int is:exact -package:safe -package:vty

convert a string of hexadecimal digits into an Int
convert a string of digits into an Int
Calculate the render width of a string, considering wide characters (counted as double width)
Like strWidth, but also strips ANSI escape sequences before calculating the width. This is no longer used in code, as widths are calculated before adding ANSI escape sequences, but is being kept around for now.
Given a number encoded in Locator16, convert it back to an integer.
Returns the precedence of default Haskell operators
Raises an error with a printf-specific prefix on the message string.
Deprecated: error appends the call stack now
Panics and asserts.
Panics and asserts.
Panics and asserts.
Creates an exception with a message. The default implementation of strMsg s is noMsg.
The error used in fixpointToFinal, runFixpoint and runFixpointM when the result of a failed computation is recursively used and somehow visible. You may use this for your own Fixpoint interpreters. The argument should be the name of the interpreter.