Packages

trait Derive[F[_], Typeclass[_]] extends AnyRef

Derive[F, Typeclass] represents a universally quantified function from Typeclass[A] to Typeclass[F[A]] for some F[_]. You can think of Derive as a "recipe" for building a Typeclass[F[A]] instance given a Typeclass[A].

For example, if we know how to compare values of type A for equality then we can compare lists with elements of type A for equality by checking that the length of the lists is the same and each pair of corresponding elements are equal. And we can do this for any type A as long as it has an Equal instance.

This is used by the library to derive typeclass instances for higher kinded types given typeclass instances for the type they are parameterized on.

Linear Supertypes
AnyRef, Any
Known Subclasses
AssociativeBothDeriveEqualInvariant, AssociativeEitherDeriveEqualInvariant, AssociativeFlattenCovariantDeriveEqual, CommutativeBothDeriveEqualInvariant, CommutativeEitherDeriveEqualInvariant, ContravariantDeriveEqual, CovariantDeriveEqual, CovariantDeriveEqualIdentityFlatten, DeriveEqualForEach, DeriveEqualIdentityBothInvariant, DeriveEqualIdentityEitherInvariant, DeriveEqualNonEmptyForEach
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Derive
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def derive[A](implicit arg0: Typeclass[A]): Typeclass[F[A]]