Idris2Doc
: Data.Buffer.Ext
Index
Default
Alternative
Black & White
Data.Buffer.Ext
(
source
)
Reexports
import
public
Data.Buffer
Definitions
newBuffer
:
HasIO
io
=>
Nat
->
io
Buffer
Visibility
:
export