Packages

case object LamApply extends (Term, Term) => Term with Product with Serializable

Wrapper for lambda to allow equality and toString to work.

Linear Supertypes
Serializable, Product, Equals, (Term, Term) => Term, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LamApply
  2. Serializable
  3. Product
  4. Equals
  5. Function2
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def apply(x: Term, y: Term): FuncLike[Term, Term]
    Definition Classes
    LamApply → Function2
  2. def curried: (Term) => (Term) => Term
    Definition Classes
    Function2
    Annotations
    @unspecialized()
  3. def productElementName(n: Int): String
    Definition Classes
    Product
  4. def productElementNames: Iterator[String]
    Definition Classes
    Product
  5. def toString(): String
    Definition Classes
    LamApply → Function2 → AnyRef → Any
  6. def tupled: ((Term, Term)) => Term
    Definition Classes
    Function2
    Annotations
    @unspecialized()