Packages

  • package root
    Definition Classes
    root
  • package org
    Definition Classes
    root
  • package kiama

    Kiama is a Scala library for language processing.

    Kiama is a Scala library for language processing. It is a project of the Programming Languages Research Group at Macquarie University. For full project details see the web site http://kiama.googlecode.com.

    Kiama's main components address tree decoration via attribute grammars (package attribution), tree transformation via strategic term rewriting (package rewriting), dynamic semantics (package machine) and pretty-printing (package output).

    The util package contains support modules for parsing, input/output, read-eval-print loops (REPLs) and pattern matching.

    The examples package (available as part of the Kiama tests) contains many examples of using Kiama to solve small to medium language processing problems.

    Definition Classes
    org
  • package util
    Definition Classes
    kiama
  • object Trampolines

    Trampolines.

    Trampolines. Useful for converting stack-heavy operations into heap-based ones and thereby avoiding stack overflow.

    Based on code from "Stackless Scala With Free Monads", Runar Oli Bjarnason.

    Definition Classes
    util
  • Done
  • FlatMap
  • More
  • Trampoline

case class More[+A](k: () ⇒ Trampoline[A]) extends Trampoline[A] with Product with Serializable

A computation whose value is obtained from the computation that is returned by the continuation k.

Source
Trampolines.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, Trampoline[A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. More
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Trampoline
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new More(k: () ⇒ Trampoline[A])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  8. def flatMap[B](f: (A) ⇒ Trampoline[B]): Trampoline[B]
    Definition Classes
    Trampoline
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. val k: () ⇒ Trampoline[A]
  12. def map[B](f: (A) ⇒ B): Trampoline[B]
    Definition Classes
    Trampoline
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  16. final def resume: Either[() ⇒ Trampoline[A], A]
    Definition Classes
    Trampoline
    Annotations
    @tailrec()
  17. final def runT: A

    Run this computation to produce its A.

    Run this computation to produce its A. The key idea is that this method is directly tail recursive so the Scala compiler can convert it into a loop.

    Definition Classes
    Trampoline
    Annotations
    @tailrec()
  18. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Trampoline[A]

Inherited from AnyRef

Inherited from Any

Ungrouped