Packages

case object TargetTyps extends RandomVar[Typ[Term]] with Product with Serializable

distribution of types to target for generating terms; either a generated type or a goal.

Linear Supertypes
Serializable, Product, Equals, RandomVar[Typ[Term]], RandomVarFamily[HNil, Typ[Term]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TargetTyps
  2. Serializable
  3. Product
  4. Equals
  5. RandomVar
  6. RandomVarFamily
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def at(x: HNil): AtCoord[HNil, Typ[Term]]
    Definition Classes
    RandomVarFamily
  2. def fromGoal: Map[Typ[Term], Typ[Term]]
  3. def fromNegTyp: Map[Typ[Term], Typ[Term]]
  4. def fromTyp: Map[Typ[Term], Typ[Term]]
  5. def init[Y >: Typ[Term]]: BasePi[HNil, Y]
    Definition Classes
    RandomVarFamily
  6. val polyDomain: RandomVarList[HNil]
    Definition Classes
    RandomVarFamily
  7. def productElementName(n: Int): String
    Definition Classes
    Product
  8. def productElementNames: Iterator[String]
    Definition Classes
    Product
  9. val range: Sort[_, Typ[Term]]
    Definition Classes
    RandomVar
  10. val rangeFamily: (HNil) => Sort[_, Typ[Term]]
    Definition Classes
    RandomVarFamily
  11. def target[State, V, Y >: Typ[Term]]: Target[State, V, HNil, Y]
    Definition Classes
    RandomVarFamily