dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/dynamical.fsm.methods/dynamical.fsm.methods.moore/andThen

andThen

dynamical.fsm.methods.moore.andThen
object andThen

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
andThen.type

Members list

Extensions

Extensions

extension [S, A, B, C, D](m: Moore[[_] =>> Store[Id[S], _$1] ~> [_] =>> Interface[A, Id[B], _$2]])
def andThen(w: Wiring[[_] =>> Interface[A, Id[B], _$3] ~> [_] =>> Interface[C, C => Id[D], _$4]]): Moore[[_] =>> Store[Id[S], _$5] ~> [_] =>> Interface[A, Id[B], _$6] ~> [_] =>> Interface[C, C => Id[D], _$7]]
extension [S, A, B](m: Moore[[_] =>> Store[Option[S], _$8] ~> [_] =>> Interface[A, Option[B], _$9]])
def andThen(w: Wiring[[_] =>> Interface[A, Id[B], _$10] ~> [_] =>> Interface[A, A => Option[B], _$11]]): Moore[[_] =>> Store[Option[S], _$12] ~> [_] =>> Interface[A, Id[B], _$13] ~> [_] =>> Interface[A, A => Option[B], _$14]]
extension [F[_], S, A, B](m: Moore[[_] =>> StoreF[F, S, _$16] ~> [_] =>> Interface[A, F[B], _$17]])(using evidence$1: Monad[F])
def andThen(w: Wiring[[_] =>> Interface[A, F[B], _$18] ~> [_] =>> Interface[A, A => F[B], _$19]]): Moore[[_] =>> StoreF[F, S, _$20] ~> [_] =>> Interface[A, F[B], _$21] ~> [_] =>> Interface[A, A => F[B], _$22]]
extension [S, A1, B1, A2, B2](m: Moore[[_] =>> Store[S, _$23] ~> [_] =>> BiInterface[A1, B1, A2, B2, _$24]])
def andThen(w: Wiring[[_] =>> BiInterface[A1, B1, A2, B2, _$25] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$26]]): Moore[[_] =>> Store[S, _$27] ~> [_] =>> BiInterface[A1, B1, A2, B2, _$28] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$29]]
extension [S1, S2, A, B, C](m: Moore[([_] =>> Store[S1, _$30] ⊗ [_] =>> Store[S2, _$31]) ~> ([_] =>> Interface[(A, B), C, _$32] ⊗ [_] =>> Interface[C, B, _$33])])
def andThen(w: Wiring[([_] =>> Interface[(A, B), C, _$34] ⊗ [_] =>> Interface[C, B, _$35]) ~> [_] =>> Interface[A, C, _$36]]): Moore[([_] =>> Store[S1, _$37] ⊗ [_] =>> Store[S2, _$38]) ~> ([_] =>> Interface[(A, B), C, _$39] ⊗ [_] =>> Interface[C, B, _$40]) ~> [_] =>> Interface[A, C, _$41]]
def andThen(w: Wiring[([_] =>> Interface[(A, B), C, _$42] ⊗ [_] =>> Interface[C, B, _$43]) ~> [_] =>> Interface[A, A => C, _$44]]): Moore[([_] =>> Store[S1, _$45] ⊗ [_] =>> Store[S2, _$46]) ~> ([_] =>> Interface[(A, B), C, _$47] ⊗ [_] =>> Interface[C, B, _$48]) ~> [_] =>> Interface[A, A => C, _$49]]
extension [S1, S2, A1, B1, A2, B2](m: Moore[([_] =>> Store[S1, _$50] ⊗ [_] =>> Store[S2, _$51]) ~> ([_] =>> Interface[A1, B1, _$52] ⊗ [_] =>> Interface[A2, B2, _$53])])
def andThen(w: Wiring[([_] =>> Interface[A1, B1, _$54] ⊗ [_] =>> Interface[A2, B2, _$55]) ~> [_] =>> Interface[A1, B2, _$56]]): Moore[([_] =>> Store[S1, _$57] ⊗ [_] =>> Store[S2, _$58]) ~> ([_] =>> Interface[A1, B1, _$59] ⊗ [_] =>> Interface[A2, B2, _$60]) ~> [_] =>> Interface[A1, B2, _$61]]
def andThen(w: Wiring[([_] =>> Interface[A1, B1, _$62] ⊗ [_] =>> Interface[A2, B2, _$63]) ~> [_] =>> Interface[A1, A1 => B2, _$64]]): Moore[([_] =>> Store[S1, _$65] ⊗ [_] =>> Store[S2, _$66]) ~> ([_] =>> Interface[A1, B1, _$67] ⊗ [_] =>> Interface[A2, B2, _$68]) ~> [_] =>> Interface[A1, A1 => B2, _$69]]
def andThen(w: Wiring[([_] =>> Interface[A1, B1, _$70] ⊗ [_] =>> Interface[A2, B2, _$71]) ~> ([_] =>> Interface[A1, A1 => B1, _$72] ⊗ [_] =>> Interface[A2, A2 => B2, _$73])]): Moore[([_] =>> Store[S1, _$74] ⊗ [_] =>> Store[S2, _$75]) ~> ([_] =>> Interface[A1, B1, _$76] ⊗ [_] =>> Interface[A2, B2, _$77]) ~> ([_] =>> Interface[A1, A1 => B1, _$78] ⊗ [_] =>> Interface[A2, A2 => B2, _$79])]
extension [S1, S2, S3, A1, B1, A2, B2, A3, B3](m: Moore[([_] =>> Store[S1, _$80] ⊗ [_] =>> Store[S2, _$81] ⊗ [_] =>> Store[S3, _$82]) ~> ([_] =>> Interface[A1, B1, _$83] ⊗ [_] =>> Interface[A2, B2, _$84] ⊗ [_] =>> Interface[A3, B3, _$85])])
def andThen[I, O](w: Wiring[([_] =>> Interface[A1, B1, _$86] ⊗ [_] =>> Interface[A2, B2, _$87] ⊗ [_] =>> Interface[A3, B3, _$88]) ~> [_] =>> Interface[I, I => O, _$89]]): Moore[([_] =>> Store[S1, _$90] ⊗ [_] =>> Store[S2, _$91] ⊗ [_] =>> Store[S3, _$92]) ~> ([_] =>> Interface[A1, B1, _$93] ⊗ [_] =>> Interface[A2, B2, _$94] ⊗ [_] =>> Interface[A3, B3, _$95]) ~> [_] =>> Interface[I, I => O, _$96]]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4](m: Moore[([_] =>> Store[S1, _$97] ⊗ [_] =>> Store[S2, _$98]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$99] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$100])])
def andThen(w: Wiring[([_] =>> BiInterface[A1, B1, A2, B2, _$101] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$102]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$103]]): Moore[([_] =>> Store[S1, _$104] ⊗ [_] =>> Store[S2, _$105]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$106] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$107]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$108]]
extension [S, A1, B1, A2, B2](m: Moore[[_] =>> Store[Id[S], _$109] ~> ([_] =>> Interface[A1, B1, _$110] × [_] =>> Interface[A2, B2, _$111])])
def andThen(w: Wiring[([_] =>> Interface[A1, B1, _$112] × [_] =>> Interface[A2, B2, _$113]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$114]]): Moore[[_] =>> Store[Id[S], _$115] ~> ([_] =>> Interface[A1, B1, _$116] × [_] =>> Interface[A2, B2, _$117]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$118]]
extension [S, A1, B1, A2, B2, A3, B3](m: Moore[[_] =>> Store[Id[S], _$119] ~> (([_] =>> Interface[A1, B1, _$120] × [_] =>> Interface[A2, B2, _$121]) ⊗ [_] =>> Interface[A3, B3, _$122])])
def andThen(w: Wiring[(([_] =>> Interface[A1, B1, _$123] × [_] =>> Interface[A2, B2, _$124]) ⊗ [_] =>> Interface[A3, B3, _$125]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$126]]): Moore[[_] =>> Store[Id[S], _$127] ~> (([_] =>> Interface[A1, B1, _$128] × [_] =>> Interface[A2, B2, _$129]) ⊗ [_] =>> Interface[A3, B3, _$130]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$131]]
extension [S, A1, B1, A2, B2, A3, B3](m: Moore[[_] =>> Store[Id[S], _$132] ~> ([_] =>> Interface[A1, B1, _$133] × ([_] =>> Interface[A2, B2, _$134] ⊗ [_] =>> Interface[A3, B3, _$135]))])
def andThen(w: Wiring[([_] =>> Interface[A1, B1, _$136] × ([_] =>> Interface[A2, B2, _$137] ⊗ [_] =>> Interface[A3, B3, _$138])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$139]]): Moore[[_] =>> Store[Id[S], _$140] ~> ([_] =>> Interface[A1, B1, _$141] × ([_] =>> Interface[A2, B2, _$142] ⊗ [_] =>> Interface[A3, B3, _$143])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$144]]
extension [S, A1, B1, A2, B2, A3, B3](m: Moore[[_] =>> Store[Id[S], _$145] ~> (([_] =>> Interface[A1, B1, _$146] × [_] =>> Interface[A2, B2, _$147]) ⊗ [_] =>> Interface[A3, B3, _$148])])
def andThen(w: Wiring[(([_] =>> Interface[A1, B1, _$149] × [_] =>> Interface[A2, B2, _$150]) ⊗ [_] =>> Interface[A3, B3, _$151]) ~> ([_] =>> Interface[A1, B1, _$152] × ([_] =>> Interface[A2, B2, _$153] ⊗ [_] =>> Interface[A3, B3, _$154]))]): Moore[[_] =>> Store[Id[S], _$155] ~> (([_] =>> Interface[A1, B1, _$156] × [_] =>> Interface[A2, B2, _$157]) ⊗ [_] =>> Interface[A3, B3, _$158]) ~> ([_] =>> Interface[A1, B1, _$159] × ([_] =>> Interface[A2, B2, _$160] ⊗ [_] =>> Interface[A3, B3, _$161]))]
extension [S, A1, B1, A2, B2, A3, B3](m: Moore[[_] =>> Store[Id[S], _$162] ~> (([_] =>> Interface[A1, B1, _$163] × [_] =>> Interface[A2, B2, _$164]) ⊗ [_] =>> Interface[A3, B3, _$165]) ~> ([_] =>> Interface[A1, B1, _$166] × ([_] =>> Interface[A2, B2, _$167] ⊗ [_] =>> Interface[A3, B3, _$168]))])
def andThen(w: Wiring[([_] =>> Interface[A1, B1, _$169] × ([_] =>> Interface[A2, B2, _$170] ⊗ [_] =>> Interface[A3, B3, _$171])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$172]]): Moore[[_] =>> Store[Id[S], _$173] ~> (([_] =>> Interface[A1, B1, _$174] × [_] =>> Interface[A2, B2, _$175]) ⊗ [_] =>> Interface[A3, B3, _$176]) ~> ([_] =>> Interface[A1, B1, _$177] × ([_] =>> Interface[A2, B2, _$178] ⊗ [_] =>> Interface[A3, B3, _$179])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$180]]
Generated with