edomata-docs
0.9.2
API
Generated with
edomata-docs/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

Attributes

C

Command type

S

State model type

Source:
RequestContext.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with