FilterableReaction
io.github.positionpal.reaction.ReactionADT.FilterableReaction
trait FilterableReaction[E, S, R] extends ReactionADT[E, S, R]
A set of operations that filter the Reaction execution
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
Members list
Type members
Inherited and Abstract types
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
- Inherited from:
- ReactionADT
type ReactionResult
Represent the result of the reaction
Value members
Extensions
Extensions
extension [F[_]](reaction: Reaction[F])(using evidence$1: Monad[F])
Value parameters
- other
-
The reaction to execute if the predicate return false
- predicate
-
The predicate that's executed on the context
Attributes
Inherited extensions
extension [F[_]](reaction: Reaction[F])(using evidence$1: Monad[F])
Executes the Reaction producing a ReactionResult
Executes the Reaction producing a ReactionResult
Value parameters
Attributes
- Returns
-
a functional structure
F
in which the result is contained - Inherited from:
- ReactionADT
In this article