:: String -> Int -package:hledger-lib -package:speculate -package:monads-tf -package:dbus -package:string-conversions -package:ghc-boot is:exact -package:Agda -package:hxt -package:gpolyline
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.
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
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.
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.