Idris2Doc : System.UV.Pipe

System.UV.Pipe

(source)

Definitions

mkPipe : UVLoop=>HasUVErrores=>Bool->Asynces (PtrPipe)
Totality: total
Visibility: export
pipeOpen : UVLoop=>HasUVErrores=>File->Asynces (PtrPipe)
Totality: total
Visibility: export
stdinOpen : UVLoop=>HasUVErrores=>Asynces (PtrPipe)
Totality: total
Visibility: export
streamStdin : UVLoop=>HasUVErrores=>AllocCB-> (Buffer (ReadResByteString) ->Asyncesa) ->Asyncesa
Totality: total
Visibility: export