p

mpstk

package mpstk

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. mpstk
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract class BasePayloadCont[A] extends AnyRef

    Abstract representation of payload + continuation.

    Abstract representation of payload + continuation.

    The type parameter denotes the continuation type.

  2. case class Branch(from: Role, choices: Choices[PayloadCont]) extends Choice with Product with Serializable

    Branching type.

  3. case class Channel(session: Session, role: Role) extends Product with Serializable

    Channel (with role): pairs a session with the role being played within.

  4. sealed abstract class Choice extends MPST

    A generic choice, abstracting branching and selection types

  5. type Choices[PC <: BasePayloadCont[_]] = Map[Label, PC]

    Abstract representation of a choice.

  6. class Context extends ContextImpl[MPST]
    Attributes
    protected
  7. class ContextImpl[V] extends Map[Channel, V] with MapLike[Channel, V, ContextImpl[V]]
    Attributes
    protected
  8. sealed abstract class GlobalType extends AnyRef

    Global type

  9. sealed abstract class GroundType extends Type with NonRecursiveType
  10. case class Label(name: String) extends Product with Serializable

    Message label.

  11. sealed abstract class MPST extends Type

    Multiparty session type.

  12. sealed trait NonRecursiveType extends Type

    Marker trait for types that cannot contain recursion variables.

  13. case class PayloadCont(payload: Type, cont: MPST) extends BasePayloadCont[MPST] with Product with Serializable

    Session type payload and continuation

  14. case class Rec(recvar: RecVar, body: MPST) extends MPST with Product with Serializable

    Recursive type.

  15. case class RecVar(name: String) extends MPST with Product with Serializable

    Recursion variable.

  16. case class Role(name: String) extends Product with Serializable

    Role.

  17. case class Select(to: Role, choices: Choices[PayloadCont]) extends Choice with Product with Serializable

    Selection type.

  18. case class Session(name: String) extends Product with Serializable

    Session

  19. sealed abstract class Type extends AnyRef

    Generic type (session type, or ground type).

Value Members

  1. object Context

    Session typing context.

  2. object End extends MPST with NonRecursiveType with Product with Serializable

    Terminated session type

  3. object GlobalType
  4. object GroundType

    Namespace for ground types.

  5. object subtyping
    Attributes
    protected

Inherited from AnyRef

Inherited from Any

Ungrouped