Packages

p

mpstk

raw

package raw

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class Branch(from: Role, choices: Set[(Label, PayloadCont)]) extends Choice with Product with Serializable
    Attributes
    protected[mpstk]
  2. sealed abstract class Choice extends MPST
    Attributes
    protected[mpstk]
  3. class Context extends ContextImpl[MPST]
    Attributes
    protected[mpstk]
  4. sealed abstract class MPST extends AnyRef
    Attributes
    protected[mpstk]
  5. case class PayloadCont(payload: Type, cont: MPST) extends Product with Serializable
    Attributes
    protected[mpstk]
  6. case class Rec(recvar: RecVar, body: MPST) extends MPST with Product with Serializable
    Attributes
    protected[mpstk]
  7. case class RecVar(name: String) extends MPST with Product with Serializable
    Attributes
    protected[mpstk]
  8. case class Select(to: Role, choices: Set[(Label, PayloadCont)]) extends Choice with Product with Serializable
    Attributes
    protected[mpstk]

Value Members

  1. object Context
  2. object End extends MPST with Product with Serializable
    Attributes
    protected[mpstk]
  3. object ops
    Attributes
    protected[mpstk]

Ungrouped