Type Members

1.  class Derevo extends AnyRef
2.  trait Derivation[TC[_]] extends InstanceDef
3.  type DerivationBi1[TC[f[_, _]]] = DerivationKN2[TC]
4.  type DerivationBi2[TC[alf[bf[_, _]]]] = DerivationKN11[TC]
5.  type DerivationBiTr[TC[T[f[_, _], a, b]]] = DerivationKN17[TC]
6.  type DerivationHK[TC[alg[f[_]]]] = DerivationKN3[TC]
7.  type DerivationK1[TC[f[_]]] = DerivationKN1[TC]
8.  type DerivationK2[TC[alg[f[_]]]] = DerivationKN3[TC]
9.  trait DerivationKN1[TC[f[_]]] extends InstanceDef
10.  trait DerivationKN11[TC[alg[bf[_, _]]]] extends InstanceDef
11.  trait DerivationKN17[TC[alg[btr[_, _], _, _]]] extends InstanceDef
12.  trait DerivationKN2[TC[bf[_, _]]] extends InstanceDef
13.  trait DerivationKN3[TC[alg[f[_]]]] extends InstanceDef
14.  trait DerivationKN4[TC[tr[f[_], _]]] extends InstanceDef
15.  trait DerivationKN5[TC[tf[_, _, _]]] extends InstanceDef
16.  type DerivationTr[TC[T[f[_], a]]] = DerivationKN4[TC]
17.  type DerivationTri1[TC[f[_, _, _]]] = DerivationKN5[TC]
18.  abstract type InjectInstancesHere >: Null
19.  sealed trait InstanceDef extends AnyRef
20.  trait NewTypeDerivation[TC[_]] extends AnyRef
21.  final class NewTypeRepr[TC[_], R] extends AnyVal

    Utilitary holder for the newtype instance derivation

22.  trait PolyDerivation[FromTC[_], ToTC[_]] extends InstanceDef
23.  class delegating extends Annotation with StaticAnnotation
24.  macro class derive extends Annotation with StaticAnnotation

    Annotations

    @compileTimeOnly("macro annotation could not be expanded (since these are experimental, you must enable them with -Ymacro-annotations)")

25.  class phantom extends Annotation with StaticAnnotation