Idris2Doc : Debug.Trace

Debug.Trace

Definitions

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