Csongor Kiss
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...
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...
Testing
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...