IdrisDoc
: Debug.Trace
Index
Debug.Trace
trace
:
(
msg
:
String
) -> (
result
:
a
) ->
a
Print a message for debugging purposes as a side effect
msg
what to print
result
the final result