purescript-behaviors. Switcher semantics.

[Andrew Voron]

Hi. I need some clarification with purescript-behaviors.

Look, if we have such a stream:

testStream ∷ Event Int
testStream = sample_ aaa' (interval 500)

we expect it would tick every half-second, independently on how aaa' behavior had been obtained, right?

But if I get aaa' in this way:

aaa ∷ Event (Behavior Int)
aaa = (\key → pure key) <$> down


aaa' ∷ Behavior Int
aaa' = switcher (pure (-1)) aaa

it breakes our expectation, and fires after halfsecond after last switch happened.

I don't believe this is correct, what you mind?

[Phil Freeman]

This might be a bug. Could you please file an issue on the issue tracker?

[Andrew Voron]

Yes sure.

https://github.com/paf31/purescript-behaviors/issues/34