package raw
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
case class
Branch(from: Role, choices: Set[(Label, PayloadCont)]) extends Choice with Product with Serializable
- Attributes
- protected[mpstk]
-
sealed abstract
class
Choice extends MPST
- Attributes
- protected[mpstk]
-
class
Context extends ContextImpl[MPST]
- Attributes
- protected[mpstk]
-
sealed abstract
class
MPST extends AnyRef
- Attributes
- protected[mpstk]
-
case class
PayloadCont(payload: Type, cont: MPST) extends Product with Serializable
- Attributes
- protected[mpstk]
-
case class
Rec(recvar: RecVar, body: MPST) extends MPST with Product with Serializable
- Attributes
- protected[mpstk]
-
case class
RecVar(name: String) extends MPST with Product with Serializable
- Attributes
- protected[mpstk]
-
case class
Select(to: Role, choices: Set[(Label, PayloadCont)]) extends Choice with Product with Serializable
- Attributes
- protected[mpstk]