Idris2Doc : System.UV.Pipe

System.UV.Pipe

(source)

Definitions

mkPipe : UVLoop => Has UVError es => Bool -> Async es (Ptr Pipe)
Totality: total
Visibility: export
pipeOpen : UVLoop => Has UVError es => File -> Async es (Ptr Pipe)
Totality: total
Visibility: export
stdinOpen : UVLoop => Has UVError es => Async es (Ptr Pipe)
Totality: total
Visibility: export
streamStdin : UVLoop => Has UVError es => AllocCB -> (Buffer (ReadRes ByteString) -> Async es a) -> Async es a
Totality: total
Visibility: export