Packages

object RecursiveDefinition

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

Type Members

  1. case class DataCons[H <: Term with Subs[H], C <: Term with Subs[C], D <: Term with Subs[D]](data: D, defn: (D) => (Func[H, C]) => (H) => Option[C], cons: Term, tail: RecursiveDefinition[H, C], replacement: (Term) => (Term) => (Typ[C]) => Option[DataCons[H, C, D]] = (_: Term) => (_: Term) => (_: Typ[C]) => None) extends RecursiveDefinition[H, C] with Product with Serializable

    an additional case for a RecursiveDefinition, depending on definition data data

  2. case class Empty[H <: Term with Subs[H], C <: Term with Subs[C]](dom: Typ[H], codom: Typ[C]) extends RecursiveDefinition[H, C] with Product with Serializable

    empty RecursiveDefinition, always a formal application

Value Members

  1. def rebuild[U <: Term with Subs[Term]](t: U): U