io.github.martinhh.derived.extras.union

Members list

Type members

Classlikes

case class InstanceWrapper[TC[_], A](instance: TC[A])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object arbitrary
object scalacheck
trait UnionCogens

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object cogen
object scalacheck
trait UnionShrinks

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object shrink
object arbitrary extends UnionArbitraries

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

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

Attributes

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

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

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

Attributes

Supertypes
trait UnionCogens
class Object
trait Matchable
class Any
Self type
cogen.type

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

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

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
trait UnionCogens
class Object
trait Matchable
class Any
Self type
scalacheck.type
object shrink extends UnionShrinks

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

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

Attributes

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