Idris2Doc
: Debug.Trace
Index
Default
Alternative
Black & White
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