Idris2Doc : Node.Stream.Readable

Node.Stream.Readable

(source)

Reexports

importpublic Data.Maybe

Definitions

unsafeReadableOnClose : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeReadableOnData : HasIOio=>a-> (d->IO ()) ->io ()
Visibility: export
unsafeReadableOnEnd : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeReadableOnError : HasIOio=>a-> (e->IO ()) ->io ()
Visibility: export
unsafeReadableOnPause : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeReadableOnResume : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeReadablePause : HasIOio=>a->io ()
Visibility: export
unsafeReadableResume : HasIOio=>a->io ()
Visibility: export
interfaceReadableClass : Type->Type->Type->Type
  Readable stream in flowing mode

Parameters: d, e, r
Methods:
.onClose : HasIOio=>r->IO () ->io ()
.onData : HasIOio=>r-> (d->IO ()) ->io ()
.onEnd : HasIOio=>r->IO () ->io ()
.onError : HasIOio=>r-> (e->IO ()) ->io ()
.onPause : HasIOio=>r->IO () ->io ()
.onResume : HasIOio=>r->IO () ->io ()
.pause : HasIOio=>r->io ()
.resume : HasIOio=>r->io ()

Implementations:
ReadableClassdErrorStdIn
ReadableClassdError (Sockett)
ReadableClassBufferErrorClientHttp2Stream
ReadableClassBufferErrorServerHttp2Stream
ReadableClassBufferErrorIncomingMessage
ReadableClassBufferErrorReadStream
.onClose : ReadableClassder=>HasIOio=>r->IO () ->io ()
Visibility: public export
.onData : ReadableClassder=>HasIOio=>r-> (d->IO ()) ->io ()
Visibility: public export
.onEnd : ReadableClassder=>HasIOio=>r->IO () ->io ()
Visibility: public export
.onError : ReadableClassder=>HasIOio=>r-> (e->IO ()) ->io ()
Visibility: public export
.onPause : ReadableClassder=>HasIOio=>r->IO () ->io ()
Visibility: public export
.onResume : ReadableClassder=>HasIOio=>r->IO () ->io ()
Visibility: public export
.pause : ReadableClassder=>HasIOio=>r->io ()
Visibility: public export
.resume : ReadableClassder=>HasIOio=>r->io ()
Visibility: public export