Packages

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

Linear Supertypes
Serializable, Product, Equals, ScalaPolyRep[Func[U, X], (W) => Y], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FuncPolyRep
  2. Serializable
  3. Product
  4. Equals
  5. ScalaPolyRep
  6. AnyRef
  7. Any
Implicitly
  1. by ScalaPolyTerm
  2. by ScalaPolyTerm
  3. by any2stringadd
  4. by StringFormat
  5. by Ensuring
  6. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new FuncPolyRep(domrep: ScalaPolyRep[U, W], codrep: ScalaPolyRep[X, Y])

Value Members

  1. def apply(typ: Typ[Term])(elem: (W) => Y): Option[Func[U, X]]
    Definition Classes
    FuncPolyRep → ScalaPolyRep
  2. val codrep: ScalaPolyRep[X, Y]
  3. val domrep: ScalaPolyRep[U, W]
  4. def productElementNames: Iterator[String]
    Definition Classes
    Product
  5. def subs(x: Term, y: Term): FuncPolyRep[U, W, X, Y]
    Definition Classes
    FuncPolyRep → ScalaPolyRep
  6. def unapply(term: Func[U, X]): Option[(W) => Y]
    Definition Classes
    FuncPolyRep → ScalaPolyRep
  7. def ||(that: ScalaPolyRep[Func[U, X], (W) => Y]): OrScalaPolyRep[Func[U, X], (W) => Y]
    Definition Classes
    ScalaPolyRep

Shadowed Implicit Value Members

  1. def getTerm(typ: Typ[Term]): U
    Implicit
    This member is added by an implicit conversion from FuncPolyRep[U, W, X, Y] toScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]] performed by method ScalaPolyTerm in provingground.scalahott.ScalaPolyRep.This conversion will take place only if an implicit value of type ScalaPolyRep[U, FuncPolyRep[U, W, X, Y]] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (funcPolyRep: ScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]]).getTerm(typ)
    Definition Classes
    ScalaPolyTerm
  2. def getTerm(typ: Typ[Term]): U
    Implicit
    This member is added by an implicit conversion from FuncPolyRep[U, W, X, Y] toScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]] performed by method ScalaPolyTerm in provingground.scalahott.ScalaPolyRep.This conversion will take place only if an implicit value of type ScalaPolyRep[U, FuncPolyRep[U, W, X, Y]] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (funcPolyRep: ScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]]).getTerm(typ)
    Definition Classes
    ScalaPolyTerm
  3. def hott(typ: Typ[Term]): Option[U]
    Implicit
    This member is added by an implicit conversion from FuncPolyRep[U, W, X, Y] toScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]] performed by method ScalaPolyTerm in provingground.scalahott.ScalaPolyRep.This conversion will take place only if an implicit value of type ScalaPolyRep[U, FuncPolyRep[U, W, X, Y]] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (funcPolyRep: ScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]]).hott(typ)
    Definition Classes
    ScalaPolyTerm
  4. def hott(typ: Typ[Term]): Option[U]
    Implicit
    This member is added by an implicit conversion from FuncPolyRep[U, W, X, Y] toScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]] performed by method ScalaPolyTerm in provingground.scalahott.ScalaPolyRep.This conversion will take place only if an implicit value of type ScalaPolyRep[U, FuncPolyRep[U, W, X, Y]] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (funcPolyRep: ScalaPolyTerm[U, FuncPolyRep[U, W, X, Y]]).hott(typ)
    Definition Classes
    ScalaPolyTerm