dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/dynamical.fsm.methods/dynamical.fsm.methods.polymap/asMoore

asMoore

dynamical.fsm.methods.polymap.asMoore
object asMoore

Attributes

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

Members list

Extensions

Extensions

extension [S, A, B, Y](p: PolyMap[[_] =>> Store[Id[S], _$1], [_] =>> Interface[A, Id[B], _$2], Y])
def asMoore(i: S): Moore[[_] =>> Store[Id[S], _$3] ~> [_] =>> Interface[A, Id[B], _$4]]
extension [F[_], S, A, B, Y](p: PolyMap[[_] =>> StoreF[F, S, _$14], [_] =>> Interface[A, F[B], _$15], Y])
def asMoore(i: S): Moore[[_] =>> StoreF[F, S, _$16] ~> [_] =>> Interface[A, F[B], _$17]]
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Store[S, _$26], [_] =>> BiInterface[A1, B1, A2, B2, _$27], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$28] ~> [_] =>> BiInterface[A1, B1, A2, B2, _$29]]
extension [S, A, B, C, D, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[Id[S], _$38], [_] =>> Interface[A, Id[B], _$39], _$40], [_] =>> Interface[C, C => Id[D], _$41], Y])
def asMoore(i: S): Moore[[_] =>> Store[Id[S], _$42] ~> [_] =>> Interface[A, Id[B], _$43] ~> [_] =>> Interface[C, C => Id[D], _$44]]
extension [S, A, B, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[Option[S], _$57], [_] =>> Interface[A, Id[B], _$58], _$59], [_] =>> Interface[A, A => Option[B], _$60], Y])
def asMoore(i: Option[S]): Moore[[_] =>> Store[Option[S], _$61] ~> [_] =>> Interface[A, Id[B], _$62] ~> [_] =>> Interface[A, A => Option[B], _$63]]
extension [F[_], S, A, B, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> StoreF[F, S, _$77], [_] =>> Interface[A, F[B], _$78], _$79], [_] =>> Interface[A, A => F[B], _$80], Y])
def asMoore(i: S): Moore[[_] =>> StoreF[F, S, _$81] ~> [_] =>> Interface[A, F[B], _$82] ~> [_] =>> Interface[A, A => F[B], _$83]]
extension [S1, S2, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[(S1, S2), _$96], [_] =>> Interface[(A1, A2), (B1, B2), _$97], _$98], [_] =>> Interface[(A1, A2), (A1 => B1, A2 => B2), _$99], Y])
def asMoore(i: (S1, S2)): Moore[[_] =>> Store[(S1, S2), _$100] ~> [_] =>> Interface[(A1, A2), (B1, B2), _$101] ~> [_] =>> Interface[(A1, A2), (A1 => B1, A2 => B2), _$102]]
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S, _$115], [_] =>> BiInterface[A1, B1, A2, B2, _$116], _$117], [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$118], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$119] ~> [_] =>> BiInterface[A1, B1, A2, B2, _$120] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$121]]
extension [S1, S2, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S1, _$134] ⊗ [_] =>> Store[S2, _$135], [_] =>> Interface[A1, B1, _$136] ⊗ [_] =>> Interface[A2, B2, _$137], _$138], [_] =>> Interface[A1, B2, _$139], Y])
def asMoore(i: (S1, S2)): Moore[[_] =>> PolyMap[[_] =>> Store[S1, _$140] ⊗ [_] =>> Store[S2, _$141], [_] =>> Interface[A1, B1, _$142] ⊗ [_] =>> Interface[A2, B2, _$143], _$144] ~> [_] =>> Interface[A1, B2, _$145]]
extension [S1, S2, S3, A1, B1, A2, B2, A3, B3, I, O, Y](p: PolyMap[([_] =>> Store[S1, _$170] ⊗ [_] =>> Store[S2, _$171] ⊗ [_] =>> Store[S3, _$172]) ~> ([_] =>> Interface[A1, B1, _$173] ⊗ [_] =>> Interface[A2, B2, _$174] ⊗ [_] =>> Interface[A3, B3, _$175]), [_] =>> Interface[I, I => O, _$176], Y])
def asMoore(i: ((S1, S2), S3)): Moore[([_] =>> Store[S1, _$177] ⊗ [_] =>> Store[S2, _$178] ⊗ [_] =>> Store[S3, _$179]) ~> ([_] =>> Interface[A1, B1, _$180] ⊗ [_] =>> Interface[A2, B2, _$181] ⊗ [_] =>> Interface[A3, B3, _$182]) ~> [_] =>> Interface[I, I => O, _$183]]
extension [S1, S2, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S1, _$212] ⊗ [_] =>> Store[S2, _$213], [_] =>> Interface[A1, B1, _$214] ⊗ [_] =>> Interface[A2, B2, _$215], _$216], [_] =>> Interface[A1, B1, _$217], Y])
def asMoore(i: (S1, S2)): Moore[[_] =>> PolyMap[[_] =>> Store[S1, _$218] ⊗ [_] =>> Store[S2, _$219], [_] =>> Interface[A1, B1, _$220] ⊗ [_] =>> Interface[A2, B2, _$221], _$222] ~> [_] =>> Interface[A1, B1, _$223]]
extension [S1, S2, A, B, C, Y](p: PolyMap[([_] =>> Store[S1, _$248] ⊗ [_] =>> Store[S2, _$249]) ~> ([_] =>> Interface[(A, B), C, _$250] ⊗ [_] =>> Interface[C, B, _$251]), [_] =>> Interface[A, C, _$252], Y])
def asMoore(i: (S1, S2)): Moore[([_] =>> Store[S1, _$253] ⊗ [_] =>> Store[S2, _$254]) ~> ([_] =>> Interface[(A, B), C, _$255] ⊗ [_] =>> Interface[C, B, _$256]) ~> [_] =>> Interface[A, C, _$257]]
extension [S1, S2, A, B, C, Y](p: PolyMap[([_] =>> Store[S1, _$278] ⊗ [_] =>> Store[S2, _$279]) ~> ([_] =>> Interface[(A, B), C, _$280] ⊗ [_] =>> Interface[C, B, _$281]), [_] =>> Interface[A, A => C, _$282], Y])
def asMoore(i: (S1, S2)): Moore[([_] =>> Store[S1, _$283] ⊗ [_] =>> Store[S2, _$284]) ~> ([_] =>> Interface[(A, B), C, _$285] ⊗ [_] =>> Interface[C, B, _$286]) ~> [_] =>> Interface[A, A => C, _$287]]
extension [S1, S2, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S1, _$308] ⊗ [_] =>> Store[S2, _$309], [_] =>> Interface[A1, B1, _$310] ⊗ [_] =>> Interface[A2, B2, _$311], _$312], [_] =>> Interface[A1, A1 => B2, _$313], Y])
def asMoore(i: (S1, S2)): Moore[[_] =>> PolyMap[[_] =>> Store[S1, _$314] ⊗ [_] =>> Store[S2, _$315], [_] =>> Interface[A1, B1, _$316] ⊗ [_] =>> Interface[A2, B2, _$317], _$318] ~> [_] =>> Interface[A1, A1 => B2, _$319]]
extension [S1, S2, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S1, _$344] ⊗ [_] =>> Store[S2, _$345], [_] =>> Interface[A1, B1, _$346] ⊗ [_] =>> Interface[A2, B2, _$347], _$348], [_] =>> Interface[A1, A1 => B1, _$349] ⊗ [_] =>> Interface[A2, A2 => B2, _$350], Y])
def asMoore(i: (S1, S2)): Moore[[_] =>> PolyMap[[_] =>> Store[S1, _$351] ⊗ [_] =>> Store[S2, _$352], [_] =>> Interface[A1, B1, _$353] ⊗ [_] =>> Interface[A2, B2, _$354], _$355] ~> ([_] =>> Interface[A1, A1 => B1, _$356] ⊗ [_] =>> Interface[A2, A2 => B2, _$357])]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S1, _$386] ⊗ [_] =>> Store[S2, _$387], [_] =>> BiInterface[A1, B1, A2, B2, _$388] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$389], _$390], [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$391], Y])
def asMoore(i: (S1, S2)): Moore[([_] =>> Store[S1, _$392] ⊗ [_] =>> Store[S2, _$393]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$394] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$395]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$396]]
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Store[S, _$417], [_] =>> Interface[A1, B1, _$418] × [_] =>> Interface[A2, B2, _$419], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$420] ~> ([_] =>> Interface[A1, B1, _$421] × [_] =>> Interface[A2, B2, _$422])]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> Store[S, _$432], ([_] =>> Interface[A1, B1, _$433] × [_] =>> Interface[A2, B2, _$434]) ⊗ [_] =>> Interface[A3, B3, _$435], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$436] ~> (([_] =>> Interface[A1, B1, _$437] × [_] =>> Interface[A2, B2, _$438]) ⊗ [_] =>> Interface[A3, B3, _$439])]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S, _$452], ([_] =>> Interface[A1, B1, _$453] × [_] =>> Interface[A2, B2, _$454]) ⊗ [_] =>> Interface[A3, B3, _$455], _$456], [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$457], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$458] ~> (([_] =>> Interface[A1, B1, _$459] × [_] =>> Interface[A2, B2, _$460]) ⊗ [_] =>> Interface[A3, B3, _$461]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$462]]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> Store[Id[S], _$478], [_] =>> Interface[A1, B1, _$479] × ([_] =>> Interface[A2, B2, _$480] ⊗ [_] =>> Interface[A3, B3, _$481]), Y])
def asMoore(i: S): Moore[[_] =>> Store[Id[S], _$482] ~> ([_] =>> Interface[A1, B1, _$483] × ([_] =>> Interface[A2, B2, _$484] ⊗ [_] =>> Interface[A3, B3, _$485]))]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[Id[S], _$498], [_] =>> Interface[A1, B1, _$499] × ([_] =>> Interface[A2, B2, _$500] ⊗ [_] =>> Interface[A3, B3, _$501]), _$502], [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$503], Y])
def asMoore(i: S): Moore[[_] =>> Store[Id[S], _$504] ~> ([_] =>> Interface[A1, B1, _$505] × ([_] =>> Interface[A2, B2, _$506] ⊗ [_] =>> Interface[A3, B3, _$507])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$508]]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[Id[S], _$524], ([_] =>> Interface[A1, B1, _$525] × [_] =>> Interface[A2, B2, _$526]) ⊗ [_] =>> Interface[A3, B3, _$527], _$528], [_] =>> Interface[A1, B1, _$529] × ([_] =>> Interface[A2, B2, _$530] ⊗ [_] =>> Interface[A3, B3, _$531]), Y])
def asMoore(i: S): Moore[[_] =>> Store[Id[S], _$532] ~> (([_] =>> Interface[A1, B1, _$533] × [_] =>> Interface[A2, B2, _$534]) ⊗ [_] =>> Interface[A3, B3, _$535]) ~> ([_] =>> Interface[A1, B1, _$536] × ([_] =>> Interface[A2, B2, _$537] ⊗ [_] =>> Interface[A3, B3, _$538]))]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> PolyMap[[_] =>> Store[S, _$560], ([_] =>> Interface[A1, B1, _$561] × [_] =>> Interface[A2, B2, _$562]) ⊗ [_] =>> Interface[A3, B3, _$563], _$564], [_] =>> Interface[A1, B1, _$565] × ([_] =>> Interface[A2, B2, _$566] ⊗ [_] =>> Interface[A3, B3, _$567]), _$568], [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$569], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$570] ~> (([_] =>> Interface[A1, B1, _$571] × [_] =>> Interface[A2, B2, _$572]) ⊗ [_] =>> Interface[A3, B3, _$573]) ~> ([_] =>> Interface[A1, B1, _$574] × ([_] =>> Interface[A2, B2, _$575] ⊗ [_] =>> Interface[A3, B3, _$576])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$577]]
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> PolyMap[[_] =>> Store[S, _$602], [_] =>> Interface[A1, B1, _$603] × [_] =>> Interface[A2, B2, _$604], _$605], [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$606], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$607] ~> ([_] =>> Interface[A1, B1, _$608] × [_] =>> Interface[A2, B2, _$609]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$610]]
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Store[S, _$623], [_] =>> Interface[A1, B1, _$624] ◁ [_] =>> Interface[A2, B2, _$625], Y])
def asMoore(i: S): Moore[[_] =>> Store[S, _$626] ~> ([_] =>> Interface[A1, B1, _$627] ◁ [_] =>> Interface[A2, B2, _$628])]
Generated with