:: String -> Text -package:pretty-simple
O(n) Convert a
String into a
Text. Performs
replacement on invalid scalar values, so
unpack .
pack is not
id:
>>> Data.Text.unpack (pack "\55555")
"\65533"
O(n) Convert a
String into a
Text.
Performs replacement on invalid scalar values, so
unpack .
pack is not
id:
>>> Data.Text.Lazy.unpack (Data.Text.Lazy.pack "\55555")
"\65533"
Show a process arg including speechmarks when necessary. Just for
debugging purposes, not functionally important.
O(n) Convert a
String into a
Text. Subject to
fusion. Performs replacement on invalid scalar values.
O(n) Convert a
String into a
Text.
Subject to fusion. Performs replacement on invalid scalar values.
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.