Idris2Doc : Debug.Buffer

Debug.Buffer

Definitions

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