Idris2Doc
: Debug.Buffer
Index
Default
Alternative
Black & White
Debug.Buffer
Definitions
dumpBuffer
:
HasIO
io
=>
Buffer
->
io
String
Visibility
:
export
printBuffer
:
HasIO
io
=>
Buffer
->
io
()
Visibility
:
export