final
class
D1 extends Digit
Instance Constructors
-
new
D1()
Type Members
-
type
Compare[D <: Digit] = Compare.D.Match[EQ, GT, Comparison]
-
type
Match[IfOne <: Up, IfZero <: Up, Up] = IfOne
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (D1, B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
ensuring(cond: (D1) ⇒ Boolean, msg: ⇒ Any): D1
-
def
ensuring(cond: (D1) ⇒ Boolean): D1
-
def
ensuring(cond: Boolean, msg: ⇒ Any): D1
-
def
ensuring(cond: Boolean): D1
-
-
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: 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
-
def
→[B](y: B): (D1, B)
Inherited by implicit conversion any2stringadd from
D1 to any2stringadd[D1]
Inherited by implicit conversion StringFormat from
D1 to StringFormat[D1]
Inherited by implicit conversion Ensuring from
D1 to Ensuring[D1]
Inherited by implicit conversion ArrowAssoc from
D1 to ArrowAssoc[D1]
Represents a 1 in the dense encoding of a natural number
Author:
Harshad Deo
0.1