dhall-eta
dhall-eta copied to clipboard
eta-lang
A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall
* Mentioned in twitter by @talios * It would make dramatically easier to use in existing java/jvm projects * It has the downside that it includes classes from eta, its...
Now it only suggests download the uberjar. It should mention: * Include the library in a eta application via etlas, adding it int `.cabal`or `etlas.dhall` config file * Include the...
* Due a [eta bug](https://github.com/typelead/eta/issues/907) we had to use `List JByte` instead `JByteArray` * We can replace them in `decodeWithVersion` and [`encodeWithVersion`](https://github.com/eta-lang/dhall-eta/blob/master/src/main/eta/Dhall/Eta/Binary.hs#L108) * Then, we should remove the converting code:...
* The haskell implementation of Normalize if polymorphic on both type parameters `s` and `a` * Unfortunately the java wrapper cant "thread" the polymorphism from java to haskell using the...
* Some definitions are [already written](https://github.com/eta-lang/dhall-eta/blob/master/src/main/eta/Dhall/Eta.hs#L406) but left most of the work * In haskell starts here: https://github.com/dhall-lang/dhall-haskell/blob/master/dhall/src/Dhall.hs#L1047