io.github.positionpal.reaction.ReactionADT.ReactionADT
A data type used for representing a reaction to a given event
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Known subtypes
-
Members list
Represent the reaction that's triggered within a specific Context
Represent the reaction that's triggered within a specific Context
Type parameters
-
F
-
The effect to apply
Attributes
Represent the result of the reaction
Represent the result of the reaction
Attributes
Create a reaction on an given Context
Create a reaction on an given Context
Value parameters
-
reaction
-
The function representing the reaction.
Attributes
-
Returns
-
The Reaction object.
Value parameters
-
context
-
The Context in which the Reaction should run
Attributes
-
Returns
-
a functional structure F in which the result is contained