io.github.martinhh.derived

Members list

Type members

Classlikes

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object cogen
object scalacheck
trait CogenSumInstanceSummoner[T, Elem]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
object arbitrary

Public "API-entry-point" for derivation of Arbitrary-instances.

Public "API-entry-point" for derivation of Arbitrary-instances.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
arbitrary.type
object cogen extends CogenDeriving

Public "API-entry-point" for derivation of Cogen-instances.

Public "API-entry-point" for derivation of Cogen-instances.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
cogen.type
object scalacheck extends CogenDeriving

Public "API-entry-point" for derivation of scalacheck-typeclass-instances.

Public "API-entry-point" for derivation of scalacheck-typeclass-instances.

This does not provide derivation of Shrink-instances as that might not always be desired. You can opt in to derivation of Shrink-instances via shrink.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
scalacheck.type
object shrink

Public "API-entry-point" for derivation of Shrink-instances.

Public "API-entry-point" for derivation of Shrink-instances.

Note that derivation increases compile-time and that there is a (non-shrinking) fallback Shrink[T] for any type T provided by org.scalacheck.Shrink.shrinkAny. So: only use this if your need for shrinking justifies the extra compile-time overhead.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
shrink.type