Csongor Kiss

Results 19 issues of Csongor Kiss

`Symbol`s behave exactly like `String`s at the type-level. Imagining a future where PureScript has datatype-promotion with potentially function promotion as well (much like the `singletons` library for Haskell), the fact...

typechecker
type: breaking change

I took @arybczak's [benchmarks](https://gist.github.com/arybczak/257206ddead259659ecc91f410f97d61) and started experimenting with `generic-optics` a little. It seems that optimisations (unsurprisingly) are responsible for most of the compile-time overhead. I don't think much can be...

I removed this feature from `2.0.0.0` because the motivation for it was quite weak and I wasn't happy with the interface. However, if we can find a more consistent story...

I forgot to merge this. https://github.com/kcsongor/generic-lens/commit/2ecef62e20b4d60699e5a948afa59f1379741eb4

At the moment, in order to define a `Profunctor` instance, one needs to write all of `dimap`, `lmap` an `rmap` functions, but the latter two can be implemented in terms...

--- This change is [](https://reviewable.io/reviews/certusone/wormhole/1314)

This change is [](https://reviewable.io/reviews/certusone/wormhole/1309)

cherry-picked + rebased #1707 without the ability to send/receive transfers with payload through the sdk for now

This should not require a contract upgrade, as the packages are backwards compatible, but it allows integrators to more seamlessly build on wormhole, as the previous dependencies were fairly out...

sui