p
mpstk
package mpstk
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- mpstk
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
abstract
class
BasePayloadCont[A] extends AnyRef
Abstract representation of payload + continuation.
Abstract representation of payload + continuation.
The type parameter denotes the continuation type.
-
case class
Branch(from: Role, choices: Choices[PayloadCont]) extends Choice with Product with Serializable
Branching type.
-
case class
Channel(session: Session, role: Role) extends Product with Serializable
Channel (with role): pairs a session with the role being played within.
-
sealed abstract
class
Choice extends MPST
A generic choice, abstracting branching and selection types
-
type
Choices[PC <: BasePayloadCont[_]] = Map[Label, PC]
Abstract representation of a choice.
-
class
Context extends ContextImpl[MPST]
- Attributes
- protected
-
class
ContextImpl[V] extends Map[Channel, V] with MapLike[Channel, V, ContextImpl[V]]
- Attributes
- protected
-
sealed abstract
class
GlobalType extends AnyRef
Global type
- sealed abstract class GroundType extends Type with NonRecursiveType
-
case class
Label(name: String) extends Product with Serializable
Message label.
-
sealed abstract
class
MPST extends Type
Multiparty session type.
-
sealed
trait
NonRecursiveType extends Type
Marker trait for types that cannot contain recursion variables.
-
case class
PayloadCont(payload: Type, cont: MPST) extends BasePayloadCont[MPST] with Product with Serializable
Session type payload and continuation
-
case class
Rec(recvar: RecVar, body: MPST) extends MPST with Product with Serializable
Recursive type.
-
case class
RecVar(name: String) extends MPST with Product with Serializable
Recursion variable.
-
case class
Role(name: String) extends Product with Serializable
Role.
-
case class
Select(to: Role, choices: Choices[PayloadCont]) extends Choice with Product with Serializable
Selection type.
-
case class
Session(name: String) extends Product with Serializable
Session
-
sealed abstract
class
Type extends AnyRef
Generic type (session type, or ground type).
Value Members
-
object
Context
Session typing context.
-
object
End extends MPST with NonRecursiveType with Product with Serializable
Terminated session type
- object GlobalType
-
object
GroundType
Namespace for ground types.
-
object
subtyping
- Attributes
- protected