Class

io.chymyst.ch

WithLambdaTerm

Related Doc: package ch

Permalink

implicit final class WithLambdaTerm extends AnyVal

Obtain the lambda-term from an enriched expression that results from ofType. Will throw an exception if the expression is not obtained from ofType or allOfType.

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WithLambdaTerm
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WithLambdaTerm(functionValue: Any)

    Permalink

    functionValue

    An expression that was automatically produced by ofType or allOfType.

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. val functionValue: Any

    Permalink

    An expression that was automatically produced by ofType or allOfType.

  6. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any

  7. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  8. def lambdaTerm: TermExpr

    Permalink

  9. def toString(): String

    Permalink
    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped