Csongor Kiss
Csongor Kiss
`pg-protected-undo` makes sure that when you undo, the proof state will be retracted to the point where the undo happened, and it seems to handle edits happening inside comments cleverly...
I think this is a good idea! There's no nice alternative that I'm aware of that achieves this goal in a satisfactory way. A lot of the lens derivation code...
I think this is a good idea, and it's definitely possible. Not sure what would be the best way to implement it though; perhaps we could reuse the logic behind...
Thanks for the heads up! After a long hiatus, I'm returning to working on generic-lens, there is a large pile of things that I'm currently trying to catch up on,...
So what you need is to say that `x` can be partitioned into `a` and `b`? I've thought about this before, but I can't think of a nice story around...
The `HasField'` class in its implementation is identical to the `HasField` one, but because the types are known not to change, it does less computation, and thus compiles faster. There...
Yes, indeed that sounds like a good idea - thanks for pointing it out!
You mean checking that, say, viewing a concrete value's field with a lens simplifies to just a single pattern match?
Thanks! My plan is to first finish off and merge https://github.com/kcsongor/generic-lens/pull/104 then I'll add this one on top.
I've thought about this, and I think a nicer general solution would be deriving an Iso between more general product types. So ```haskell data T1 a b c = T1...