Class

shapeless.syntax

NatOps

Related Doc: package syntax

Permalink

final class NatOps[N <: Nat] extends AnyVal with Serializable

Carrier for Nat operations.

Linear Supertypes
Serializable, Serializable, AnyVal, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. NatOps
  2. Serializable
  3. Serializable
  4. AnyVal
  5. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new NatOps(n: N)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any

  6. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  7. val n: N

    Permalink

  8. def toInt(implicit toIntN: ToInt[N.N]): Int

    Permalink

    Returns the int value of this Nat.

  9. def toString(): String

    Permalink
    Definition Classes
    Any

Inherited from Serializable

Inherited from Serializable

Inherited from AnyVal

Inherited from Any

Ungrouped