├── .gitignore ├── .hgignore ├── BUILDING.txt ├── LICENSE ├── README.md ├── alire.toml ├── bin └── .emptydir ├── dirx ├── dirx.gpr ├── dirx_build.gpr ├── dirx_examples.gpr └── src │ ├── dirx-observables.adb │ ├── dirx-observables.ads │ ├── dirx.ads │ └── examples │ ├── dirx-examples.adb │ ├── dirx-examples.ads │ ├── dirx-hash_recursive.adb │ ├── dirx-ls.adb │ └── dirx-lsr.adb ├── doc ├── .emptydir ├── Rx Design Guidelines.pdf ├── dependencies.graphml ├── dependencies.pdf ├── dispatcher.graphml ├── dispatcher.pdf ├── mergemap.graphml ├── mergemap.pdf ├── setup.graphml └── setup.pdf ├── examples ├── .gitignore ├── alire.toml ├── examples.gpr └── rxada_examples.gpr ├── lib └── .emptydir ├── obj ├── .emptydir └── lib │ └── .emptydir ├── rxada.geany ├── rxada.gpr ├── rxada_common.gpr ├── rxada_dev.gpr ├── rxada_lib.gpr ├── shippable.yml ├── src ├── body │ ├── rx-actions-typed.adb │ ├── rx-actions.adb │ ├── rx-contracts.adb │ ├── rx-debug-heavy.adb │ ├── rx-debug-observers.adb │ ├── rx-debug.adb │ ├── rx-defaults.adb │ ├── rx-dispatchers-immediate.adb │ ├── rx-dispatchers-pools.adb │ ├── rx-dispatchers-single.adb │ ├── rx-dispatchers.adb │ ├── rx-errors.adb │ ├── rx-impl-definite_observables.adb │ ├── rx-impl-definite_observers.adb │ ├── rx-impl-links.adb │ ├── rx-impl-shared_observer.adb │ ├── rx-impl-transformers.adb │ ├── rx-observables-image.adb │ ├── rx-observables.adb │ ├── rx-op-buffer.adb │ ├── rx-op-count.adb │ ├── rx-op-debounce.adb │ ├── rx-op-distinct.adb │ ├── rx-op-do_on.adb │ ├── rx-op-element_at.adb │ ├── rx-op-filter.adb │ ├── rx-op-flatmap.adb │ ├── rx-op-funnel.adb │ ├── rx-op-hold.adb │ ├── rx-op-last.adb │ ├── rx-op-length.adb │ ├── rx-op-limit.adb │ ├── rx-op-map.adb │ ├── rx-op-merge.adb │ ├── rx-op-no_op.adb │ ├── rx-op-observe_on.adb │ ├── rx-op-print.adb │ ├── rx-op-repeat.adb │ ├── rx-op-sample.adb │ ├── rx-op-scan.adb │ ├── rx-op-serialize.adb │ ├── rx-op-split.adb │ ├── rx-op-stopwatch.adb │ ├── rx-op-subscribe_on.adb │ ├── rx-op-take.adb │ ├── rx-operators.adb │ ├── rx-schedulers-pools.adb │ ├── rx-src-create.adb │ ├── rx-src-defer.adb │ ├── rx-src-empty.adb │ ├── rx-src-from.adb │ ├── rx-src-interval.adb │ ├── rx-src-just.adb │ ├── rx-src-ranges.adb │ ├── rx-src-start.adb │ ├── rx-src-timer.adb │ ├── rx-subscribe.adb │ ├── rx-subscriptions.adb │ ├── rx-tools-holders.adb │ ├── rx-tools-lazies.adb │ ├── rx-tools-semaphores.adb │ ├── rx-tools-shared_data.adb │ └── rx-traits-arrays.adb ├── bugs │ ├── b000.adb │ ├── b001_tagged.adb │ ├── b002_taskiface.adb │ ├── b003_taskleak.adb │ ├── b004_refleak.adb │ ├── finalize_leak.adb │ ├── holder_leak.adb │ ├── precedence.adb │ ├── rx-bugs-op_leak.adb │ ├── rx-bugs-support.adb │ ├── rx-bugs-support.ads │ ├── rx-bugs-testbed.adb │ └── rx-bugs.ads ├── main │ ├── rx-devel-main.adb │ ├── rx-devel.adb │ ├── rx-devel.ads │ ├── rx-devsupport.adb │ ├── rx-devsupport.ads │ ├── rx-examples-advanced.adb │ ├── rx-examples-basic.adb │ ├── rx-examples-minimal.adb │ ├── rx-examples-misc.adb │ ├── rx-examples-tests.adb │ ├── rx-examples-threading.adb │ ├── rx-examples.ads │ ├── rx-jsa2019.adb │ ├── rx-jsa2019.ads │ ├── rx-rst2017.adb │ └── rx-rst2017.ads ├── priv │ ├── rx-debug-heavy.ads │ ├── rx-debug-observers.ads │ ├── rx-debug.ads │ ├── rx-dispatchers-immediate.ads │ ├── rx-dispatchers-pools.ads │ ├── rx-dispatchers-single-lazy.ads │ ├── rx-dispatchers-single.ads │ ├── rx-dispatchers.ads │ ├── rx-impl-casts.ads │ ├── rx-impl-definite_observables.ads │ ├── rx-impl-definite_observers.ads │ ├── rx-impl-events.ads │ ├── rx-impl-holders.ads │ ├── rx-impl-links.ads │ ├── rx-impl-preservers.ads │ ├── rx-impl-shared_observer.ads │ ├── rx-impl-std.ads │ ├── rx-impl-transformers.ads │ ├── rx-impl-typed.ads │ ├── rx-impl.ads │ ├── rx-op-buffer.ads │ ├── rx-op-count.ads │ ├── rx-op-debounce.ads │ ├── rx-op-distinct.ads │ ├── rx-op-do_on.ads │ ├── rx-op-element_at.ads │ ├── rx-op-filter.ads │ ├── rx-op-flatmap.ads │ ├── rx-op-funnel.ads │ ├── rx-op-hold.ads │ ├── rx-op-last.ads │ ├── rx-op-length.ads │ ├── rx-op-limit.ads │ ├── rx-op-map.ads │ ├── rx-op-merge.ads │ ├── rx-op-no_op.ads │ ├── rx-op-observe_on.ads │ ├── rx-op-print.ads │ ├── rx-op-repeat.ads │ ├── rx-op-sample.ads │ ├── rx-op-scan.ads │ ├── rx-op-serialize.ads │ ├── rx-op-split.ads │ ├── rx-op-stopwatch.ads │ ├── rx-op-subscribe_on.ads │ ├── rx-op-take.ads │ ├── rx-op.ads │ ├── rx-src-create.ads │ ├── rx-src-defer.ads │ ├── rx-src-empty.ads │ ├── rx-src-from.ads │ ├── rx-src-interval.ads │ ├── rx-src-just.ads │ ├── rx-src-ranges.ads │ ├── rx-src-start.ads │ ├── rx-src-timer.ads │ ├── rx-src.ads │ ├── rx-tools-holders.ads │ ├── rx-tools-lazies.ads │ ├── rx-tools-semaphores.ads │ ├── rx-tools-shared_data.ads │ ├── rx-tools.ads │ ├── rx-traits-arrays.ads │ ├── rx-traits-definite_defaults.ads │ ├── rx-traits-indefinite_defaults.ads │ ├── rx-traits-iterable.ads │ └── rx-traits.ads ├── rx-actions-transform.ads ├── rx-actions-typed.ads ├── rx-actions.ads ├── rx-collections.ads ├── rx-contracts.ads ├── rx-conversions.ads ├── rx-defaults.ads ├── rx-definites.ads ├── rx-errors.ads ├── rx-factories.ads ├── rx-indefinites.ads ├── rx-numeric_observables.ads ├── rx-numeric_operators.ads ├── rx-observables-image.ads ├── rx-observables.ads ├── rx-operators.ads ├── rx-schedulers-pools.ads ├── rx-schedulers.ads ├── rx-std.ads ├── rx-subjects.ads ├── rx-subscribe.ads ├── rx-subscribers.ads ├── rx-subscriptions.ads ├── rx-traits-types.ads ├── rx-types.ads ├── rx-valueless.ads ├── rx.ads └── utests │ ├── rx-tests.adb │ └── rx-tests.ads └── trash └── bitbucket-pipelines.yml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/.gitignore -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- 1 | syntax: glob 2 | 3 | bin 4 | lib 5 | obj 6 | -------------------------------------------------------------------------------- /BUILDING.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/BUILDING.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/README.md -------------------------------------------------------------------------------- /alire.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/alire.toml -------------------------------------------------------------------------------- /bin/.emptydir: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dirx/dirx.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/dirx.gpr -------------------------------------------------------------------------------- /dirx/dirx_build.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/dirx_build.gpr -------------------------------------------------------------------------------- /dirx/dirx_examples.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/dirx_examples.gpr -------------------------------------------------------------------------------- /dirx/src/dirx-observables.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/dirx-observables.adb -------------------------------------------------------------------------------- /dirx/src/dirx-observables.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/dirx-observables.ads -------------------------------------------------------------------------------- /dirx/src/dirx.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/dirx.ads -------------------------------------------------------------------------------- /dirx/src/examples/dirx-examples.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/examples/dirx-examples.adb -------------------------------------------------------------------------------- /dirx/src/examples/dirx-examples.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/examples/dirx-examples.ads -------------------------------------------------------------------------------- /dirx/src/examples/dirx-hash_recursive.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/examples/dirx-hash_recursive.adb -------------------------------------------------------------------------------- /dirx/src/examples/dirx-ls.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/examples/dirx-ls.adb -------------------------------------------------------------------------------- /dirx/src/examples/dirx-lsr.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/dirx/src/examples/dirx-lsr.adb -------------------------------------------------------------------------------- /doc/.emptydir: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/Rx Design Guidelines.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/Rx Design Guidelines.pdf -------------------------------------------------------------------------------- /doc/dependencies.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/dependencies.graphml -------------------------------------------------------------------------------- /doc/dependencies.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/dependencies.pdf -------------------------------------------------------------------------------- /doc/dispatcher.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/dispatcher.graphml -------------------------------------------------------------------------------- /doc/dispatcher.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/dispatcher.pdf -------------------------------------------------------------------------------- /doc/mergemap.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/mergemap.graphml -------------------------------------------------------------------------------- /doc/mergemap.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/mergemap.pdf -------------------------------------------------------------------------------- /doc/setup.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/setup.graphml -------------------------------------------------------------------------------- /doc/setup.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/doc/setup.pdf -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/alire.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/examples/alire.toml -------------------------------------------------------------------------------- /examples/examples.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/examples/examples.gpr -------------------------------------------------------------------------------- /examples/rxada_examples.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/examples/rxada_examples.gpr -------------------------------------------------------------------------------- /lib/.emptydir: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /obj/.emptydir: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /obj/lib/.emptydir: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rxada.geany: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/rxada.geany -------------------------------------------------------------------------------- /rxada.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/rxada.gpr -------------------------------------------------------------------------------- /rxada_common.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/rxada_common.gpr -------------------------------------------------------------------------------- /rxada_dev.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/rxada_dev.gpr -------------------------------------------------------------------------------- /rxada_lib.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/rxada_lib.gpr -------------------------------------------------------------------------------- /shippable.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/shippable.yml -------------------------------------------------------------------------------- /src/body/rx-actions-typed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-actions-typed.adb -------------------------------------------------------------------------------- /src/body/rx-actions.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-actions.adb -------------------------------------------------------------------------------- /src/body/rx-contracts.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-contracts.adb -------------------------------------------------------------------------------- /src/body/rx-debug-heavy.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-debug-heavy.adb -------------------------------------------------------------------------------- /src/body/rx-debug-observers.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-debug-observers.adb -------------------------------------------------------------------------------- /src/body/rx-debug.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-debug.adb -------------------------------------------------------------------------------- /src/body/rx-defaults.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-defaults.adb -------------------------------------------------------------------------------- /src/body/rx-dispatchers-immediate.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-dispatchers-immediate.adb -------------------------------------------------------------------------------- /src/body/rx-dispatchers-pools.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-dispatchers-pools.adb -------------------------------------------------------------------------------- /src/body/rx-dispatchers-single.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-dispatchers-single.adb -------------------------------------------------------------------------------- /src/body/rx-dispatchers.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-dispatchers.adb -------------------------------------------------------------------------------- /src/body/rx-errors.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-errors.adb -------------------------------------------------------------------------------- /src/body/rx-impl-definite_observables.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-impl-definite_observables.adb -------------------------------------------------------------------------------- /src/body/rx-impl-definite_observers.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-impl-definite_observers.adb -------------------------------------------------------------------------------- /src/body/rx-impl-links.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-impl-links.adb -------------------------------------------------------------------------------- /src/body/rx-impl-shared_observer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-impl-shared_observer.adb -------------------------------------------------------------------------------- /src/body/rx-impl-transformers.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-impl-transformers.adb -------------------------------------------------------------------------------- /src/body/rx-observables-image.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-observables-image.adb -------------------------------------------------------------------------------- /src/body/rx-observables.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-observables.adb -------------------------------------------------------------------------------- /src/body/rx-op-buffer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-buffer.adb -------------------------------------------------------------------------------- /src/body/rx-op-count.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-count.adb -------------------------------------------------------------------------------- /src/body/rx-op-debounce.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-debounce.adb -------------------------------------------------------------------------------- /src/body/rx-op-distinct.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-distinct.adb -------------------------------------------------------------------------------- /src/body/rx-op-do_on.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-do_on.adb -------------------------------------------------------------------------------- /src/body/rx-op-element_at.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-element_at.adb -------------------------------------------------------------------------------- /src/body/rx-op-filter.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-filter.adb -------------------------------------------------------------------------------- /src/body/rx-op-flatmap.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-flatmap.adb -------------------------------------------------------------------------------- /src/body/rx-op-funnel.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-funnel.adb -------------------------------------------------------------------------------- /src/body/rx-op-hold.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-hold.adb -------------------------------------------------------------------------------- /src/body/rx-op-last.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-last.adb -------------------------------------------------------------------------------- /src/body/rx-op-length.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-length.adb -------------------------------------------------------------------------------- /src/body/rx-op-limit.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-limit.adb -------------------------------------------------------------------------------- /src/body/rx-op-map.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-map.adb -------------------------------------------------------------------------------- /src/body/rx-op-merge.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-merge.adb -------------------------------------------------------------------------------- /src/body/rx-op-no_op.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-no_op.adb -------------------------------------------------------------------------------- /src/body/rx-op-observe_on.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-observe_on.adb -------------------------------------------------------------------------------- /src/body/rx-op-print.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-print.adb -------------------------------------------------------------------------------- /src/body/rx-op-repeat.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-repeat.adb -------------------------------------------------------------------------------- /src/body/rx-op-sample.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-sample.adb -------------------------------------------------------------------------------- /src/body/rx-op-scan.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-scan.adb -------------------------------------------------------------------------------- /src/body/rx-op-serialize.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-serialize.adb -------------------------------------------------------------------------------- /src/body/rx-op-split.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-split.adb -------------------------------------------------------------------------------- /src/body/rx-op-stopwatch.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-stopwatch.adb -------------------------------------------------------------------------------- /src/body/rx-op-subscribe_on.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-subscribe_on.adb -------------------------------------------------------------------------------- /src/body/rx-op-take.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-op-take.adb -------------------------------------------------------------------------------- /src/body/rx-operators.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-operators.adb -------------------------------------------------------------------------------- /src/body/rx-schedulers-pools.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-schedulers-pools.adb -------------------------------------------------------------------------------- /src/body/rx-src-create.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-create.adb -------------------------------------------------------------------------------- /src/body/rx-src-defer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-defer.adb -------------------------------------------------------------------------------- /src/body/rx-src-empty.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-empty.adb -------------------------------------------------------------------------------- /src/body/rx-src-from.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-from.adb -------------------------------------------------------------------------------- /src/body/rx-src-interval.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-interval.adb -------------------------------------------------------------------------------- /src/body/rx-src-just.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-just.adb -------------------------------------------------------------------------------- /src/body/rx-src-ranges.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-ranges.adb -------------------------------------------------------------------------------- /src/body/rx-src-start.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-start.adb -------------------------------------------------------------------------------- /src/body/rx-src-timer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-src-timer.adb -------------------------------------------------------------------------------- /src/body/rx-subscribe.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-subscribe.adb -------------------------------------------------------------------------------- /src/body/rx-subscriptions.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-subscriptions.adb -------------------------------------------------------------------------------- /src/body/rx-tools-holders.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-tools-holders.adb -------------------------------------------------------------------------------- /src/body/rx-tools-lazies.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-tools-lazies.adb -------------------------------------------------------------------------------- /src/body/rx-tools-semaphores.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-tools-semaphores.adb -------------------------------------------------------------------------------- /src/body/rx-tools-shared_data.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-tools-shared_data.adb -------------------------------------------------------------------------------- /src/body/rx-traits-arrays.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/body/rx-traits-arrays.adb -------------------------------------------------------------------------------- /src/bugs/b000.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/b000.adb -------------------------------------------------------------------------------- /src/bugs/b001_tagged.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/b001_tagged.adb -------------------------------------------------------------------------------- /src/bugs/b002_taskiface.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/b002_taskiface.adb -------------------------------------------------------------------------------- /src/bugs/b003_taskleak.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/b003_taskleak.adb -------------------------------------------------------------------------------- /src/bugs/b004_refleak.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/b004_refleak.adb -------------------------------------------------------------------------------- /src/bugs/finalize_leak.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/finalize_leak.adb -------------------------------------------------------------------------------- /src/bugs/holder_leak.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/holder_leak.adb -------------------------------------------------------------------------------- /src/bugs/precedence.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/precedence.adb -------------------------------------------------------------------------------- /src/bugs/rx-bugs-op_leak.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/rx-bugs-op_leak.adb -------------------------------------------------------------------------------- /src/bugs/rx-bugs-support.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/rx-bugs-support.adb -------------------------------------------------------------------------------- /src/bugs/rx-bugs-support.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/rx-bugs-support.ads -------------------------------------------------------------------------------- /src/bugs/rx-bugs-testbed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/rx-bugs-testbed.adb -------------------------------------------------------------------------------- /src/bugs/rx-bugs.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/bugs/rx-bugs.ads -------------------------------------------------------------------------------- /src/main/rx-devel-main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-devel-main.adb -------------------------------------------------------------------------------- /src/main/rx-devel.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-devel.adb -------------------------------------------------------------------------------- /src/main/rx-devel.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-devel.ads -------------------------------------------------------------------------------- /src/main/rx-devsupport.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-devsupport.adb -------------------------------------------------------------------------------- /src/main/rx-devsupport.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-devsupport.ads -------------------------------------------------------------------------------- /src/main/rx-examples-advanced.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples-advanced.adb -------------------------------------------------------------------------------- /src/main/rx-examples-basic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples-basic.adb -------------------------------------------------------------------------------- /src/main/rx-examples-minimal.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples-minimal.adb -------------------------------------------------------------------------------- /src/main/rx-examples-misc.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples-misc.adb -------------------------------------------------------------------------------- /src/main/rx-examples-tests.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples-tests.adb -------------------------------------------------------------------------------- /src/main/rx-examples-threading.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples-threading.adb -------------------------------------------------------------------------------- /src/main/rx-examples.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-examples.ads -------------------------------------------------------------------------------- /src/main/rx-jsa2019.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-jsa2019.adb -------------------------------------------------------------------------------- /src/main/rx-jsa2019.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-jsa2019.ads -------------------------------------------------------------------------------- /src/main/rx-rst2017.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-rst2017.adb -------------------------------------------------------------------------------- /src/main/rx-rst2017.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/main/rx-rst2017.ads -------------------------------------------------------------------------------- /src/priv/rx-debug-heavy.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-debug-heavy.ads -------------------------------------------------------------------------------- /src/priv/rx-debug-observers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-debug-observers.ads -------------------------------------------------------------------------------- /src/priv/rx-debug.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-debug.ads -------------------------------------------------------------------------------- /src/priv/rx-dispatchers-immediate.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-dispatchers-immediate.ads -------------------------------------------------------------------------------- /src/priv/rx-dispatchers-pools.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-dispatchers-pools.ads -------------------------------------------------------------------------------- /src/priv/rx-dispatchers-single-lazy.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-dispatchers-single-lazy.ads -------------------------------------------------------------------------------- /src/priv/rx-dispatchers-single.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-dispatchers-single.ads -------------------------------------------------------------------------------- /src/priv/rx-dispatchers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-dispatchers.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-casts.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-casts.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-definite_observables.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-definite_observables.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-definite_observers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-definite_observers.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-events.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-events.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-holders.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-holders.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-links.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-links.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-preservers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-preservers.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-shared_observer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-shared_observer.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-std.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-std.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-transformers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-transformers.ads -------------------------------------------------------------------------------- /src/priv/rx-impl-typed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl-typed.ads -------------------------------------------------------------------------------- /src/priv/rx-impl.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-impl.ads -------------------------------------------------------------------------------- /src/priv/rx-op-buffer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-buffer.ads -------------------------------------------------------------------------------- /src/priv/rx-op-count.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-count.ads -------------------------------------------------------------------------------- /src/priv/rx-op-debounce.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-debounce.ads -------------------------------------------------------------------------------- /src/priv/rx-op-distinct.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-distinct.ads -------------------------------------------------------------------------------- /src/priv/rx-op-do_on.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-do_on.ads -------------------------------------------------------------------------------- /src/priv/rx-op-element_at.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-element_at.ads -------------------------------------------------------------------------------- /src/priv/rx-op-filter.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-filter.ads -------------------------------------------------------------------------------- /src/priv/rx-op-flatmap.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-flatmap.ads -------------------------------------------------------------------------------- /src/priv/rx-op-funnel.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-funnel.ads -------------------------------------------------------------------------------- /src/priv/rx-op-hold.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-hold.ads -------------------------------------------------------------------------------- /src/priv/rx-op-last.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-last.ads -------------------------------------------------------------------------------- /src/priv/rx-op-length.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-length.ads -------------------------------------------------------------------------------- /src/priv/rx-op-limit.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-limit.ads -------------------------------------------------------------------------------- /src/priv/rx-op-map.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-map.ads -------------------------------------------------------------------------------- /src/priv/rx-op-merge.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-merge.ads -------------------------------------------------------------------------------- /src/priv/rx-op-no_op.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-no_op.ads -------------------------------------------------------------------------------- /src/priv/rx-op-observe_on.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-observe_on.ads -------------------------------------------------------------------------------- /src/priv/rx-op-print.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-print.ads -------------------------------------------------------------------------------- /src/priv/rx-op-repeat.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-repeat.ads -------------------------------------------------------------------------------- /src/priv/rx-op-sample.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-sample.ads -------------------------------------------------------------------------------- /src/priv/rx-op-scan.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-scan.ads -------------------------------------------------------------------------------- /src/priv/rx-op-serialize.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-serialize.ads -------------------------------------------------------------------------------- /src/priv/rx-op-split.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-split.ads -------------------------------------------------------------------------------- /src/priv/rx-op-stopwatch.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-stopwatch.ads -------------------------------------------------------------------------------- /src/priv/rx-op-subscribe_on.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-subscribe_on.ads -------------------------------------------------------------------------------- /src/priv/rx-op-take.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op-take.ads -------------------------------------------------------------------------------- /src/priv/rx-op.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-op.ads -------------------------------------------------------------------------------- /src/priv/rx-src-create.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-create.ads -------------------------------------------------------------------------------- /src/priv/rx-src-defer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-defer.ads -------------------------------------------------------------------------------- /src/priv/rx-src-empty.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-empty.ads -------------------------------------------------------------------------------- /src/priv/rx-src-from.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-from.ads -------------------------------------------------------------------------------- /src/priv/rx-src-interval.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-interval.ads -------------------------------------------------------------------------------- /src/priv/rx-src-just.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-just.ads -------------------------------------------------------------------------------- /src/priv/rx-src-ranges.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-ranges.ads -------------------------------------------------------------------------------- /src/priv/rx-src-start.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-start.ads -------------------------------------------------------------------------------- /src/priv/rx-src-timer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src-timer.ads -------------------------------------------------------------------------------- /src/priv/rx-src.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-src.ads -------------------------------------------------------------------------------- /src/priv/rx-tools-holders.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-tools-holders.ads -------------------------------------------------------------------------------- /src/priv/rx-tools-lazies.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-tools-lazies.ads -------------------------------------------------------------------------------- /src/priv/rx-tools-semaphores.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-tools-semaphores.ads -------------------------------------------------------------------------------- /src/priv/rx-tools-shared_data.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-tools-shared_data.ads -------------------------------------------------------------------------------- /src/priv/rx-tools.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-tools.ads -------------------------------------------------------------------------------- /src/priv/rx-traits-arrays.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-traits-arrays.ads -------------------------------------------------------------------------------- /src/priv/rx-traits-definite_defaults.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-traits-definite_defaults.ads -------------------------------------------------------------------------------- /src/priv/rx-traits-indefinite_defaults.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-traits-indefinite_defaults.ads -------------------------------------------------------------------------------- /src/priv/rx-traits-iterable.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-traits-iterable.ads -------------------------------------------------------------------------------- /src/priv/rx-traits.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/priv/rx-traits.ads -------------------------------------------------------------------------------- /src/rx-actions-transform.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-actions-transform.ads -------------------------------------------------------------------------------- /src/rx-actions-typed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-actions-typed.ads -------------------------------------------------------------------------------- /src/rx-actions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-actions.ads -------------------------------------------------------------------------------- /src/rx-collections.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-collections.ads -------------------------------------------------------------------------------- /src/rx-contracts.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-contracts.ads -------------------------------------------------------------------------------- /src/rx-conversions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-conversions.ads -------------------------------------------------------------------------------- /src/rx-defaults.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-defaults.ads -------------------------------------------------------------------------------- /src/rx-definites.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-definites.ads -------------------------------------------------------------------------------- /src/rx-errors.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-errors.ads -------------------------------------------------------------------------------- /src/rx-factories.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-factories.ads -------------------------------------------------------------------------------- /src/rx-indefinites.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-indefinites.ads -------------------------------------------------------------------------------- /src/rx-numeric_observables.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-numeric_observables.ads -------------------------------------------------------------------------------- /src/rx-numeric_operators.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-numeric_operators.ads -------------------------------------------------------------------------------- /src/rx-observables-image.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-observables-image.ads -------------------------------------------------------------------------------- /src/rx-observables.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-observables.ads -------------------------------------------------------------------------------- /src/rx-operators.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-operators.ads -------------------------------------------------------------------------------- /src/rx-schedulers-pools.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-schedulers-pools.ads -------------------------------------------------------------------------------- /src/rx-schedulers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-schedulers.ads -------------------------------------------------------------------------------- /src/rx-std.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-std.ads -------------------------------------------------------------------------------- /src/rx-subjects.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-subjects.ads -------------------------------------------------------------------------------- /src/rx-subscribe.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-subscribe.ads -------------------------------------------------------------------------------- /src/rx-subscribers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-subscribers.ads -------------------------------------------------------------------------------- /src/rx-subscriptions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-subscriptions.ads -------------------------------------------------------------------------------- /src/rx-traits-types.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-traits-types.ads -------------------------------------------------------------------------------- /src/rx-types.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-types.ads -------------------------------------------------------------------------------- /src/rx-valueless.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx-valueless.ads -------------------------------------------------------------------------------- /src/rx.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/rx.ads -------------------------------------------------------------------------------- /src/utests/rx-tests.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/utests/rx-tests.adb -------------------------------------------------------------------------------- /src/utests/rx-tests.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/src/utests/rx-tests.ads -------------------------------------------------------------------------------- /trash/bitbucket-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mosteo/rxada/HEAD/trash/bitbucket-pipelines.yml --------------------------------------------------------------------------------