endgame

Scanning over the discussions, there are a few threads here. I will summarise them all so that this can hopefully get merged: 1. A way to lift `Handle`-creating functions into...

> 3\. Decide whether or not to switch the return types to `RIO (Handle, x)` for the sake of the tuple's `Functor` instance. I will not be making a bug...

I have nothing further to add, and I don't know when I'll next try linear stuff in a project. Probably best to get this out as-is and see if further...

Another thought: could this be a standalone library instead of being integrated into reflex itself?

Thanks for your thoughts. I haven't thought much about this as my laptop died recently, but I was wrong in my initial issue: `semialign` depends upon `these`, so I think...

I remember the problem. Neither `semialign` nor `filterable` depend on each other. I have filed https://github.com/isomorphism/these/issues/115 to find out whether I can add the `filterable` dependency and put this in...

I have filed isomorphism/these#116 , which provides the generic versions of `diff` (generalised `diffMap`), `diffNoEq` (generalised `diffMapNoEq`) and `patch` (generalised `applyMap`; I think the asymptotics for `patch` are the same...

The PR on isomorphism/these was closed as `witherable` adds a transitive dependency on `lens`. I'm playing with these ideas in https://github.com/qfpl/semialign-diff . I don't yet have a good story for...

I've had a bit of a chat to @ryantrinkle on freenode#reflex-frp about some of this (I'm `jackdk` on IRC), but I need something longer-form to explain everything, and the tradeoffs...

I just released `semialign-extras`, which provides a generalised diff for semialigns: https://hackage.haskell.org/package/semialign-extras-0.1.0.0/docs/Data-Semialign-Diff.html#v:diff A rewrite rule could potentially replace calls to `diff` with optimised ones using the map interface, but I...