:: String -> Int -package:hledger-lib -package:speculate -package:polysemy -package:Agda -package:gpolyline -package:safe -package:base -package:simple-cmd -package:numeric-prelude -package:basement -package:hxt
Returns the display width of a string. Assumes all characters with
unknown widths are 0 width.
Returns the precedence of default Haskell operators
Given a number encoded in Locator16, convert it back to an integer.
The default way to get number of semi-tones between notes in a single
element of
Intervals.
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)
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.