Generated with

edomata-docs/edomata/edomata.core/RequestContext

RequestContext

edomata.core.RequestContext

final case class RequestContext[+C, +S](command: CommandMessage[C], state: S)

Representation of a standard input for an Edomaton

Type parameters

C: Command type
S: State model type

Attributes

Source: RequestContext.scala
Graph
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Members list

Value members

Inherited methods

Attributes

Inherited from:: Product

Attributes

Inherited from:: Product

In this article

Generated with