FoldNatPositiveHelper

Type Members

class FoldNatPositiveHelperWrap1[T1] extends NatFuncPositive[T1, NatFuncZero]
class FoldNatPositiveHelperWrap10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncZero]]]]]]]]]]
class FoldNatPositiveHelperWrap11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncZero]]]]]]]]]]]
class FoldNatPositiveHelperWrap12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncZero]]]]]]]]]]]]
class FoldNatPositiveHelperWrap13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncZero]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap14[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncZero]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap15[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncZero]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap16[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncZero]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap17[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncPositive[T17, NatFuncZero]]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap18[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncPositive[T17, NatFuncPositive[T18, NatFuncZero]]]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap19[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncPositive[T17, NatFuncPositive[T18, NatFuncPositive[T19, NatFuncZero]]]]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap2[T1, T2] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncZero]]
class FoldNatPositiveHelperWrap20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncPositive[T17, NatFuncPositive[T18, NatFuncPositive[T19, NatFuncPositive[T20, NatFuncZero]]]]]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap21[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncPositive[T17, NatFuncPositive[T18, NatFuncPositive[T19, NatFuncPositive[T20, NatFuncPositive[T21, NatFuncZero]]]]]]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap22[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncPositive[T10, NatFuncPositive[T11, NatFuncPositive[T12, NatFuncPositive[T13, NatFuncPositive[T14, NatFuncPositive[T15, NatFuncPositive[T16, NatFuncPositive[T17, NatFuncPositive[T18, NatFuncPositive[T19, NatFuncPositive[T20, NatFuncPositive[T21, NatFuncPositive[T22, NatFuncZero]]]]]]]]]]]]]]]]]]]]]]
class FoldNatPositiveHelperWrap3[T1, T2, T3] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncZero]]]
class FoldNatPositiveHelperWrap4[T1, T2, T3, T4] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncZero]]]]
class FoldNatPositiveHelperWrap5[T1, T2, T3, T4, T5] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncZero]]]]]
class FoldNatPositiveHelperWrap6[T1, T2, T3, T4, T5, T6] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncZero]]]]]]
class FoldNatPositiveHelperWrap7[T1, T2, T3, T4, T5, T6, T7] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncZero]]]]]]]
class FoldNatPositiveHelperWrap8[T1, T2, T3, T4, T5, T6, T7, T8] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncZero]]]]]]]]
class FoldNatPositiveHelperWrap9[T1, T2, T3, T4, T5, T6, T7, T8, T9] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncZero]]]]]]]]]

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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package impl

object FoldNatPositiveHelper

Type Members

class FoldNatPositiveHelperWrap1[T1] extends NatFuncPositive[T1, NatFuncZero]

class FoldNatPositiveHelperWrap2[T1, T2] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncZero]]

class FoldNatPositiveHelperWrap3[T1, T2, T3] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncZero]]]

class FoldNatPositiveHelperWrap4[T1, T2, T3, T4] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncZero]]]]

class FoldNatPositiveHelperWrap5[T1, T2, T3, T4, T5] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncZero]]]]]

class FoldNatPositiveHelperWrap6[T1, T2, T3, T4, T5, T6] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncZero]]]]]]

class FoldNatPositiveHelperWrap7[T1, T2, T3, T4, T5, T6, T7] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncZero]]]]]]]

class FoldNatPositiveHelperWrap8[T1, T2, T3, T4, T5, T6, T7, T8] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncZero]]]]]]]]

class FoldNatPositiveHelperWrap9[T1, T2, T3, T4, T5, T6, T7, T8, T9] extends NatFuncPositive[T1, NatFuncPositive[T2, NatFuncPositive[T3, NatFuncPositive[T4, NatFuncPositive[T5, NatFuncPositive[T6, NatFuncPositive[T7, NatFuncPositive[T8, NatFuncPositive[T9, NatFuncZero]]]]]]]]]

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 getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

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

Ungrouped