package
lang
Type Members
-
-
case class
Dummy[T]() extends Product with Serializable
-
sealed abstract
class
Either[A, B] extends AnyRef
-
case class
Left[A, B](content: A) extends Either[A, B] with Product with Serializable
-
case class
Map[A, B](theMap: scala.collection.immutable.Map[A, B]) extends Product with Serializable
-
case class
None[T]() extends Option[T] with Product with Serializable
-
sealed abstract
class
Option[T] extends AnyRef
-
implicit
class
Passes[A, B] extends AnyRef
-
case class
Rational(numerator: BigInt, denominator: BigInt) extends Product with Serializable
-
class
Real extends AnyRef
-
case class
Right[A, B](content: B) extends Either[A, B] with Product with Serializable
-
case class
Set[T](theSet: scala.collection.immutable.Set[T]) extends Product with Serializable
-
case class
Some[T](v: T) extends Option[T] with Product with Serializable
-
implicit
class
SpecsDecorations[A] extends AnyRef
Value Members
-
-
-
object
Map extends Serializable
-
object
Rational extends Serializable
-
-
object
Set extends Serializable
-
-
def
error[T](reason: String): T
-
def
forall[A, B, C, D, E](p: (A, B, C, D, E) ⇒ Boolean): Boolean
-
def
forall[A, B, C, D](p: (A, B, C, D) ⇒ Boolean): Boolean
-
def
forall[A, B, C](p: (A, B, C) ⇒ Boolean): Boolean
-
def
forall[A, B](p: (A, B) ⇒ Boolean): Boolean
-
def
forall[A](p: (A) ⇒ Boolean): Boolean
-
def
old[T](value: T): T
-
-
implicit
def
while2Invariant(u: Unit): InvariantFunction.type
Inherited from AnyRef
Inherited from Any