:: String -> Int is:exact -package:string-conversions -package:polysemy -package:base -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.
Returns the precedence of default Haskell operators
Given a number encoded in Locator16, convert it back to an integer.
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
Creates an exception with a message. The default implementation of
raise a fatal internal error; message may have multiple lines
stop execution and displays an error message