Idris2Doc : Node.Stream.Writeable

Node.Stream.Writeable

(source)

Definitions

unsafeWriteableOnClose : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeWriteableOnDrain : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeWriteableOnError : HasIOio=>a-> (e->IO ()) ->io ()
Visibility: export
unsafeWriteableOnFinish : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeWriteableOnPipe : HasIOio=>ReadableClassder=>a-> (r->IO ()) ->io ()
Visibility: export
unsafeWriteableOnUnpipe : HasIOio=>ReadableClassder=>a-> (r->IO ()) ->io ()
Visibility: export
unsafeWriteableCork : HasIOio=>a->io ()
Visibility: export
unsafeWriteableEnd : HasIOio=>a->IO () ->io ()
Visibility: export
unsafeWriteableWrite : HasIOio=>a->b->IO () ->io ()
Visibility: export
unsafeWriteableUncork : HasIOio=>a->io ()
Visibility: export
interfaceWriteableClass : Type->Type->Type->Type
  Writable stream

Parameters: d, e, w
Methods:
.onClose : HasIOio=>w->IO () ->io ()
.onDrain : HasIOio=>w->IO () ->io ()
.onError : HasIOio=>w-> (e->IO ()) ->io ()
.onFinish : HasIOio=>w->IO () ->io ()
.onPipe : HasIOio=>ReadableClassder=>w-> (r->IO ()) ->io ()
.onUnpipe : HasIOio=>ReadableClassder=>w-> (r->IO ()) ->io ()
.cork : HasIOio=>w->io ()
.end : HasIOio=>w->Maybe (IO ()) ->io ()
.write : HasIOio=>w->d->Maybe (IO ()) ->io ()
.uncork : HasIOio=>w->io ()

Implementations:
WriteableClassdErrorStdErr
WriteableClassdErrorStdOut
WriteableClassdError (Sockett)
WriteableClassBufferErrorClientHttp2Stream
WriteableClassBufferErrorServerHttp2Stream
WriteableClassBufferErrorServerResponse
WriteableClassBufferErrorClientRequest
.onClose : WriteableClassdew=>HasIOio=>w->IO () ->io ()
Visibility: public export
.onDrain : WriteableClassdew=>HasIOio=>w->IO () ->io ()
Visibility: public export
.onError : WriteableClassdew=>HasIOio=>w-> (e->IO ()) ->io ()
Visibility: public export
.onFinish : WriteableClassdew=>HasIOio=>w->IO () ->io ()
Visibility: public export
.onPipe : WriteableClassdew=>HasIOio=>ReadableClassder=>w-> (r->IO ()) ->io ()
Visibility: public export
.onUnpipe : WriteableClassdew=>HasIOio=>ReadableClassder=>w-> (r->IO ()) ->io ()
Visibility: public export
.cork : WriteableClassdew=>HasIOio=>w->io ()
Visibility: public export
.end : WriteableClassdew=>HasIOio=>w->Maybe (IO ()) ->io ()
Visibility: public export
.write : WriteableClassdew=>HasIOio=>w->d->Maybe (IO ()) ->io ()
Visibility: public export
.uncork : WriteableClassdew=>HasIOio=>w->io ()
Visibility: public export