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

Runner2

dynamical.fsm.methods.mealy.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], [_] =>> BiInterface[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], [_] =>> BiInterface[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], [_] =>> BiInterface[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], [_] =>> BiInterface[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], [_] =>> BiInterface[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], [_] =>> BiInterface[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], [_] =>> BiInterface[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]) ~> ([_] =>> BiInterface[Some[A], None.type, None.type, Some[String], _$60] ⊗ [_] =>> BiInterface[None.type, None.type, Some[String], Some[B], _$61]) ~> [_] =>> BiInterface[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