gneuvill
gneuvill
Hi, ``` scala def syncElems(e1: Elem, e2: Elem): Elem = { val fullAttrs = e1.attrs.filterNot(_._2.isEmpty) val newAttrs = e2.attrs.filterNot( at => fullAttrs.keys exists (at._1 == _)).filter( at => e1.attrs.keys exists...
Hi Jean-Baptiste, Let's say we have the following GADT : ``` java @data interface Seminar { interface Cases { R Init(SData.Core core, TypeEq __); R Temp(SData.Core core, SData.Add1 add1, TypeEq...
It may happen that value constructors of an ADT take, say, five or more arguments. The pattern matching clause generated by derive4j can then become a bit ugly (necessitating a...
Ex: ```java @Data @Derive(@Instances(Equal.class)) public interface VThing { interface Cases { R VThing(String... names); // or String[] } R match(Cases cases); } ``` Behaviour : no instances is searched after...
Hey, me again, the following haskell idiom seems currently not expressible using derive4j : ``` haskell data Stream a = forall s. Stream (s -> Step a s) s ```...
As @jbgi and I discussed on gitter. I wonder if we could get rid of a number of casts by instantiating TypeEq through method references....
This ```java __2 nasty() { return new __2() {}; } ``` compiles. It shouldn't.
That could be useful to enforce the use of a single representation of HKTs (i.e one of the three described here https://github.com/derive4j/hkt/issues/1#issuecomment-204116116) through a project
Local classes are classes declared inside methods or value constructors : there seems to be no use case for lifting those to type constructors.
# Additional information / # Exception trace An error occurred while processing translation files. Config: SINGLE => JSON (*.*) Path: /home/gneuvill/ur1/src/bal-tef/src/main/resources/balori/assets/i18n Please check examples at https://github.com/marhali/easy-i18n before reporting an issue!...