Packages

p

stainless

collection

package collection

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class CMap[A, B](f: (A) ⇒ B) extends Product with Serializable
    Annotations
    @library()
  2. case class Cons[T](h: T, t: List[T]) extends List[T] with Product with Serializable
    Annotations
    @library() @constructor( name = "List.list.Cons" )
  3. sealed abstract class List[T] extends AnyRef
    Annotations
    @library() @typ( name = "List.list" )
  4. case class Nil[T]() extends List[T] with Product with Serializable
    Annotations
    @library() @constructor( name = "List.list.Nil" )
  5. case class Queue[A](front: List[A], rear: List[A]) extends Product with Serializable
    Annotations
    @library()

Value Members

  1. object ::
  2. object ConcRope
    Annotations
    @library()
  3. object List
  4. object ListOps
    Annotations
    @library()
  5. object ListSpecs
    Annotations
    @library()
  6. object Queue extends Serializable
    Annotations
    @library()
  7. object QueueSpecs
    Annotations
    @library()

Ungrouped