asMoore
dynamical.fsm.methods.polymap.asMoore
object asMoore
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass 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])
extension [F[_], S, A, B, Y](p: PolyMap[[_] =>> StoreF[F, S, _$14], [_] =>> Interface[A, F[B], _$15], Y])
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Store[S, _$26], [_] =>> BiInterface[A1, B1, A2, B2, _$27], Y])
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])
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])
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])
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])
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])
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])
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])
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])
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])
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])
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])
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])
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])
extension [S, A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Store[S, _$417], [_] =>> Interface[A1, B1, _$418] × [_] =>> Interface[A2, B2, _$419], Y])
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])
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])
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])
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])
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])
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])
In this article