search

aol / cyclops

An advanced, but easy to use, platform for writing functional applications in Java 8.
Apache License 2.0
1.32k stars 136 forks source link

Create Higher and Higher2 interfaces to support higher kinded types via witness types #349

Closed johnmcclean closed 7 years ago

johnmcclean commented 7 years ago

Less strict alternatives to org.derive4j.hkt. and org.derive4j.hkt.2 to support retro-fitting HKT to 3rd party libraries that don't use them. Also see https://github.com/aol/cyclops-react/issues/347 and https://github.com/aol/cyclops/issues/228.

Higher should look roughly like this (where Convert allows conversion back to the core / base type)

public interface Higher<T1,T2> extends Convert<Higher<T1,T2>>{

}
johnmcclean commented 7 years ago

Merged in https://github.com/aol/cyclops-react/pull/339

johnmcclean commented 7 years ago

Moved to cyclops-higherkindedtypes : https://github.com/aol/cyclops/issues/228