ArbDerivation

uk.gov.hmrc.scalatestaccessibilitylinter.helpers.ArbDerivation
trait ArbDerivation extends AutoDerivation[Arbitrary]

Attributes

Graph
Supertypes
trait AutoDerivation[Arbitrary]
trait Derivation[Arbitrary]
trait CommonDerivation[Arbitrary]
class Object
trait Matchable
class Any
Show all
Known subtypes

Members list

Type members

Types

type Typeclass[T] = Arbitrary[T]

Value members

Abstract methods

def parameters: Parameters

Concrete methods

override def join[T](ctx: CaseClass[Arbitrary, T]): Arbitrary[T]

Attributes

Definition Classes
CommonDerivation
override def split[T](ctx: SealedTrait[Arbitrary, T]): Arbitrary[T]

Attributes

Definition Classes
Derivation

Inherited methods

inline def `getParams__`[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], inheritedAnnotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], defaults: Map[String, Option[() => Any]], idx: Int): List[Param[Typeclass, T]]

Attributes

Inherited from:
CommonDerivation
inline def derived[A](using Of[A]): Arbitrary[A]

Attributes

Inherited from:
Derivation
inline def derivedMirror[A](using mirror: Of[A]): Arbitrary[A]

Attributes

Inherited from:
Derivation
inline def derivedMirrorProduct[A](product: ProductOf[A]): Arbitrary[A]

Attributes

Inherited from:
CommonDerivation
inline def derivedMirrorSum[A](sum: SumOf[A]): Arbitrary[A]

Attributes

Inherited from:
Derivation
inline def getParams[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], idx: Int): List[Param[Typeclass, T]]

Attributes

Inherited from:
CommonDerivation
inline def getParams_[T, Labels <: Tuple, Params <: Tuple](annotations: Map[String, List[Any]], inheritedAnnotations: Map[String, List[Any]], typeAnnotations: Map[String, List[Any]], repeated: Map[String, Boolean], idx: Int): List[Param[Typeclass, T]]

Attributes

Inherited from:
CommonDerivation
transparent inline def subtypes[T, SubtypeTuple <: Tuple](m: SumOf[T], idx: Int): List[Subtype[Typeclass, T, _]]

Attributes

Inherited from:
Derivation

Givens

Inherited givens

inline given autoDerived[A](using Of[A]): Arbitrary[A]

Attributes

Inherited from:
AutoDerivation