Idris2Doc : Debug.Buffer

Debug.Buffer

dumpBuffer : HasIOio => Buffer -> io String
printBuffer : HasIOio => Buffer -> ioUnit