Автоматически получать экземпляры для запечатанного ADT предсказуемо

Question

Можно ли автоматически создавать экземпляры для закрытых ADT?

Мне удалось создать с использованием библиотеки scalacheck-shapeless , но она создает случайные экземпляры для типов сумм. Я хотел бы создать каждый экземпляр для типа суммы предсказуемо.

Например:

sealed trait Base
case class BaseIntString(i: Int, s: String) extends Base
case class BaseDoubleBoolean(d: Double, b: Boolean) extends Base

Вопрос: Программа должна автоматически получить один экземпляр для BaseIntString и один для BaseDoubleBoolean предсказуемо.

Answer 1

Вы можете написать свое собственное происхождение от поколения, используя бесформенное, как описано здесь:

• http://enear.github.io/2016/09/27/bits-of-shapeless-1/
• http://enear.github.io/2016/09/27/bits-of-shapeless-2/

Также, есть пример получения структурного сравнения экземпляра класса типов с использованием этого руководства:

https://github.com/ivan71kmayshan27/ShapelesDerivationExample

Возможно, это выглядит как что вы хотите, вы можете принять участие в деривации и вставить туда свою собственную логику c.