Idris2Doc : Debug.Buffer

Debug.Buffer

Definitions

dumpBuffer : HasIOio=>Buffer->ioString
Visibility: export
printBuffer : HasIOio=>Buffer->io ()
Visibility: export