Idris2Doc : Debug.Buffer

Debug.Buffer

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