final
class
True extends AnyRef
Instance Constructors
-
new
True()
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (True, B)
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
ensuring(cond: (True) ⇒ Boolean, msg: ⇒ Any): True
-
def
ensuring(cond: (True) ⇒ Boolean): True
-
def
ensuring(cond: Boolean, msg: ⇒ Any): True
-
def
ensuring(cond: Boolean): True
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
in(set: Set[True]): Boolean
-
def
in(seq: Seq[True]): Boolean
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
def
notIn(set: Set[True]): Boolean
-
def
notIn(seq: Seq[True]): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
val
value: True
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (True, B)
Shadowed Implicit Value Members
-
val
self: Any
-
val
self: Any
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringadd from
True to StringAdd
Inherited by implicit conversion any2stringfmt from
True to StringFormat
Inherited by implicit conversion any2ArrowAssoc from
True to ArrowAssoc[True]
Inherited by implicit conversion any2Ensuring from
True to Ensuring[True]
Type representing Boolean True for type-level boolean algebra