Cary Robbins
Cary Robbins
Currently, for newtypes we generate a `Coercible[O, N]` instance where `O` is the original type and `N` is the newtype. While this is perfectly fine, we go a step further...
The current encoding allows for some unsafe type ascriptions. While this would basically never happen in a real world scenario, we should still look into improving the encoding. Here's an...
@alexknvl [pointed out](https://twitter.com/alexknvl/status/969019308138430464) that it's possible to encode newtypes in such a way that casting Arrays with `asInstanceOf` will work (which means Coercible can work too). Here's a simple adaptation...
Is it possible to derive a codec which supports writing/reading untagged ADTs? Something like Aeson's [UntaggedValue](https://hackage.haskell.org/package/aeson-1.4.6.0/docs/Data-Aeson.html#t:SumEncoding), of course with some caveat that the encodings must be disjoint. I am deserializing...
While I think it's valuable to have an FFI mechanism in Eta, I think it might be immensely beneficial to support direct Java interop in some way by default, similar...
The following Eta Repl commands would be helpful for implementing IDE support - * [x] `:browse` - List all names exported by a module. * [ ] `:type-at` - Show...
From the IntelliJ Platform SDK DevGuide - > **Warning!** When writing new plugins, creating components should be avoided. Any existing components should be migrated to services, extensions, or listeners (see...
Getting the dreaded `Couldn't find any pixel format that matches the criterias` error when running the example. **Hardware**: Dell XPS 9650 **OS**: Linux 4.13.3-1-ARCH **Window Manager**: xmonad 0.13-9 **Backtrace** ```...
Let's imagine we have something like the following in our package.yaml - ```yaml when: - condition: flag(prod) then: ghc-options: - -Wall - -Werror else: ghc-options: - -Wall ``` It seems...