2018-11-22 16:41:46 +01:00
|
|
|
/** PURE_IMPORTS_START _Observable PURE_IMPORTS_END */
|
|
|
|
import { Observable } from '../Observable';
|
|
|
|
export var EMPTY = /*@__PURE__*/ new Observable(function (subscriber) { return subscriber.complete(); });
|
|
|
|
export function empty(scheduler) {
|
|
|
|
return scheduler ? emptyScheduled(scheduler) : EMPTY;
|
|
|
|
}
|
2019-06-04 14:29:48 +02:00
|
|
|
function emptyScheduled(scheduler) {
|
2018-11-22 16:41:46 +01:00
|
|
|
return new Observable(function (subscriber) { return scheduler.schedule(function () { return subscriber.complete(); }); });
|
|
|
|
}
|
|
|
|
//# sourceMappingURL=empty.js.map
|