Skip to content
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
merged 17 commits into from May 21, 2015
Merged

Test most algebraic properties #72

merged 17 commits into from May 21, 2015

Conversation

milibopp
Copy link
Owner

@milibopp milibopp commented May 21, 2015

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

milibopp added 17 commits May 15, 2015
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.
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.
Making streams a monad may not be possible without an explicit notion of time.
Thus testing this is removed from this branch for now.
milibopp added a commit that referenced this issue May 21, 2015
Test most algebraic properties
@milibopp milibopp merged commit 9d2dcca into master May 21, 2015
2 checks passed
@milibopp milibopp 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
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant