Idris2Doc : Node.Stream.Readable

Node.Stream.Readable

(source)

Reexports

import public Data.Maybe

Definitions

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

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

Implementations:
ReadableClass d Error StdIn
ReadableClass d Error (Socket t)
ReadableClass Buffer Error ClientHttp2Stream
ReadableClass Buffer Error ServerHttp2Stream
ReadableClass Buffer Error IncomingMessage
ReadableClass Buffer Error ReadStream
.onClose : ReadableClass d e r => HasIO io => r -> IO () -> io ()
Visibility: public export
.onData : ReadableClass d e r => HasIO io => r -> (d -> IO ()) -> io ()
Visibility: public export
.onEnd : ReadableClass d e r => HasIO io => r -> IO () -> io ()
Visibility: public export
.onError : ReadableClass d e r => HasIO io => r -> (e -> IO ()) -> io ()
Visibility: public export
.onPause : ReadableClass d e r => HasIO io => r -> IO () -> io ()
Visibility: public export
.onResume : ReadableClass d e r => HasIO io => r -> IO () -> io ()
Visibility: public export
.pause : ReadableClass d e r => HasIO io => r -> io ()
Visibility: public export
.resume : ReadableClass d e r => HasIO io => r -> io ()
Visibility: public export