:: String -> Int -package:hledger-lib -package:speculate -package:numeric-prelude -package:express -package:ghc-lib-parser -package:Agda -package:base -package:hxt -package:ghc -package:hledger -package:language-c

Returns the display width of a string. Assumes all characters with unknown widths are 0 width.
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 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.
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.
Alias for errorWithoutStackTrace (for base >= 4.9)
stop execution and displays an error message
Same as error but will make HDL generation fail if included in the final circuit. This is useful for the error case of static assertions. Note that the error message needs to be a literal, and during HDL generation the error message does not include a stack trace, so it had better be descriptive.
Like error, but throwing an XException instead of an ErrorCall The ShowX methods print these error-values as undefined; instead of error'ing out with an exception.
Raise a CUDAException. Exceptions can be thrown from pure code, but can only be caught in the IO monad.
stop execution and displays an error message
nonBottomError s raises an exception (AssertionFailed) that is not caught by isBottom. Use s to describe the exception.
this function indicates to catch that an error is expected