Packages

object ListType

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

Type Members

  1. case class ListRep[U <: Term with Subs[U]](elemTyp: Typ[U]) extends ScalaRep[Term, List[U]] with Product with Serializable
  2. case class ListTerm[U <: Term with Subs[U]](value: List[U], elemTyp: Typ[U]) extends ConstTerm[List[U]] with Product with Serializable
  3. case class ListTyp[U <: Term with Subs[U]](elemTyp: Typ[U]) extends SmallTyp with Product with Serializable

Value Members

  1. def foldFunction[U <: Term with Subs[U], V <: Term with Subs[V]](u: Typ[U], v: Typ[V]): Func[Term, Func[V, Func[Func[U, Func[V, V]], V]]]
  2. lazy val foldLeft: FuncLike[Typ[Term], FuncLike[Typ[Term], Func[Term, Func[Term, Func[Func[Term, Func[Term, Term]], Term]]]]]
  3. lazy val headOpt: FuncLike[Typ[Term], OptDepFuncDefn[Term]]
  4. def headOptFn[U <: Term with Subs[U]](typ: Typ[U]): OptDepFuncDefn[Term]
  5. lazy val lmap: FuncLike[Typ[Term], FuncLike[Typ[Term], Func[Func[Term, Term], Func[Term, Term]]]]
  6. def lmapFunc[U <: Term with Subs[U], V <: Term with Subs[V]](u: Typ[U], v: Typ[V]): Func[Func[U, V], Func[Term, Term]]
  7. lazy val tail: FuncLike[Typ[Term], Func[Term, Term]]
  8. def tailFn[U <: Term with Subs[U]](typ: Typ[U]): Func[Term, Term]