sealed
trait
Nat extends AnyRef
Type Members
-
abstract
type
Folded[U, F <: NFold[U]] <: U
-
abstract
type
Self <: Nat
-
abstract
type
Unapplied[U, Z <: U, P[_ <: Nat] <: U] <: U
Abstract Value Members
-
abstract
def
fold[U, F <: NFold[U]](f: F): Folded[U, F]
-
abstract
def
self: Self
-
abstract
def
unapplied[U, Z <: U, P[_ <: Nat] <: U](ifZero: ⇒ Z, ifSucc: ⇒ HStream[P]): Unapplied[U, Z, P]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
foldU[U](f: NFold[U]): Folded[U, f.type]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
isZero: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
pred: Unapplied[Option[Nat], None.type, [X]Some[X]]
-
final
def
predV: Option[Nat]
-
final
def
succ: Succ[Self]
-
final
def
succV: Nat
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
final
def
toInt: Folded[Int, ToInt.type]
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any