Packages

package lang

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. lang
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Bag[T](theBag: scala.collection.immutable.Map[T, BigInt]) extends Product with Serializable
    Annotations
    @ignore()
  2. implicit class BooleanDecorations extends AnyRef
    Annotations
    @ignore()
  3. sealed abstract class Either[A, B] extends AnyRef

    Annotations
    @library()
  4. abstract class Exception extends Throwable
    Annotations
    @library()
  5. case class Left[A, B](content: A) extends Either[A, B] with Product with Serializable
    Annotations
    @library()
  6. case class Map[A, B](theMap: scala.collection.immutable.Map[A, B]) extends Product with Serializable
    Annotations
    @ignore()
  7. case class MutableMap[A, B](theMap: scala.collection.mutable.Map[A, B], default: () ⇒ B) extends Product with Serializable
    Annotations
    @ignore()
  8. case class None[T]() extends Option[T] with Product with Serializable
    Annotations
    @library() @constructor( name = "Option.option.None" )
  9. sealed abstract class Option[T] extends AnyRef
    Annotations
    @library() @typ( name = "Option.option" )
  10. implicit class Passes[A, B] extends AnyRef
    Annotations
    @ignore()
  11. case class Rational(numerator: BigInt, denominator: BigInt) extends Product with Serializable
    Annotations
    @library()
  12. class Real extends AnyRef
    Annotations
    @ignore()
  13. case class Right[A, B](content: B) extends Either[A, B] with Product with Serializable
    Annotations
    @library()
  14. case class Set[T](theSet: scala.collection.immutable.Set[T]) extends Product with Serializable
    Annotations
    @ignore()
  15. case class Some[T](v: T) extends Option[T] with Product with Serializable
    Annotations
    @library() @constructor( name = "Option.option.Some" )
  16. implicit class SpecsDecorations[A] extends AnyRef
    Annotations
    @library()
  17. implicit class StringDecorations extends AnyRef
    Annotations
    @library()
  18. implicit class Throwing[T] extends AnyRef
    Annotations
    @ignore()
  19. implicit class WhileDecorations extends AnyRef
    Annotations
    @ignore()
  20. case class ~>[A, B] extends Product with Serializable

    Describe a partial function with precondition pre.

    Describe a partial function with precondition pre.

    Do not attempt to create it using the ~>'s companion object's apply method. Instead, use PartialFunction$.apply defined below. (Private constructor cannot be expressed in Stainless.)

    Annotations
    @library()
  21. case class ~>>[A, B](f: ~>[A, B], post: (B) ⇒ Boolean) extends Product with Serializable
    Annotations
    @library()

Value Members

  1. def because(b: Boolean): Boolean
    Annotations
    @inline() @library()
  2. def choose[A, B, C, D, E](predicate: (A, B, C, D, E) ⇒ Boolean): (A, B, C, D, E)
    Annotations
    @ignore()
  3. def choose[A, B, C, D](predicate: (A, B, C, D) ⇒ Boolean): (A, B, C, D)
    Annotations
    @ignore()
  4. def choose[A, B, C](predicate: (A, B, C) ⇒ Boolean): (A, B, C)
    Annotations
    @ignore()
  5. def choose[A, B](predicate: (A, B) ⇒ Boolean): (A, B)
    Annotations
    @ignore()
  6. def choose[A](predicate: (A) ⇒ Boolean): A
    Annotations
    @ignore()
  7. def decreases(r1: Any, r2: Any, r3: Any, r4: Any, r5: Any): Unit
    Annotations
    @ignore()
  8. def decreases(r1: Any, r2: Any, r3: Any, r4: Any): Unit
    Annotations
    @ignore()
  9. def decreases(r1: Any, r2: Any, r3: Any): Unit
    Annotations
    @ignore()
  10. def decreases(r1: Any, r2: Any): Unit
    Annotations
    @ignore()
  11. def decreases(r1: Any): Unit
    Annotations
    @ignore()
  12. def error[T](reason: String): T
    Annotations
    @ignore()
  13. def forall[A, B, C, D, E](p: (A, B, C, D, E) ⇒ Boolean): Boolean
    Annotations
    @ignore()
  14. def forall[A, B, C, D](p: (A, B, C, D) ⇒ Boolean): Boolean
    Annotations
    @ignore()
  15. def forall[A, B, C](p: (A, B, C) ⇒ Boolean): Boolean
    Annotations
    @ignore()
  16. def forall[A, B](p: (A, B) ⇒ Boolean): Boolean
    Annotations
    @ignore()
  17. def forall[A](p: (A) ⇒ Boolean): Boolean
    Annotations
    @ignore()
  18. def ghost[A](value: A): Unit
    Annotations
    @library()
  19. def indexedAt[T](n: BigInt, t: T): T
    Annotations
    @library()
  20. def old[T](value: T): T
    Annotations
    @ignore()
  21. def partialEval[A](x: A): A
    Annotations
    @library() @partialEval()
  22. def print(x: String): Unit
    Annotations
    @extern() @library()
  23. def snapshot[T](value: T): T
    Annotations
    @ignore() @ghost()
  24. def tupleToString[A, B](t: (A, B), mid: String, f: (A) ⇒ String, g: (B) ⇒ String): String
    Annotations
    @library()
  25. object Bag extends Serializable
  26. object BigInt
    Annotations
    @ignore()
  27. object Map extends Serializable
  28. object MutableMap extends Serializable
  29. object Option
    Annotations
    @library()
  30. object PartialFunction
    Annotations
    @library()
  31. object Rational extends Serializable
    Annotations
    @library()
  32. object Real
    Annotations
    @ignore()
  33. object Set extends Serializable
  34. object StaticChecks
  35. object StrOps

Inherited from AnyRef

Inherited from Any

Ungrouped