asPolyMap
dynamical.fsm.methods.moore.conversions.asPolyMap
object asPolyMap
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
asPolyMap.type
Members list
Extensions
Extensions
extension [S, A, B, Y](m: Moore[[_] =>> Store[S, _$1] ~> [_] =>> Interface[A, B, _$2]])
extension [F[_], S, A, B, Y](m: Moore[[_] =>> StoreF[F, S, _$6] ~> [_] =>> Interface[A, F[B], _$7]])
extension [S, A1, B1, A2, B2, Y](m: Moore[[_] =>> Store[S, _$10] ~> [_] =>> BiInterface[A1, B1, A2, B2, _$11]])
extension [S1, S2, A1, B1, A2, B2, Y](m: Moore[([_] =>> Store[S1, _$14] ⊗ [_] =>> Store[S2, _$15]) ~> ([_] =>> Interface[A1, B1, _$16] ⊗ [_] =>> Interface[A2, B2, _$17])])
def asPolyMap: PolyMap[[_] =>> Store[S1, _$18] ⊗ [_] =>> Store[S2, _$19], [_] =>> Interface[A1, B1, _$20] ⊗ [_] =>> Interface[A2, B2, _$21], Y]
extension [S1, S2, S3, A1, B1, A2, B2, A3, B3, Y](m: Moore[([_] =>> Store[S1, _$22] ⊗ [_] =>> Store[S2, _$23] ⊗ [_] =>> Store[S3, _$24]) ~> ([_] =>> Interface[A1, B1, _$25] ⊗ [_] =>> Interface[A2, B2, _$26] ⊗ [_] =>> Interface[A3, B3, _$27])])
def asPolyMap: PolyMap[[_] =>> Store[S1, _$28] ⊗ [_] =>> Store[S2, _$29] ⊗ [_] =>> Store[S3, _$30], [_] =>> Interface[A1, B1, _$31] ⊗ [_] =>> Interface[A2, B2, _$32] ⊗ [_] =>> Interface[A3, B3, _$33], Y]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4, Y](m: Moore[([_] =>> Store[S1, _$34] ⊗ [_] =>> Store[S2, _$35]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$36] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$37])])
def asPolyMap: PolyMap[[_] =>> Store[S1, _$38] ⊗ [_] =>> Store[S2, _$39], [_] =>> BiInterface[A1, B1, A2, B2, _$40] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$41], Y]
extension [S1, S2, A1, B1, A2, B2, A3, B3, A4, B4, Y](m: Moore[([_] =>> Store[S1, _$42] ⊗ [_] =>> Store[S2, _$43]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$44] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$45]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$46]])
def asPolyMap: PolyMap[([_] =>> Store[S1, _$47] ⊗ [_] =>> Store[S2, _$48]) ~> ([_] =>> BiInterface[A1, B1, A2, B2, _$49] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$50]), [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$51], Y]
extension [S, A1, B1, A2, B2, Y](m: Moore[[_] =>> Store[S, _$52] ~> ([_] =>> Interface[A1, B1, _$53] × [_] =>> Interface[A2, B2, _$54])])
def asPolyMap: PolyMap[[_] =>> Store[S, _$55], [_] =>> Interface[A1, B1, _$56] × [_] =>> Interface[A2, B2, _$57], Y]
extension [S, A1, B1, A2, B2, A3, B3, Y](m: Moore[[_] =>> Store[S, _$58] ~> (([_] =>> Interface[A1, B1, _$59] × [_] =>> Interface[A2, B2, _$60]) ⊗ [_] =>> Interface[A3, B3, _$61])])
def asPolyMap: PolyMap[[_] =>> Store[S, _$62], ([_] =>> Interface[A1, B1, _$63] × [_] =>> Interface[A2, B2, _$64]) ⊗ [_] =>> Interface[A3, B3, _$65], Y]
extension [S, A1, B1, A2, B2, A3, B3, Y](m: Moore[[_] =>> Store[S, _$66] ~> ([_] =>> Interface[A1, B1, _$67] × ([_] =>> Interface[A2, B2, _$68] ⊗ [_] =>> Interface[A3, B3, _$69]))])
def asPolyMap: PolyMap[[_] =>> Store[S, _$70], [_] =>> Interface[A1, B1, _$71] × ([_] =>> Interface[A2, B2, _$72] ⊗ [_] =>> Interface[A3, B3, _$73]), Y]
extension [S, A1, B1, A2, B2, A3, B3, Y](m: Moore[[_] =>> Store[Id[S], _$74] ~> (([_] =>> Interface[A1, B1, _$75] × [_] =>> Interface[A2, B2, _$76]) ⊗ [_] =>> Interface[A3, B3, _$77]) ~> ([_] =>> Interface[A1, B1, _$78] × ([_] =>> Interface[A2, B2, _$79] ⊗ [_] =>> Interface[A3, B3, _$80]))])
def asPolyMap: PolyMap[[_] =>> PolyMap[[_] =>> Store[Id[S], _$81], ([_] =>> Interface[A1, B1, _$82] × [_] =>> Interface[A2, B2, _$83]) ⊗ [_] =>> Interface[A3, B3, _$84], _$85], [_] =>> Interface[A1, B1, _$86] × ([_] =>> Interface[A2, B2, _$87] ⊗ [_] =>> Interface[A3, B3, _$88]), Y]
In this article