This project is part of the
@thi.ng/umbrella monorepo.
About
Reactive streams & subscription primitives for constructing dataflow graphs / pipelines.
This library provides & uses three key building blocks for reactive
programming:
- Stream sources: event targets, iterables, timers,
promises,watches, workers, manual-push...
- Subscriptions: chained stream processors, each subscribable
(one-tmany) itself
- Transducers: stream transformers, either as individual
subscription or to transform incoming values for a single
subscription. See packages/transducers) for 100+ composable operators.
- Recursive teardown: Whenever possible, and depending on
configuration, unsubscriptions initiate cleanup and propagate to
parent(s).
- Workers: highly configurable, web worker integration for
concurrent / parallel stream processing (fork-join, tunneled stream
processing, etc.)
Conceptual differences to RxJS
(No value judgments implied - there's room for both approaches!)
- Streams are not the same as Observables: I.e. stream sources are NOT
(often just cannot) re-run for each new sub added. Only the first sub
is guaranteed to receive all values. Subs added at a later time
MIGHT not receive earlier emitted values, but only the most recent
emitted and any future values
- Every subscription supports any number of subscribers, which can be
added/removed at any time
- Depending on configuration options, every unsubscription recursively
triggers upstream unsubscriptions (provided a parent has no other
active child subscriptions)
- Every subscription can have its own transducer transforming incoming
values (possibly into multiple new ones)
- Transducers can create streams themselves (only for
merge()
/sync()
) - Transducers can cause early stream termination and subsequent
unwinding for its parent and downstream subscriptions.
- Values can be manually injected into the stream pipeline / graph at
any point
- Unhandled errors in a subscription will move the subscription into an
error state and cause unsubscription from parent (if any). Unhandled
errors in stream sources will cancel the stream.
- Much smaller API surface, since most common & custom operations can
be solved via available transducers. Therefore there's less of a need
to provide specialized functions (map / filter etc.) and gain more
flexibility in terms of composing new operations.
- IMHO less confusing naming / terminology (only streams (producers) &
subscriptions (consumers))
Status
STABLE - used in production
Search or submit any issues for this package
Breaking changes in 5.0.0
Type inference for sync()
(aka StreamSync
), one of the main pillars of this
package, was semi-broken in earlier versions and has been updated to better
infer result types from the given object of input streams. For this work, input
sources now MUST be given as object (array form is not allowed anymore, see
below). Furthermore, the two generics have different meanings now and unless you
were using sync<any,any>(...)
these will need to be updated (or, better yet,
removed). See
source
for more details.
const main = sync({
src: {
a: reactive(23),
b: reactive("foo").map((x) => x.toUpperCase()),
c: reactive([1, 2])
}
});
main
's type can now be inferred as:
StreamSync<
{ a: Stream<number>, b: Subscription<string,string>, c: Stream<number[]> },
{ a: number, b: string, c: number[] }
>
If the xform
(transducer) option is given, the result will be inferred based
on the transducer's result type...
To compensate for the loss of specifying input sources as array (rather than as
an object), the autoObj()
reducer
has been added, allowing for quick conversion of an array into an object with
auto-labeled keys.
const main = sync({
src: autoObj("input", [reactive(23), reactive("foo"), reactive([1, 2])])
});
In this case the type of main
will be inferred as:
StreamSync<
IObjectOf<Stream<number> | Stream<string> | Stream<number[]>>,
IObjectOf<number | string | number[]>
>
Support packages
Related packages
Installation
yarn add @thi.ng/rstream
// ES module
<script type="module" src="https://unpkg.com/@thi.ng/rstream?module" crossorigin></script>
// UMD
<script src="https://unpkg.com/@thi.ng/rstream/lib/index.umd.js" crossorigin></script>
Package sizes (gzipped, pre-treeshake): ESM: 5.45 KB / CJS: 5.64 KB / UMD: 5.58 KB
Dependencies
Usage examples
Several demos in this repo's
/examples
directory are using this package.
A selection:
Screenshot | Description | Live demo | Source |
---|
| Interactive image processing (adaptive threshold) | Demo | Source |
| Figlet-style bitmap font creation with transducers | Demo | Source |
| Probabilistic color theme generator | Demo | Source |
| Basic crypto-currency candle chart with multiple moving averages plots | Demo | Source |
| Interactive pattern drawing demo using transducers | Demo | Source |
| Canvas based Immediate Mode GUI components | Demo | Source |
| Worker based, interactive Mandelbrot visualization | Demo | Source |
| Minimal Markdown to Hiccup to HTML parser / transformer | Demo | Source |
| Parser grammar livecoding editor/playground & codegen | Demo | Source |
| Interactive pixel sorting tool using thi.ng/color & thi.ng/pixel | Demo | Source |
| Demonstates various rdom usage patterns | Demo | Source |
| rdom & hiccup-canvas interop test | Demo | Source |
| Full umbrella repo doc string search w/ paginated results | Demo | Source |
| rdom powered SVG graph with draggable nodes | Demo | Source |
| Animated Voronoi diagram, cubic splines & SVG download | Demo | Source |
| Minimal demo of using rstream constructs to form an interceptor-style event loop | Demo | Source |
| Interactive grid generator, SVG generation & export, undo/redo support | Demo | Source |
| rstream based spreadsheet w/ S-expression formula DSL | Demo | Source |
| Fork-join worker-based raymarch renderer | Demo | Source |
| hdom based slide deck viewer & slides from my ClojureX 2018 keynote | Demo | Source |
| Transducer & rstream based hdom UI updates | Demo | Source |
API
Generated API docs
Common configuration options
Since version 3.0.0 all stream and subscription factory functions take
an optional object of configuration options with at least these keys
(each optional):
interface CommonOpts {
id: string;
closeIn: CloseMode;
closeOut: CloseMode;
cache: boolean;
}
Stream creation
Stream
Source: stream()
Creates a new Stream
instance, optionally with given StreamSource
function and / or ID. If a src
function is provided, the function
will be only called (with the Stream
instance as single argument)
once the first subscriber has attached to the stream. If the function
returns another function, it will be used for cleanup purposes if the
stream is cancelled, e.g. if the last subscriber has unsubscribed.
Streams are intended as (primarily async) data sources in a dataflow
graph and are the primary construct for the various from*()
functions provided by the package. However, streams can also be
triggered manually (from outside the stream), in which case the user
should call stream.next()
to cause value propagation.
a = stream<number>((s) => {
s.next(1);
s.next(2);
s.done();
});
a.subscribe(trace("a"));
b = stream<number>();
b.subscribe(trace("b1"));
b.subscribe(trace("b2"));
b.next(42);
IDeref support
Stream
(like all other types of Subscription
) implements the
@thi.ng/api
IDeref
interface which provides read access to a stream's last received value.
This is useful for various purposes, e.g. in combination with
@thi.ng/hdom, which supports direct embedding of streams (i.e. their
values) into UI components (and will be deref'd automatically). If the
stream has not yet emitted a value or if the stream is already done, it
will deref to undefined
.
Furthermore, all subscription types can be configured (via the cache
option) to NOT retain their last emitted value, in which case .deref()
will always return undefined
.
Subscription
Source: subscription()
Creates a new Subscription
instance, the fundamental datatype &
building block provided by this package (Stream
s are Subscription
s
too). Subscriptions can be:
- linked into directed graphs (if async, not necessarily DAGs)
- transformed using transducers (incl. early termination)
- can have any number of subscribers (optionally each w/ their own
transducer)
- recursively unsubscribe themselves from parent after their last
subscriber unsubscribed
- will go into a non-recoverable error state if NONE of the subscribers
has an error handler itself
- implement the @thi.ng/api
IDeref
interface
s = subscription<any, any>();
s.subscribe(trace("s1"));
s.subscribe(trace("s2"), tx.filter((x) => x > 25));
s.next(23);
s.next(42);
Other stream creation helpers
Meta streams
Source: metaStream()
MetaStream
s are streams of streams. A MetaStream
is a subscription
type which transforms each incoming value into a new stream, subscribes
to it (via an hidden / internal subscription) and then only passes
values from that stream to its own subscribers. If a new value is
received, the meta stream first unsubscribes from the possibly still
active stream created from the previous input, before creating and
subscribing to the new stream. Hence this stream type is useful for
cases where streams need to be dynamically and invisibly created &
inserted into an existing dataflow topology without changing it, and
with the guarantee that never more than one of these is active at the
same time. Similar behavior (without the restriction in number) can be
achieved using merge()
(see further below).
The user supplied factory
function will be called for each incoming
value and is responsible for creating the new stream instances. If the
function returns null
/ undefined
, no further action will be taken
(acts like a filter
transducer, i.e. the incoming value is simply
ignored).
a = metastream<number, string>(
(x) => (x & 1)
? fromIterable(tx.repeat("odd: " + x, 3), { delay: 100 })
: null
);
a.subscribe(trace())
a.next(23)
a.next(42)
a.next(43)
The factory function does NOT need to create new streams, but too can
merely return other existing streams, and so making the meta stream act
like a switch / stream selector.
If the meta stream is the only subscriber to these input streams, you'll
need to use the closeOut: CloseMode.NEVER
option when creating the
inputs. This keeps them alive and allows for dynamic switching between
them.
a = fromIterable(
tx.repeat("a"),
{ delay: 1000, closeOut: CloseMode.NEVER }
);
b = fromIterable(
tx.repeat("b"),
{ delay: 1000, closeOut: CloseMode.NEVER }
);
m = metaStream((x) => x ? a : b);
m.subscribe(trace("meta from: "));
m.next(true);
m.next(false);
m.next(true);
Stream merging
Unordered merge from multiple inputs (dynamic add/remove)
Source: merge()
Returns a new StreamMerge
instance, a subscription type consuming
inputs from multiple inputs and passing received values on to any
subscribers. Input streams can be added and removed dynamically. By
default, StreamMerge
calls done()
when the last active input is
done, but this behavior can be overridden via the close
option, using
CloseMode
enums.
merge({
src: [
fromIterable([1, 2, 3], { delay: 10 }),
fromIterable([10, 20, 30], { delay: 21 }),
fromIterable([100, 200, 300], { delay: 7 })
]
}).subscribe(trace());
Use the labeled()
transducer
for each input to create a stream of labeled values and track their
provenance:
merge({
src: [
fromIterable([1, 2, 3]).transform(tx.labeled("a")),
fromIterable([10, 20, 30]).transform(tx.labeled("b")),
]
}).subscribe(trace());
See
StreamMergeOpts
for further reference of the various behavior options.
Adding inputs automatically
If the StreamMerge
receives a Subscription
-like value from any of
its inputs, it will not be processed as usual, but instead will be added
as new input to the merge and then automatically remove once that stream
is exhausted.
a = stream().transform(tx.map((x) => fromIterable(tx.repeat(x, 3))));
b = fromInterval(1000);
merge({ src: [a, b] }).subscribe(trace());
a.next("a");
Synchronized merge and labeled tuple objects
Source: sync()
Similar to StreamMerge
above, but with extra synchronization of
inputs. Before emitting any new values, StreamSync
collects values
until at least one has been received from all inputs. Once that's the
case, the collected values are sent as labeled tuple object to
downstream subscribers. Each value in the emitted tuple objects is
stored under their input stream's ID. Only the last value received from
each input is passed on. After the initial tuple has been emitted, you
can choose from two possible behaviors:
- Any future change in any input will produce a new result tuple. These
tuples will retain the most recently read values from other inputs.
This behavior is the default and illustrated in the above schematic.
- If the
reset
option is true
, every input will have to provide at
least one new value again until another result tuple is produced.
Any done inputs are automatically removed. By default, StreamSync
calls done()
when the last active input is done, but this behavior can
be overridden via the close
constructor option, using CloseMode
enums.
const a = stream();
const b = stream();
s = sync<any,any>({ src: { a, b } }).subscribe(trace("result: "));
a.next(1);
b.next(2);
Input streams can be added and removed dynamically and the emitted tuple
size adjusts to the current number of inputs (the next time a value is
received from any input).
If the reset
option is enabled, the last emitted tuple is allowed to
be incomplete, by default. To only allow complete tuples, also set the
all
option to false
.
The synchronization is done via the
partitionSync()
transducer from the @thi.ng/transducers package. See this function's
docs for further details.
See
StreamSyncOpts
for further reference of the various behavior options.
Stream splitting
Topic based splitting
Source: pubsub()
Topic based stream splitter. Applies topic
function to each
received value and only forwards it to child subscriptions for
returned topic. The actual topic (return value from topic
fn) can
be of any type, apart from undefined
. Complex topics (e.g objects /
arrays) are allowed and they're matched with registered topics using
@thi.ng/equiv by default (but customizable via equiv
option).
Each topic can have any number of subscribers.
If a transducer is specified for the PubSub
, it is always applied
prior to passing the input to the topic function. I.e. in this case
the topic function will receive the transformed inputs.
PubSub supports dynamic topic subscriptions and unsubscriptions via
subscribeTopic()
and unsubscribeTopic()
. However, the standard
subscribe()
/ unsubscribe()
methods are NOT supported (since
meaningless here) and will throw an error! unsubscribe()
can only be
called WITHOUT argument to unsubscribe the entire PubSub
instance
(incl. all topic subscriptions) from the parent stream.
Splitting via predicate
Source: bisect()
Returns a new PubSub
instance using given predicate pred
as boolean
topic function and a
& b
as subscribers for truthy (a
) and falsy
b
values.
fromIterable([1, 2, 3, 4]).subscribe(
bisect((x) => !!(x & 1), trace("odd"), trace("even"))
);
If a
or b
need to be subscribed to directly, then a
/ b
MUST be
first created as Subscription
(if not already) and a reference kept
prior to calling bisect()
.
const odd = subscription();
const even = subscription();
odd.subscribe(trace("odd"));
odd.subscribe(trace("odd x10"), tx.map((x) => x * 10));
even.subscribe(trace("even"));
fromIterable([1, 2, 3, 4]).subscribe(bisect((x) => !!(x & 1), odd, even));
Side-chaining
Input chunking / buffering, controlled by sidechain
Source: sidechainPartition()
Buffers values from src
until side chain fires, then emits buffer
(unless empty) and repeats process until either input is done. By
default, the value read from the side chain is ignored, however the
optional predicate can be used to only trigger for specific values /
conditions.
merge([
fromEvent(document, "mousemove"),
fromEvent(document, "mousedown"),
fromEvent(document, "mouseup")
])
.subscribe(sidechainPartition(fromRAF()))
.subscribe(trace());
Input toggling, controlled by sidechain
Source: sidechainToggle()
Filters values from input based on values received from side chain. By
default, the value read from the side chain is ignored, however the
optional predicate can be used to only trigger for specific
values/conditions. Every time the predicate fn returns true, the filter
will be toggled on/off. Whilst switched off, no input values will be
forwarded.
fromInterval(500)
.subscribe(sidechainToggle(fromInterval(1000)))
.subscribe(trace());
...
Worker support
Parallel stream processing via workers
Source: forkJoin()
worker.ts
const $self: Worker = <any>self;
self.addEventListener("message", (e) => {
const { buf, factor } = e.data;
$self.postMessage(buf.map((x) => x * factor));
});
main.ts
const src = stream<number[]>();
forkJoin({
src: src,
fork: (id, numWorkers, buf) => {
const size = (buf.length / numWorkers) | 0;
return {
buf: id < numWorkers - 1
? buf.slice(id * size, (id + 1) * size)
: buf.slice(id * size),
factor: id * 10
};
},
join: (parts) => <number[]>Array.prototype.concat.apply([], parts),
// worker script
worker: "./worker.js",
// default: navigator.hardwareConcurrency
numWorkers: 4
}).subscribe(trace("results"));
src.next(new Array(16).fill(1));
// result: [0, 0, 0, 0, 10, 10, 10, 10, 20, 20, 20, 20, 30, 30, 30, 30]
Stream processing via workers
Source: tunnel()
Delegate stream value processing to workers and pass on their responses
to downstream subscriptions. Supports multiple worker instances and
worker termination / restart for each new stream value received.
Source: postWorker()
Send values to workers (incl. optional (inline) worker instantiation)
Source: fromWorker()
Create value stream from worker messages.
Other subscription ops
- debounce - ignore high frequency interim values
- resolve - resolve on-stream promises
- trace - debug helper
- transduce - transduce or just reduce an entire stream into a promise
- tween - stream interpolation
Authors
Maintainer
Contributors
If this project contributes to an academic publication, please cite it as:
@misc{thing-rstream,
title = "@thi.ng/rstream",
author = "Karsten Schmidt and others",
note = "https://thi.ng/rstream",
year = 2017
}
License
© 2017 - 2021 Karsten Schmidt // Apache Software License 2.0