scalacheck

io.github.martinhh.derived.extras.union.scalacheck

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

Graph
Supertypes
trait UnionCogens
class Object
trait Matchable
class Any
Self type
scalacheck.type

Members list

Givens

Inherited givens

transparent inline given arbUnion[X](using inline bg: UnionArbs[X]): Arbitrary[X]

Attributes

Inherited from:
UnionArbitraries
transparent inline given cogenUnion[X](using inline utc: UnionTypedCogens[X]): Cogen[X]

Attributes

Inherited from:
UnionCogens
transparent inline given unionGensMacro[X]: UnionArbs[X]

Attributes

Inherited from:
UnionArbitraries
transparent inline given unionTypedCogensMacro[X]: UnionTypedCogens[X]

Attributes

Inherited from:
UnionCogens