Packages

object IntTypes

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

Type Members

  1. case class Fin(n: Long) extends IntTyp with Product with Serializable
  2. trait IntTyp extends SmallTyp

Value Members

  1. val FinFn: Func[Term, Typ[Term]]
  2. val FinRep: DepFuncRep[Term, Long, Term, Term]
  3. val NFinRep: FuncRep[Term, Long, FuncLike[Term, Term], (Long) => Term]
  4. val Nfmly: FuncRep[Term, Long, Typ[Term], Typ[Term]]
  5. val SimpleFinRep: DepFuncRep[Term, Long, Term, Term]
  6. val finrep: RepSection[Long, Term, Term]
  7. def inducFn[U <: Term](f0: U, g: (Long) => (U) => U, n: Long, thenApply: (U) => U = (u: U) => u): U
    Annotations
    @tailrec()
  8. val inducN: FuncLike[Func[Term, Typ[Term]], Func[Term, Func[FuncLike[Term, Func[Term, Term]], FuncLike[Term, Term]]]]
  9. def induccurry[U <: Term]: (U) => ((Long) => (U) => U) => (Long) => U
  10. def induction[U <: Term with Subs[U]](us: Func[Term, Typ[U]]): Func[U, Func[FuncLike[Term, Term], FuncLike[Term, U]]]
  11. val kmodn: Func[Term, FuncLike[Term, Term]]
  12. val recN: LambdaTerm[Typ[Term], LambdaFixed[Term, LambdaFixed[Func[Term, Func[Term, Term]], Func[Term, Term]]]]
  13. def recursion[U <: Term with Subs[U]](u: Typ[U]): Func[U, Func[Func[Term, Func[U, U]], Func[Term, U]]]
  14. case object N extends IntTyp with Product with Serializable
  15. case object Z extends IntTyp with Product with Serializable