final
class
NatRep[N <: Nat] extends AnyVal
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (NatRep[N], B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): NatRep[N]
-
-
def
formatted(fmtstr: String): String
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
-
val
v: Int
-
def
→[B](y: B): (NatRep[N], B)
Inherited by implicit conversion any2stringadd from
NatRep[N] to any2stringadd[NatRep[N]]
Inherited by implicit conversion StringFormat from
NatRep[N] to StringFormat[NatRep[N]]
Inherited by implicit conversion Ensuring from
NatRep[N] to Ensuring[NatRep[N]]
Inherited by implicit conversion ArrowAssoc from
NatRep[N] to ArrowAssoc[NatRep[N]]
Builds a value level representation of the Nat
Author:
Harshad Deo
Natural number for which the value level representation is being built
0.1