Packages

object PlusTyp extends Serializable

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

Type Members

  1. case class FirstIncl[U <: Term with Subs[U], V <: Term with Subs[V]](typ: PlusTyp[U, V], value: U) extends Term with Subs[FirstIncl[U, V]] with Product with Serializable

    A -> A + B

  2. case class RecFn[U <: Term with Subs[U], V <: Term with Subs[V], W <: Term with Subs[W]](first: Typ[U], second: Typ[V], codom: Typ[W], firstCase: Func[U, W], secondCase: Func[V, W]) extends RecFunc[Term, W] with Product with Serializable

    recursive definition for co-product

  3. case class ScndIncl[U <: Term with Subs[U], V <: Term with Subs[V]](typ: PlusTyp[U, V], value: V) extends Term with Subs[ScndIncl[U, V]] with Product with Serializable

    B -> A + B

Value Members

  1. lazy val A: Typ[Term]
  2. lazy val B: Typ[Term]
  3. lazy val incl1: FuncLike[Typ[Term], FuncLike[Typ[Term], Func[Term, FirstIncl[Term, Term]]]]
  4. lazy val incl2: FuncLike[Typ[Term], FuncLike[Typ[Term], Func[Term, ScndIncl[Term, Term]]]]