Type Members

1.  case class DepFuncPolyRep[U <: Term with Subs[U], W, X <: Term with Subs[X], Y](domrep: ScalaPolyRep[U, W], codrep: ScalaPolyRep[X, Y]) extends ScalaPolyRep[FuncLike[U, X], (W) => Y] with Product with Serializable
2.  case class ExtendedDepFunction[U <: Term with Subs[U], V, X <: Term with Subs[X], Y](dfn: (V) => Y, domrep: ScalaPolyRep[U, V], codomrep: ScalaPolyRep[X, Y], fibers: Func[U, Typ[X]]) extends FuncLike[U, X] with Product with Serializable
3.  case class ExtendedFunction[U <: Term with Subs[U], V, X <: Term with Subs[X], Y](dfn: (V) => Y, domrep: ScalaPolyRep[U, V], codomrep: ScalaPolyRep[X, Y], typ: FuncTyp[U, X]) extends Func[U, X] with Product with Serializable

   Formal extension of a function given by a definition and representations for domain and codomain.

4.  case class FuncPolyRep[U <: Term with Subs[U], W, X <: Term with Subs[X], Y](domrep: ScalaPolyRep[U, W], codrep: ScalaPolyRep[X, Y]) extends ScalaPolyRep[Func[U, X], (W) => Y] with Product with Serializable
5.  case class OrScalaPolyRep[U <: Term with Subs[U], W](first: ScalaPolyRep[U, W], second: ScalaPolyRep[U, W]) extends ScalaPolyRep[U, W] with Product with Serializable
6.  case class PairPolyRep[U <: Term with Subs[U], W, X <: Term with Subs[X], Y](firstrep: ScalaPolyRep[U, W], secondrep: ScalaPolyRep[X, Y]) extends ScalaPolyRep[AbsPair[U, X], (W, Y)] with Product with Serializable
7.  implicit class PolyTermScala[U <: Term with Subs[U]] extends AnyRef
8.  implicit class ScalaPolyTerm[U <: Term with Subs[U], W] extends AnyRef
9.  case class ScalaRepWrap[U <: Term with Subs[U], W](rep: ScalaRep[U, W]) extends ScalaPolyRep[U, W] with Product with Serializable