dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/dynamical.fsm.run/Runner2

Runner2

dynamical.fsm.run.Runner2
See theRunner2 companion trait
object Runner2

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Runner2.type

Members list

Givens

Givens

given optionRunner2a[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$2], [_] =>> Interface[Some[A], Some[A] => Some[B], None.type, None.type => None.type, _$3], _$4], S, Some[A], Some[B], None.type, None.type]
given optionRunner2b[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$10], [_] =>> Interface[None.type, None.type => None.type, Some[A], Some[A] => Some[B], _$11], _$12], S, None.type, None.type, Some[A], Some[B]]
given optionRunner2c[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$18], [_] =>> Interface[Some[A], Some[A] => None.type, None.type, None.type => Some[B], _$19], _$20], S, Some[A], None.type, None.type, Some[B]]
given optionRunner2d[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$26], [_] =>> Interface[None.type, None.type => Some[B], Some[A], Some[A] => None.type, _$27], _$28], S, None.type, Some[B], Some[A], None.type]
given optionRunner2e[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$34], [_] =>> Interface[Some[A], Some[A] => Some[B], None.type, None.type => None.type, _$35], _$36], S, Some[A], Some[B], None.type, None.type]
given optionRunner2f[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$42], [_] =>> Interface[None.type, None.type => None.type, Some[A], Some[A] => Some[B], _$43], _$44], S, None.type, None.type, Some[A], Some[B]]
given optionRunner2h[S, A, B]: Runner2[[_] =>> PolyMap[[_] =>> Store[S, _$50], [_] =>> Interface[None.type, None.type => Some[B], Some[A], Some[A] => None.type, _$51], _$52], S, None.type, Some[B], Some[A], None.type]
given optionRunner2x[S1, S2, A, B]: Runner2[[_] =>> Store[S1, _$58] ⊗ [_] =>> Store[S2, _$59] ~> [_] =>> Interface[Some[A], None.type, None.type, Some[String], _$60] ⊗ [_] =>> Interface[None.type, None.type, Some[String], Some[B], _$61] ~> [_] =>> Interface[Some[A], Some[A] => None.type, None.type, None.type => Some[B], _$62], (S1, S2), Some[A], None.type, None.type, Some[B]]
Generated with