Jean-Baptiste G.

For a given ADT, `EnumAdt`, where all constructors take 0 parameters, then derive4j should derive: ``` java public static List values(); public static Option forConstructor(String); public static String constructorName(EnumAdt); public...

Apply DRY seriously: code base has too much duplicated code blocks. Add missing doc comments for not trivial stuff.

Remove local type classes instances and explicit type class arguments

3

If a local type class instance is lawful and coherent then it need to be a global implicit. Otherwise it should not exist and alternative implementation must be used. Explicit...

Call by need evaluation and lazy constructors

1

Alternative to #2015. Related to #1993: this should allows to implement the `Delay` typeclass for all module-based data type.

IList: add lazy constructor and instances for IList @@ Lazy

7

This an experiment to add a lazy constructor (`byNeed`) to `IList`. The main downside is that you cannot pattern match directly anymore. Eg. ```scala def uncons[B](n: => B, c: (A,...

add foldRightLazy / foldRightStrict to Foldable

6

Currently some `Foldable.foldRight` implementations are "lazy" (`Stream`, `EphemeralStream`), most others are not (eg. implemented in term of `reverse` + `foldLeft`). But the choice to implement `foldRight[A, B](fa: F[A], z: =>...

Make ApplicativePlus[F[_]] extends Applicative[F] with Plus[F]

3

Currently we have `ApplicativePlus[F[_]] extends Applicative[F] with PlusEmpty[F]`. That would become `ApplicativePlusEmpty[F[_]] extends ApplicativePlus[F] with PlusEmpty[F]` instead. That way we could have an instance of `ApplicativePlus` for, eg., `NonEmptyList`. `ApplicativePlus`...

Deprecate then remove all unsafe API

8

or at least move unsafe API under a `Unsafe` nested class (or better: a separate "unsafe" artefact) with all methods prefixed with `unsafe`. eg. `List.tail()`, `List.head()` should not be part...