zio-test-magnolia/zio.test.magnolia/DeriveDiff

DeriveDiff

object DeriveDiff extends AutoDerivation[Diff] with LowPri
trait LowPri
class Object
trait Matchable
class Any

Type members

Inherited types

type Typeclass[T] = TypeClass[T]
Inherited from:
CommonDerivation

Value members

Concrete methods

def join[A](caseClass: CaseClass[Diff, A]): Diff[A]
def split[A](ctx: SealedTrait[Diff, A]): Diff[A]

Inherited methods

inline def derived[A](using Of[A]): TypeClass[A]
Inherited from:
Derivation
inline def derivedMirror[A](using mirror: Of[A]): TypeClass[A]
Inherited from:
Derivation
inline def derivedMirrorProduct[A](product: ProductOf[A]): TypeClass[A]
Inherited from:
CommonDerivation
inline def derivedMirrorSum[A](sum: SumOf[A]): TypeClass[A]
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]]
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]]
Inherited from:
CommonDerivation
transparent inline def subtypes[T, SubtypeTuple <: Tuple](m: SumOf[T], idx: Int): List[Subtype[Typeclass, T, _]]
Inherited from:
Derivation

Givens

Inherited givens

given autoDerived[A](using Of[A]): TypeClass[A]
Inherited from:
AutoDerivation
given fallback[A]: Diff[A]
Inherited from:
LowPri

Implicits

Implicits

implicit inline def gen[A : Of]: Diff[A]