:: String -> Int is:exact -package:string-conversions -package:safe -package:Agda
convert a string of hexadecimal digits into an Int
convert a string of digits into an Int
Returns the display width of a string. Assumes all characters with
unknown widths are 0 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
Deprecated: error appends the call stack now
Creates an exception with a message. The default implementation of
The error used in fixpointToFinal
when the result of a failed computation is
recursively used and somehow visible. You may use this for your own
interpreters. The argument should be the name of the