object IntTypes
Linear Supertypes
Content Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- IntTypes
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val FinFn: Func[Term, Typ[Term]]
- val FinRep: DepFuncRep[Term, Long, Term, Term]
- val NFinRep: FuncRep[Term, Long, FuncLike[Term, Term], (Long) => Term]
- val Nfmly: FuncRep[Term, Long, Typ[Term], Typ[Term]]
- val SimpleFinRep: DepFuncRep[Term, Long, Term, Term]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- val finrep: RepSection[Long, Term, Term]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def inducFn[U <: Term](f0: U, g: (Long) => (U) => U, n: Long, thenApply: (U) => U = (u: U) => u): U
- Annotations
- @tailrec()
- val inducN: FuncLike[Func[Term, Typ[Term]], Func[Term, Func[FuncLike[Term, Func[Term, Term]], FuncLike[Term, Term]]]]
- def induccurry[U <: Term]: (U) => ((Long) => (U) => U) => (Long) => U
- def induction[U <: Term with Subs[U]](us: Func[Term, Typ[U]]): Func[U, Func[FuncLike[Term, Term], FuncLike[Term, U]]]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val kmodn: Func[Term, FuncLike[Term, Term]]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val recN: LambdaTerm[Typ[Term], LambdaFixed[Term, LambdaFixed[Func[Term, Func[Term, Term]], Func[Term, Term]]]]
- def recursion[U <: Term with Subs[U]](u: Typ[U]): Func[U, Func[Func[Term, Func[U, U]], Func[Term, U]]]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- case object N extends IntTyp with Product with Serializable
- case object Z extends IntTyp with Product with Serializable
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated