Idris2Doc : Debug.Trace

Debug.Trace

Definitions

trace : String->a->a
Totality: total
Visibility: export
traceValBy : (a->String) ->a->a
Totality: total
Visibility: export
traceVal : Showa=>a->a
Totality: total
Visibility: export