:: String -> Int -package:hledger-lib -package:speculate -package:Agda -package:ViennaRNAParser -package:express -package:dbus is:exact -package:language-c -package:gpolyline -package:hledger -package:numeric-prelude -package:hegg
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.
Given a number encoded in Locator16, convert it back to an integer.
Raises an
error with a printf-specific prefix on the message
string.
Like the function
error, but appends a stack trace to the error
message if one is available.
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.