leon

lang

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
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. implicit class BooleanDecorations extends AnyRef

  2. case class Dummy[T]() extends Product with Serializable

  3. sealed abstract class Either[A, B] extends AnyRef

  4. case class Left[A, B](content: A) extends Either[A, B] with Product with Serializable

    Annotations
    @library()
  5. case class Map[A, B](theMap: scala.collection.immutable.Map[A, B]) extends Product with Serializable

    Annotations
    @ignore()
  6. case class None[T]() extends Option[T] with Product with Serializable

    Annotations
    @constructor( name = "Option.option.None" )
  7. sealed abstract class Option[T] extends AnyRef

    Annotations
    @library() @typ( name = "Option.option" )
  8. implicit class Passes[A, B] extends AnyRef

    Annotations
    @ignore()
  9. case class Rational(numerator: BigInt, denominator: BigInt) extends Product with Serializable

    Annotations
    @library()
  10. class Real extends AnyRef

    Annotations
    @ignore()
  11. case class Right[A, B](content: B) extends Either[A, B] with Product with Serializable

    Annotations
    @library()
  12. case class Set[T](theSet: scala.collection.immutable.Set[T]) extends Product with Serializable

    Annotations
    @ignore()
  13. case class Some[T](v: T) extends Option[T] with Product with Serializable

    Annotations
    @constructor( name = "Option.option.Some" )
  14. implicit class SpecsDecorations[A] extends AnyRef

Value Members

  1. object BigInt

    Annotations
    @ignore()
  2. object InvariantFunction

    Annotations
    @ignore()
  3. object Map extends Serializable

  4. object Rational extends Serializable

    Annotations
    @library()
  5. object Real

    Annotations
    @ignore()
  6. object Set extends Serializable

  7. object StrOps

  8. def error[T](reason: String): T

    Annotations
    @ignore()
  9. def forall[A, B, C, D, E](p: (A, B, C, D, E) ⇒ Boolean): Boolean

    Annotations
    @ignore()
  10. def forall[A, B, C, D](p: (A, B, C, D) ⇒ Boolean): Boolean

    Annotations
    @ignore()
  11. def forall[A, B, C](p: (A, B, C) ⇒ Boolean): Boolean

    Annotations
    @ignore()
  12. def forall[A, B](p: (A, B) ⇒ Boolean): Boolean

    Annotations
    @ignore()
  13. def forall[A](p: (A) ⇒ Boolean): Boolean

    Annotations
    @ignore()
  14. def old[T](value: T): T

    Annotations
    @ignore()
  15. package synthesis

  16. implicit def while2Invariant(u: Unit): InvariantFunction.type

    Annotations
    @ignore()

Inherited from AnyRef

Inherited from Any

Ungrouped