:: String -> Int is:exact -package:safe -package:base -package:ghc -package:Agda -package:Cabal-syntax -package:dbus -package:vty
convert a string of hexadecimal digits into an Int
convert a string of digits into an Int
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)
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
raise a fatal internal error; message may have multiple lines
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.