bearriver: the function reactimate is API-incompatible

[ivanperez-keera]

The function reactimate doesn't have the same signature as in Yampa: in bearriver it forces the monad of the SF to be the same as the monad of the sensing/actimation actions and reactimate itself, but a Yampa SF is mapped to a Bearriver SF on the Identity monad.

This makes modules that use Yampa's reactimate not API-compatible with bearriver.

Bearriver's FRP.Yampa module should hide FRP.BearRiver.reactimate and define one in FRP.Yampa that has the same signature as Yampa's (likely relying on FRP.BearRiver.reactimate via a qualified import).

[ivanperez-keera]

If someone wants to do this, please go ahead and send a PR.

Please create 2 commits:

• Commit 1: Hide reactimate in the unqualified import of FRP.Bearriver in FRP.Yampa (https://github.com/ivanperez-keera/dunai/blob/develop/dunai-frp-bearriver/src/FRP/Yampa.hs#L12). Introduce a new reactimate in bearriver's FRP.Yampa module that has the same signature as Yampa's. Implement it as needed. See dunai's morphS and rely of bearriver's reactimate if appropriate.
• Commit 2: Update bearriver's changelog.

Please check out the recent history of this repository to see how we normally document commits, and how we link commits to issues in the subject line of the commit messages. Make sure you use Refs <#issuenumber> in the summary line, etc. I like being very regular and explicit with commit messages.

There was a similar issue with embed recently. The following two commits may help understand how to best document the changes and write the commit messages:

b23a4fe
9210f04

[solomon-b]

I'm trying to implement this with morphS and running into some trouble.

BR.reactimate senseI sense actuate (_ sf)

This hole is SF a b -> BR.SF m a b. So we need to write this:

    foldIdentity :: Monad m => SF a b -> BR.SF m a b
    foldIdentity = morphS $ pure . _ . MSF.runReader

But now I need (DTime -> c) -> c and have no obvious way to produce a DTime.

[ivanperez-keera]

I think the clue is:

foldIdentity :: Monad m => SF a b -> BR.SF m a b
foldIdentity = morphS $ mapReaderT $ return . runIdentity

[ivanperez-keera]

Hi @solomon-b . Did you get a chance to try this idea?

[solomon-b]

Not yet, but I plan to work on it this weekend.