Packages

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

Linear Supertypes
Serializable, Product, Equals, ScalaPolyRep[AbsPair[U, X], (W, Y)], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PairPolyRep
  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 PairPolyRep(firstrep: ScalaPolyRep[U, W], secondrep: ScalaPolyRep[X, Y])

Value Members

  1. def apply(typ: Typ[Term])(elem: (W, Y)): Option[AbsPair[U, X]]
    Definition Classes
    PairPolyRep → ScalaPolyRep
  2. val firstrep: ScalaPolyRep[U, W]
  3. def productElementNames: Iterator[String]
    Definition Classes
    Product
  4. val secondrep: ScalaPolyRep[X, Y]
  5. def subs(x: Term, y: Term): PairPolyRep[U, W, X, Y]
    Definition Classes
    PairPolyRep → ScalaPolyRep
  6. def unapply(term: AbsPair[U, X]): Option[(W, Y)]
    Definition Classes
    PairPolyRep → ScalaPolyRep
  7. def ||(that: ScalaPolyRep[AbsPair[U, X], (W, Y)]): OrScalaPolyRep[AbsPair[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 PairPolyRep[U, W, X, Y] toScalaPolyTerm[U, PairPolyRep[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, PairPolyRep[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:
    (pairPolyRep: ScalaPolyTerm[U, PairPolyRep[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 PairPolyRep[U, W, X, Y] toScalaPolyTerm[U, PairPolyRep[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, PairPolyRep[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:
    (pairPolyRep: ScalaPolyTerm[U, PairPolyRep[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 PairPolyRep[U, W, X, Y] toScalaPolyTerm[U, PairPolyRep[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, PairPolyRep[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:
    (pairPolyRep: ScalaPolyTerm[U, PairPolyRep[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 PairPolyRep[U, W, X, Y] toScalaPolyTerm[U, PairPolyRep[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, PairPolyRep[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:
    (pairPolyRep: ScalaPolyTerm[U, PairPolyRep[U, W, X, Y]]).hott(typ)
    Definition Classes
    ScalaPolyTerm