dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/dynamical.fsm.methods/dynamical.fsm.methods.wiring/asPolyMap

asPolyMap

dynamical.fsm.methods.wiring.asPolyMap
object asPolyMap

Attributes

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

Members list

Extensions

Extensions

extension [A, B, C, D, Y](w: Wiring[[_] =>> Interface[A, Id[B], _$1] ~> [_] =>> Interface[C, C => Id[D], _$2]])
def asPolyMap: PolyMap[[_] =>> Interface[A, Id[B], _$3], [_] =>> Interface[C, C => Id[D], _$4], Y]
extension [A, B, Y](w: Wiring[[_] =>> Interface[A, Id[B], _$5] ~> [_] =>> Interface[A, A => Option[B], _$6]])
def asPolyMap: PolyMap[[_] =>> Interface[A, Id[B], _$7], [_] =>> Interface[A, A => Option[B], _$8], Y]
extension [A1, B1, A2, B2, Y](w: Wiring[[_] =>> BiInterface[A1, B1, A2, B2, _$9] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$10]])
def asPolyMap: PolyMap[[_] =>> BiInterface[A1, B1, A2, B2, _$11], [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$12], Y]
extension [A1, B1, A2, B2, Y](w: Wiring[([_] =>> Interface[A1, B1, _$13] ⊗ [_] =>> Interface[A2, B2, _$14]) ~> [_] =>> Interface[A1, B2, _$15]])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$16] ⊗ [_] =>> Interface[A2, B2, _$17], [_] =>> Interface[A1, B2, _$18], Y]
extension [A1, B1, A2, B2, Y](w: Wiring[([_] =>> Interface[A1, B1, _$19] ⊗ [_] =>> Interface[A2, B2, _$20]) ~> [_] =>> Interface[A1, B1, _$21]])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$22] ⊗ [_] =>> Interface[A2, B2, _$23], [_] =>> Interface[A1, B1, _$24], Y]
extension [A, B, C, Y](w: Wiring[([_] =>> Interface[(A, B), C, _$25] ⊗ [_] =>> Interface[C, B, _$26]) ~> [_] =>> Interface[A, C, _$27]])
def asPolyMap: PolyMap[[_] =>> Interface[(A, B), C, _$28] ⊗ [_] =>> Interface[C, B, _$29], [_] =>> Interface[A, C, _$30], Y]
extension [A, B, C, Y](w: Wiring[([_] =>> Interface[(A, B), C, _$31] ⊗ [_] =>> Interface[C, B, _$32]) ~> [_] =>> Interface[A, A => C, _$33]])
def asPolyMap: PolyMap[[_] =>> Interface[(A, B), C, _$34] ⊗ [_] =>> Interface[C, B, _$35], [_] =>> Interface[A, A => C, _$36], Y]
extension [A1, B1, A2, B2, Y](w: Wiring[([_] =>> Interface[A1, B1, _$37] ⊗ [_] =>> Interface[A2, B2, _$38]) ~> [_] =>> Interface[A1, A1 => B2, _$39]])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$40] ⊗ [_] =>> Interface[A2, B2, _$41], [_] =>> Interface[A1, A1 => B2, _$42], Y]
extension [A1, B1, A2, B2, Y](w: Wiring[([_] =>> Interface[A1, B1, _$43] ⊗ [_] =>> Interface[A2, B2, _$44]) ~> ([_] =>> Interface[A1, A1 => B1, _$45] ⊗ [_] =>> Interface[A2, A2 => B2, _$46])])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$47] ⊗ [_] =>> Interface[A2, B2, _$48], [_] =>> Interface[A1, A1 => B1, _$49] ⊗ [_] =>> Interface[A2, A2 => B2, _$50], Y]
extension [A1, B1, A2, B2, A3, B3, I, O, Y](w: Wiring[([_] =>> Interface[A1, B1, _$51] ⊗ [_] =>> Interface[A2, B2, _$52] ⊗ [_] =>> Interface[A3, B3, _$53]) ~> [_] =>> Interface[I, I => O, _$54]])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$55] ⊗ [_] =>> Interface[A2, B2, _$56] ⊗ [_] =>> Interface[A3, B3, _$57], [_] =>> Interface[I, I => O, _$58], Y]
extension [A1, B1, A2, B2, A3, B3, A4, B4, Y](w: Wiring[([_] =>> BiInterface[A1, B1, A2, B2, _$59] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$60]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$61]])
def asPolyMap: PolyMap[[_] =>> BiInterface[A1, B1, A2, B2, _$62] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$63], [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$64], Y]
extension [A1, B1, A2, B2, Y](w: Wiring[([_] =>> Interface[A1, B1, _$65] × [_] =>> Interface[A2, B2, _$66]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$67]])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$68] × [_] =>> Interface[A2, B2, _$69], [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$70], Y]
extension [A1, B1, A2, B2, A3, B3, Y](w: Wiring[(([_] =>> Interface[A1, B1, _$71] × [_] =>> Interface[A2, B2, _$72]) ⊗ [_] =>> Interface[A3, B3, _$73]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$74]])
def asPolyMap: PolyMap[([_] =>> Interface[A1, B1, _$75] × [_] =>> Interface[A2, B2, _$76]) ⊗ [_] =>> Interface[A3, B3, _$77], [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$78], Y]
extension [A1, B1, A2, B2, A3, B3, Y](w: Wiring[([_] =>> Interface[A1, B1, _$79] × ([_] =>> Interface[A2, B2, _$80] ⊗ [_] =>> Interface[A3, B3, _$81])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$82]])
def asPolyMap: PolyMap[[_] =>> Interface[A1, B1, _$83] × ([_] =>> Interface[A2, B2, _$84] ⊗ [_] =>> Interface[A3, B3, _$85]), [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$86], Y]
extension [A1, B1, A2, B2, A3, B3, Y](w: Wiring[(([_] =>> Interface[A1, B1, _$87] × [_] =>> Interface[A2, B2, _$88]) ⊗ [_] =>> Interface[A3, B3, _$89]) ~> ([_] =>> Interface[A1, B1, _$90] × ([_] =>> Interface[A2, B2, _$91] ⊗ [_] =>> Interface[A3, B3, _$92]))])
def asPolyMap: PolyMap[([_] =>> Interface[A1, B1, _$93] × [_] =>> Interface[A2, B2, _$94]) ⊗ [_] =>> Interface[A3, B3, _$95], [_] =>> Interface[A1, B1, _$96] × ([_] =>> Interface[A2, B2, _$97] ⊗ [_] =>> Interface[A3, B3, _$98]), Y]
Generated with