Idris2Doc : Debug.Buffer

Debug.Buffer

dumpBuffer : HasIO io => Buffer -> io String
  
printBuffer : HasIO io => Buffer -> io ()