package lang
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- lang
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
case class
Bag[T](theBag: scala.collection.immutable.Map[T, BigInt]) extends Product with Serializable
- Annotations
- @ignore()
-
implicit
class
BooleanDecorations extends AnyRef
- Annotations
- @ignore()
-
sealed abstract
class
Either[A, B] extends AnyRef
- Annotations
- @library()
-
abstract
class
Exception extends Throwable
- Annotations
- @library()
-
case class
Left[A, B](content: A) extends Either[A, B] with Product with Serializable
- Annotations
- @library()
-
case class
Map[A, B](theMap: scala.collection.immutable.Map[A, B]) extends Product with Serializable
- Annotations
- @ignore()
-
case class
MutableMap[A, B](theMap: scala.collection.mutable.Map[A, B], default: () ⇒ B) extends Product with Serializable
- Annotations
- @ignore()
-
case class
None[T]() extends Option[T] with Product with Serializable
- Annotations
- @library() @constructor( name = "Option.option.None" )
- sealed abstract class Option[T] extends AnyRef
-
implicit
class
Passes[A, B] extends AnyRef
- Annotations
- @ignore()
-
case class
Rational(numerator: BigInt, denominator: BigInt) extends Product with Serializable
- Annotations
- @library()
-
class
Real extends AnyRef
- Annotations
- @ignore()
-
case class
Right[A, B](content: B) extends Either[A, B] with Product with Serializable
- Annotations
- @library()
-
case class
Set[T](theSet: scala.collection.immutable.Set[T]) extends Product with Serializable
- Annotations
- @ignore()
-
case class
Some[T](v: T) extends Option[T] with Product with Serializable
- Annotations
- @library() @constructor( name = "Option.option.Some" )
-
implicit
class
SpecsDecorations[A] extends AnyRef
- Annotations
- @library()
-
implicit
class
StringDecorations extends AnyRef
- Annotations
- @library()
-
implicit
class
Throwing[T] extends AnyRef
- Annotations
- @ignore()
-
implicit
class
WhileDecorations extends AnyRef
- Annotations
- @ignore()
-
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()
-
case class
~>>[A, B](f: ~>[A, B], post: (B) ⇒ Boolean) extends Product with Serializable
- Annotations
- @library()
Value Members
-
def
because(b: Boolean): Boolean
- Annotations
- @inline() @library()
-
def
choose[A, B, C, D, E](predicate: (A, B, C, D, E) ⇒ Boolean): (A, B, C, D, E)
- Annotations
- @ignore()
-
def
choose[A, B, C, D](predicate: (A, B, C, D) ⇒ Boolean): (A, B, C, D)
- Annotations
- @ignore()
-
def
choose[A, B, C](predicate: (A, B, C) ⇒ Boolean): (A, B, C)
- Annotations
- @ignore()
-
def
choose[A, B](predicate: (A, B) ⇒ Boolean): (A, B)
- Annotations
- @ignore()
-
def
choose[A](predicate: (A) ⇒ Boolean): A
- Annotations
- @ignore()
-
def
decreases(r1: Any, r2: Any, r3: Any, r4: Any, r5: Any): Unit
- Annotations
- @ignore()
-
def
decreases(r1: Any, r2: Any, r3: Any, r4: Any): Unit
- Annotations
- @ignore()
-
def
decreases(r1: Any, r2: Any, r3: Any): Unit
- Annotations
- @ignore()
-
def
decreases(r1: Any, r2: Any): Unit
- Annotations
- @ignore()
-
def
decreases(r1: Any): Unit
- Annotations
- @ignore()
-
def
error[T](reason: String): T
- Annotations
- @ignore()
-
def
forall[A, B, C, D, E](p: (A, B, C, D, E) ⇒ Boolean): Boolean
- Annotations
- @ignore()
-
def
forall[A, B, C, D](p: (A, B, C, D) ⇒ Boolean): Boolean
- Annotations
- @ignore()
-
def
forall[A, B, C](p: (A, B, C) ⇒ Boolean): Boolean
- Annotations
- @ignore()
-
def
forall[A, B](p: (A, B) ⇒ Boolean): Boolean
- Annotations
- @ignore()
-
def
forall[A](p: (A) ⇒ Boolean): Boolean
- Annotations
- @ignore()
-
def
ghost[A](value: A): Unit
- Annotations
- @library()
-
def
indexedAt[T](n: BigInt, t: T): T
- Annotations
- @library()
-
def
old[T](value: T): T
- Annotations
- @ignore()
-
def
partialEval[A](x: A): A
- Annotations
- @library() @partialEval()
- def print(x: String): Unit
- def snapshot[T](value: T): T
-
def
tupleToString[A, B](t: (A, B), mid: String, f: (A) ⇒ String, g: (B) ⇒ String): String
- Annotations
- @library()
- object Bag extends Serializable
-
object
BigInt
- Annotations
- @ignore()
- object Map extends Serializable
- object MutableMap extends Serializable
-
object
Option
- Annotations
- @library()
-
object
PartialFunction
- Annotations
- @library()
-
object
Rational extends Serializable
- Annotations
- @library()
-
object
Real
- Annotations
- @ignore()
- object Set extends Serializable
- object StaticChecks
- object StrOps