Type Members

1.  case class BigSum[A, B](fns: (A) => Iterable[AdjDiffbleFunction[A, B]])(implicit evidence$13: LinearStructure[A], evidence$14: LinearStructure[B]) extends AdjDiffbleFunction[A, B] with Product with Serializable

   Big sum, with terms (via support) in general depending on the argument.

2.  case class Composition[A, B, C](f: AdjDiffbleFunction[A, B], g: AdjDiffbleFunction[B, C]) extends AdjDiffbleFunction[A, C] with Product with Serializable
3.  case class Diagonal[A]()(implicit evidence$15: LinearStructure[A]) extends AdjDiffbleFunction[A, (A, A)] with Product with Serializable
4.  case class DotProd[A, B](sc: Double, vect: AdjDiffbleFunction[A, B])(implicit evidence$16: LinearStructure[A], evidence$17: LinearStructure[B]) extends AdjDiffbleFunction[A, B] with Product with Serializable
5.  trait FormalExtension[A] extends AdjDiffbleFunction[A, A]
6.  case class Id[A]() extends AdjDiffbleFunction[A, A] with Product with Serializable
7.  case class Incl1[A, B]()(implicit evidence$1: LinearStructure[B]) extends AdjDiffbleFunction[A, (A, B)] with Product with Serializable
8.  case class Incl2[A, B]()(implicit evidence$2: LinearStructure[A]) extends AdjDiffbleFunction[B, (A, B)] with Product with Serializable
9.  case class IteratedDiffble[X](fn: AdjDiffbleFunction[X, X], n: Int) extends AdjDiffbleFunction[X, X] with Product with Serializable
10.  case class Oplus[A, B, C, D](first: AdjDiffbleFunction[A, B], second: AdjDiffbleFunction[C, D]) extends AdjDiffbleFunction[(A, C), (B, D)] with Product with Serializable
11.  case class Proj1[A, B]()(implicit evidence$3: LinearStructure[B]) extends AdjDiffbleFunction[(A, B), A] with Product with Serializable
12.  case class Proj2[A, B]()(implicit evidence$4: LinearStructure[A]) extends AdjDiffbleFunction[(A, B), B] with Product with Serializable
13.  case class ScProd[V]()(implicit evidence$9: LinearStructure[V], evidence$10: InnerProduct[V]) extends AdjDiffbleFunction[(Double, V), V] with Product with Serializable
14.  case class SelfAdj[A](func: (A) => A) extends AdjDiffbleFunction[A, A] with Product with Serializable
15.  case class Sum[A, B](first: AdjDiffbleFunction[A, B], second: AdjDiffbleFunction[A, B])(implicit evidence$18: LinearStructure[A], evidence$19: LinearStructure[B]) extends AdjDiffbleFunction[A, B] with Product with Serializable
16.  case class Zero[A, B]()(implicit evidence$20: LinearStructure[A], evidence$21: LinearStructure[B]) extends AdjDiffbleFunction[A, B] with Product with Serializable