Idris2Doc : Node.Stream.Writeable

Node.Stream.Writeable

(source)

Definitions

unsafeWriteableOnClose : HasIO io => a -> IO () -> io ()
Visibility: export
unsafeWriteableOnDrain : HasIO io => a -> IO () -> io ()
Visibility: export
unsafeWriteableOnError : HasIO io => a -> (e -> IO ()) -> io ()
Visibility: export
unsafeWriteableOnFinish : HasIO io => a -> IO () -> io ()
Visibility: export
unsafeWriteableOnPipe : HasIO io => ReadableClass d e r => a -> (r -> IO ()) -> io ()
Visibility: export
unsafeWriteableOnUnpipe : HasIO io => ReadableClass d e r => a -> (r -> IO ()) -> io ()
Visibility: export
unsafeWriteableCork : HasIO io => a -> io ()
Visibility: export
unsafeWriteableEnd : HasIO io => a -> IO () -> io ()
Visibility: export
unsafeWriteableWrite : HasIO io => a -> b -> IO () -> io ()
Visibility: export
unsafeWriteableUncork : HasIO io => a -> io ()
Visibility: export
interface WriteableClass : Type -> Type -> Type -> Type
  Writable stream

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

Implementations:
WriteableClass d Error StdErr
WriteableClass d Error StdOut
WriteableClass d Error (Socket t)
WriteableClass Buffer Error ClientHttp2Stream
WriteableClass Buffer Error ServerHttp2Stream
WriteableClass Buffer Error ServerResponse
WriteableClass Buffer Error ClientRequest
.onClose : WriteableClass d e w => HasIO io => w -> IO () -> io ()
Visibility: public export
.onDrain : WriteableClass d e w => HasIO io => w -> IO () -> io ()
Visibility: public export
.onError : WriteableClass d e w => HasIO io => w -> (e -> IO ()) -> io ()
Visibility: public export
.onFinish : WriteableClass d e w => HasIO io => w -> IO () -> io ()
Visibility: public export
.onPipe : WriteableClass d e w => HasIO io => ReadableClass d e r => w -> (r -> IO ()) -> io ()
Visibility: public export
.onUnpipe : WriteableClass d e w => HasIO io => ReadableClass d e r => w -> (r -> IO ()) -> io ()
Visibility: public export
.cork : WriteableClass d e w => HasIO io => w -> io ()
Visibility: public export
.end : WriteableClass d e w => HasIO io => w -> Maybe (IO ()) -> io ()
Visibility: public export
.write : WriteableClass d e w => HasIO io => w -> d -> Maybe (IO ()) -> io ()
Visibility: public export
.uncork : WriteableClass d e w => HasIO io => w -> io ()
Visibility: public export