Packages

case class PiOutput[U <: Term with Subs[U], V <: Term with Subs[V]](pd: PiDefn[U, V]) extends (Term) => RandomVar[Term] with Product with Serializable

Linear Supertypes
Serializable, Product, Equals, (Term) => RandomVar[Term], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PiOutput
  2. Serializable
  3. Product
  4. Equals
  5. Function1
  6. AnyRef
  7. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new PiOutput(pd: PiDefn[U, V])

Value Members

  1. def andThen[A](g: (RandomVar[Term]) => A): (Term) => A
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  2. def apply(x: Term): RandomVar[Term]
    Definition Classes
    PiOutput → Function1
  3. def compose[A](g: (A) => Term): (A) => RandomVar[Term]
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  4. val pd: PiDefn[U, V]
  5. def productElementNames: Iterator[String]
    Definition Classes
    Product
  6. def toString(): String
    Definition Classes
    PiOutput → Function1 → AnyRef → Any