Packages

object TypObj

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypObj
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def func[U <: Term with Subs[U], V <: Term with Subs[V]]: TypObj[FuncTyp[U, V], Func[U, V]]
  2. implicit def funclike[U <: Term with Subs[U], V <: Term with Subs[V]]: TypObj[GenFuncTyp[U, V], FuncLike[U, V]]
  3. implicit def pair[U <: Term with Subs[U], V <: Term with Subs[V]]: TypObj[ProdTyp[U, V], PairTerm[U, V]]
  4. implicit def pi[U <: Term with Subs[U], V <: Term with Subs[V]]: TypObj[PiDefn[U, V], FuncLike[U, V]]
  5. def solve[TC <: Typ[Term] with Subs[TC], C <: Term with Subs[C]](fmly: TC)(implicit tpObj: TypObj[TC, C]): Typ[C]

    given the object fmly of scala type TC that is a subtype of Typ[C], recovers C, eg shows that FuncTyp[A, B] is a subtype of Typ[Func[A, B]]

    given the object fmly of scala type TC that is a subtype of Typ[C], recovers C, eg shows that FuncTyp[A, B] is a subtype of Typ[Func[A, B]]

    Note that C is not unique, indeed C = Term is always a solution, so we seek the best C

  6. implicit def tautology[U <: Term with Subs[U]]: TypObj[Typ[U], U]