IdrisDoc: Debug.Trace

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