New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Test most algebraic properties #72

merged 17 commits into from May 21, 2015


None yet
1 participant

aepsil0n commented May 21, 2015

This PR addresses most of #55 and fixes #15 along the way as a prerequisite.

aepsil0n added some commits May 15, 2015

Test two signals for equality
The new function simply creates a `Signal<bool>` that tracks the equality of
the input signals. Frequently asserting that it samples as `true` is the way to
test the equality of the input signals.
Revise the transaction system
For coalesce to work properly, there need to be two stages of
end-of-transaction callback execution. In the first stage, callbacks that might
spawn new events are called. This stage is repeated until no further callbacks
remain. (Note that each callback execution can register new callbacks.) In the
second stage actual finalizers are called. These do nothing but update pending
values. Their side-effects should always be local, so that this actually
finalizes the transaction.
Give up on monadic streams for now
Making streams a monad may not be possible without an explicit notion of time.
Thus testing this is removed from this branch for now.

aepsil0n added a commit that referenced this pull request May 21, 2015

Merge pull request #72 from aepsil0n/algebra-tests
Test most algebraic properties

@aepsil0n aepsil0n merged commit 9d2dcca into master May 21, 2015

2 checks passed

continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed

@aepsil0n aepsil0n deleted the algebra-tests branch May 21, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment