dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/dynamical.fsm.methods/dynamical.fsm.methods.moore/dynamical.fsm.methods.moore.conversions/asMealy

asMealy

dynamical.fsm.methods.moore.conversions.asMealy
object asMealy

Attributes

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

Members list

Extensions

Extensions

extension [S, A1, B1, A2, B2, Y](m: Moore[[_] =>> Store[S, _$412] ~> ([_] =>> Interface[A1, B1, _$413] ◁ [_] =>> Interface[A2, A2 => B2, _$414])])
def asMealy: Mealy[[_] =>> Store[S, _$415] ~> ([_] =>> Interface[A1, B1, _$416] ◁ [_] =>> Interface[A2, A2 => B2, _$417])]
extension [S, A, B, Y](p: Moore[[_] =>> Store[Id[S], _$1] ~> [_] =>> Interface[A, A => B, _$2]])
def asMealy: Moore[[_] =>> Store[Id[S], _$3] ~> [_] =>> Interface[A, A => B, _$4]]
extension [S, A, B, C, D, Y](p: Moore[[_] =>> Store[S, _$15] ~> [_] =>> Interface[A, B, _$16] ~> [_] =>> Interface[C, C => D, _$17]])
def asMealy: Mealy[[_] =>> Store[S, _$18] ~> [_] =>> Interface[A, B, _$19] ~> [_] =>> Interface[C, C => D, _$20]]
extension [S, A, B, C, D, Y](p: Moore[[_] =>> StoreF[IO, S, _$36] ~> [_] =>> Interface[A, IO[B], _$37] ~> [_] =>> Interface[A, A => IO[B], _$38]])
def asMealy: Mealy[[_] =>> StoreF[IO, S, _$39] ~> [_] =>> Interface[A, IO[B], _$40] ~> [_] =>> Interface[A, A => IO[B], _$41]]
extension [S, A1, B1, A2, B2, Y](p: Moore[[_] =>> Store[Id[S], _$57] ~> ([_] =>> Interface[A1, B1, _$58] × [_] =>> Interface[A2, B2, _$59]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$60]])
def asMealy: Mealy[[_] =>> Store[Id[S], _$61] ~> ([_] =>> Interface[A1, B1, _$62] × [_] =>> Interface[A2, B2, _$63]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$64]]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: Moore[[_] =>> Store[S, _$85] ~> (([_] =>> Interface[A1, B1, _$86] × [_] =>> Interface[A2, B2, _$87]) ⊗ [_] =>> Interface[A3, B3, _$88]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$89]])
def asMealy: Mealy[[_] =>> Store[S, _$90] ~> (([_] =>> Interface[A1, B1, _$91] × [_] =>> Interface[A2, B2, _$92]) ⊗ [_] =>> Interface[A3, B3, _$93]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$94]]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: Moore[[_] =>> Store[S, _$120] ~> ([_] =>> Interface[A1, B1, _$121] × ([_] =>> Interface[A2, B2, _$122] ⊗ [_] =>> Interface[A3, B3, _$123])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$124]])
def asMealy: Mealy[[_] =>> Store[S, _$125] ~> ([_] =>> Interface[A1, B1, _$126] × ([_] =>> Interface[A2, B2, _$127] ⊗ [_] =>> Interface[A3, B3, _$128])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$129]]
extension [S, A1, B1, A2, B2, A3, B3, Y](p: Moore[[_] =>> Store[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])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$162]])
def asMealy: Mealy[[_] =>> Store[S, _$163] ~> (([_] =>> Interface[A1, B1, _$164] × [_] =>> Interface[A2, B2, _$165]) ⊗ [_] =>> Interface[A3, B3, _$166]) ~> ([_] =>> Interface[A1, B1, _$167] × ([_] =>> Interface[A2, B2, _$168] ⊗ [_] =>> Interface[A3, B3, _$169])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$170]]
extension [S1, S2, A, B, C, Y](p: Moore[([_] =>> Store[S1, _$211] ⊗ [_] =>> Store[S2, _$212]) ~> ([_] =>> Interface[(A, B), C, _$213] ⊗ [_] =>> Interface[C, B, _$214]) ~> [_] =>> Interface[A, A => C, _$215]])
def asMealy: Mealy[([_] =>> Store[S1, _$216] ⊗ [_] =>> Store[S2, _$217]) ~> ([_] =>> Interface[(A, B), C, _$218] ⊗ [_] =>> Interface[C, B, _$219]) ~> [_] =>> Interface[A, A => C, _$220]]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4, Y](p: Moore[([_] =>> Store[S1, _$246] ⊗ [_] =>> Store[S2, _$247]) ~> ([_] =>> Interface[A1, B1, _$248] ⊗ [_] =>> Interface[A2, B2, _$249]) ~> [_] =>> Interface[A1, A1 => B2, _$250]])
def asMealy: Mealy[([_] =>> Store[S1, _$251] ⊗ [_] =>> Store[S2, _$252]) ~> ([_] =>> Interface[A1, B1, _$253] ⊗ [_] =>> Interface[A2, B2, _$254]) ~> [_] =>> Interface[A1, A1 => B2, _$255]]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4, Y](p: Moore[([_] =>> Store[S1, _$281] ⊗ [_] =>> Store[S2, _$282]) ~> ([_] =>> Interface[A1, B1, _$283] ⊗ [_] =>> Interface[A2, B2, _$284]) ~> ([_] =>> Interface[A1, A1 => B1, _$285] ⊗ [_] =>> Interface[A2, A2 => B2, _$286])])
def asMealy: Mealy[([_] =>> Store[S1, _$287] ⊗ [_] =>> Store[S2, _$288]) ~> ([_] =>> Interface[A1, B1, _$289] ⊗ [_] =>> Interface[A2, B2, _$290]) ~> ([_] =>> Interface[A1, A1 => B1, _$291] ⊗ [_] =>> Interface[A2, A2 => B2, _$292])]
extension [S1, S2, S3, A1, B1, A2, B2, A3, B3, I, O, Y](p: Moore[([_] =>> Store[S1, _$323] ⊗ [_] =>> Store[S2, _$324] ⊗ [_] =>> Store[S3, _$325]) ~> ([_] =>> Interface[A1, B1, _$326] ⊗ [_] =>> Interface[A2, B2, _$327] ⊗ [_] =>> Interface[A3, B3, _$328]) ~> [_] =>> Interface[I, I => O, _$329]])
def asMealy: Mealy[([_] =>> Store[S1, _$330] ⊗ [_] =>> Store[S2, _$331] ⊗ [_] =>> Store[S3, _$332]) ~> ([_] =>> Interface[A1, B1, _$333] ⊗ [_] =>> Interface[A2, B2, _$334] ⊗ [_] =>> Interface[A3, B3, _$335]) ~> [_] =>> Interface[I, I => O, _$336]]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4, Y](p: Moore[([_] =>> Store[S1, _$372] ⊗ [_] =>> Store[S2, _$373]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$374] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$375]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$376]])
def asMealy(using R: Runner2[([_] =>> Store[S1, _$377] ⊗ [_] =>> Store[S2, _$378]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$379] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$380]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$381], (S1, S2), A1, B3, A2, B4]): Mealy[([_] =>> Store[S1, _$382] ⊗ [_] =>> Store[S2, _$383]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$384] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$385]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$386]]
Generated with