:: String -> Int -package:hledger-lib -package:speculate is:exact -package:Agda -package:express -package:ViennaRNAParser

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.
Alias for realLength.
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.
Get the hash of a string. This util is currently used to generate an Int used for the internal pattern variable representation from the external pattern variable representation (String)
Raises an error with a printf-specific prefix on the message string.
Deprecated: error appends the call stack now
Raises a SizeOverflowException, with a message using the given function name.
Synonym for error. Used for instances where the program has decided to exit because of invalid user input, or the user pressed quit etc. This function allows error to be reserved for programmer errors.
Panics and asserts.
Panics and asserts.
Panics and asserts.
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.