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

asWiring

dynamical.fsm.methods.polymap.asWiring
object asWiring

Attributes

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

Members list

Extensions

Extensions

extension [A, B, Y](p: PolyMap[[_] =>> Interface[A, B, _$1], [_] =>> Interface[A, A => B, _$2], Y])
def asWiring: Wiring[[_] =>> Interface[A, B, _$3] ~> [_] =>> Interface[A, A => B, _$4]]
extension [F[_], A, B, C, D, Y](p: PolyMap[[_] =>> Interface[A, B, _$12], [_] =>> Interface[C, C => F[D], _$13], Y])
def asWiring: Wiring[[_] =>> Interface[A, B, _$14] ~> [_] =>> Interface[C, C => F[D], _$15]]
extension [A1, B1, A2, B2, Y](p: PolyMap[[_] =>> BiInterface[A1, B1, A2, B2, _$22], [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$23], Y])
def asWiring: Wiring[[_] =>> BiInterface[A1, B1, A2, B2, _$24] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$25]]
extension [A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Interface[A1, B1, _$32] × [_] =>> Interface[A2, B2, _$33], [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$34], Y])
def asWiring: Wiring[([_] =>> Interface[A1, B1, _$35] × [_] =>> Interface[A2, B2, _$36]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$37]]
extension [A1, B1, A2, B2, A3, B3, Y](p: PolyMap[([_] =>> Interface[A1, B1, _$47] × [_] =>> Interface[A2, B2, _$48]) ⊗ [_] =>> Interface[A3, B3, _$49], [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$50], Y])
def asWiring: Wiring[(([_] =>> Interface[A1, B1, _$51] × [_] =>> Interface[A2, B2, _$52]) ⊗ [_] =>> Interface[A3, B3, _$53]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$54]]
extension [A1, B1, A2, B2, A3, B3, Y](p: PolyMap[[_] =>> Interface[A1, B1, _$67] × ([_] =>> Interface[A2, B2, _$68] ⊗ [_] =>> Interface[A3, B3, _$69]), [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$70], Y])
def asWiring: 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]]
extension [A1, B1, A2, B2, A3, B3, Y](p: PolyMap[([_] =>> Interface[A1, B1, _$87] × [_] =>> Interface[A2, B2, _$88]) ⊗ [_] =>> Interface[A3, B3, _$89], [_] =>> Interface[A1, B1, _$90] × ([_] =>> Interface[A2, B2, _$91] ⊗ [_] =>> Interface[A3, B3, _$92]), Y])
def asWiring: Wiring[(([_] =>> Interface[A1, B1, _$93] × [_] =>> Interface[A2, B2, _$94]) ⊗ [_] =>> Interface[A3, B3, _$95]) ~> ([_] =>> Interface[A1, B1, _$96] × ([_] =>> Interface[A2, B2, _$97] ⊗ [_] =>> Interface[A3, B3, _$98]))]
extension [A1, B1, A2, B2, Y](p: PolyMap[[_] =>> Interface[A1, B1, _$117] ⊗ [_] =>> Interface[A2, B2, _$118], [_] =>> Interface[A1, A1 => B2, _$119], Y])
def asWiring: Wiring[([_] =>> Interface[A1, B1, _$120] ⊗ [_] =>> Interface[A2, B2, _$121]) ~> [_] =>> Interface[A1, A1 => B2, _$122]]
extension [A1, B1, A2, B2, A3, B3, I, O, Y](p: PolyMap[[_] =>> Interface[A1, B1, _$132] ⊗ [_] =>> Interface[A2, B2, _$133] ⊗ [_] =>> Interface[A3, B3, _$134], [_] =>> Interface[I, I => O, _$135], Y])
def asWiring: Wiring[([_] =>> Interface[A1, B1, _$136] ⊗ [_] =>> Interface[A2, B2, _$137] ⊗ [_] =>> Interface[A3, B3, _$138]) ~> [_] =>> Interface[I, I => O, _$139]]
extension [A, B, C, Y](p: PolyMap[[_] =>> Interface[(A, B), C, _$152] ⊗ [_] =>> Interface[C, B, _$153], [_] =>> Interface[A, A => C, _$154], Y])
def asWiring: Wiring[([_] =>> Interface[(A, B), C, _$155] ⊗ [_] =>> Interface[C, B, _$156]) ~> [_] =>> Interface[A, A => C, _$157]]
extension [A1, B1, A2, B2, A3, B3, A4, B4, Y](p: PolyMap[[_] =>> BiInterface[A1, B1, A2, B2, _$167] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$168], [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$169], Y])
def asWiring: Wiring[([_] =>> BiInterface[A1, B1, A2, B2, _$170] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$171]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$172]]
Generated with