Packages

object Fold

convenience methods to apply methods of special scala types such as functions without the compiler knowing that the object has the special type.

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

Type Members

  1. implicit class Folder[U <: Term with Subs[U]] extends AnyRef

Value Members

  1. def defnData: (Term) => Vector[Term]
  2. def domain: (Term) => Typ[Term]
  3. def value: (Term) => Term
  4. def variable: (Term) => Term