dynamical-fsm
API
Generated with
dynamical-fsm/dynamical/dynamical.fsm/Wiring

Wiring

dynamical.fsm.Wiring
See theWiring companion trait
object Wiring

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Wiring.type

Members list

Value members

Concrete methods

def apply[A, B, C, D, Y](r: B => C => D, u: (B, C) => A): Wiring[[_] =>> Interface[A, B, _$2] ~> [_] =>> Interface[C, C => Id[D], _$3]]
def apply[F[_], A, B, C, D, Y](r: B => C => F[D], u: (B, C) => A): Wiring[[_] =>> Interface[A, B, _$7] ~> [_] =>> Interface[C, C => F[D], _$8]]
def apply[A1, B1, A2, B2, Y](r1: B1 => A1 => B1, r2: B2 => A2 => B2, u1: (B1, A1) => A1, u2: (B2, A2) => A2): Wiring[[_] =>> BiInterface[A1, B1, A2, B2, _$11] ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B2, _$12]]
def apply[A1, B1, A2, B2, Y](r: ((B1, B2)) => (Either[A1, A2]) => (B1, B2), u: ((B1, B2), Either[A1, A2]) => Either[A1, A2]): Wiring[([_] =>> Interface[A1, B1, _$15] × [_] =>> Interface[A2, B2, _$16]) ~> [_] =>> Interface[Either[A1, A2], (Either[A1, A2]) => (B1, B2), _$17]]
def apply[A1, B1, A2, B2, A3, B3, Y](r: (((B1, B2), B3)) => ((Either[A1, A2], A3)) => ((B1, B2), B3), u: (((B1, B2), B3), (Either[A1, A2], A3)) => (Either[A1, A2], A3)): Wiring[(([_] =>> Interface[A1, B1, _$21] × [_] =>> Interface[A2, B2, _$22]) ⊗ [_] =>> Interface[A3, B3, _$23]) ~> [_] =>> Interface[(Either[A1, A2], A3), ((Either[A1, A2], A3)) => ((B1, B2), B3), _$24]]
def apply[A1, B1, A2, B2, A3, B3, Y](r: ((B1, (B2, B3))) => (Either[A1, (A2, A3)]) => (B1, (B2, B3)), u: ((B1, (B2, B3)), Either[A1, (A2, A3)]) => Either[A1, (A2, A3)]): Wiring[([_] =>> Interface[A1, B1, _$29] × ([_] =>> Interface[A2, B2, _$30] ⊗ [_] =>> Interface[A3, B3, _$31])) ~> [_] =>> Interface[Either[A1, (A2, A3)], (Either[A1, (A2, A3)]) => (B1, (B2, B3)), _$32]]
def apply[A1, B1, A2, B2, A3, B3, Y](r: (((B1, B2), B3)) => (B1, (B2, B3)), u: (((B1, B2), B3), Either[A1, (A2, A3)]) => (Either[A1, A2], A3)): Wiring[(([_] =>> Interface[A1, B1, _$37] × [_] =>> Interface[A2, B2, _$38]) ⊗ [_] =>> Interface[A3, B3, _$39]) ~> ([_] =>> Interface[A1, B1, _$40] × ([_] =>> Interface[A2, B2, _$41] ⊗ [_] =>> Interface[A3, B3, _$42]))]
def apply[A1, B1, A2, B2, Y](r: ((B1, B2)) => A1 => B2, u: ((B1, B2), A1) => (A1, A2)): Wiring[([_] =>> Interface[A1, B1, _$49] ⊗ [_] =>> Interface[A2, B2, _$50]) ~> [_] =>> Interface[A1, A1 => B2, _$51]]
def apply[A1, B1, A2, B2, A3, B3, I, O, Y](r: (((B1, B2), B3)) => I => O, u: (((B1, B2), B3), I) => ((A1, A2), A3)): Wiring[([_] =>> Interface[A1, B1, _$55] ⊗ [_] =>> Interface[A2, B2, _$56] ⊗ [_] =>> Interface[A3, B3, _$57]) ~> [_] =>> Interface[I, I => O, _$58]]
def apply[A, B, C, Y](r: ((C, B)) => A => C, u: ((C, B), A) => ((A, B), C)): Wiring[([_] =>> Interface[(A, B), C, _$63] ⊗ [_] =>> Interface[C, B, _$64]) ~> [_] =>> Interface[A, A => C, _$65]]
def apply[A1, B1, A2, B2, A3, B3, A4, B4, Y](r1: ((B1, B3)) => A1 => B3, r2: ((B2, B4)) => A2 => B4, u1: ((B1, B3), A1) => (A1, A3), u2: ((B2, B4), A2) => (A2, A4)): Wiring[([_] =>> BiInterface[A1, B1, A2, B2, _$69] ⊗ [_] =>> BiInterface[A3, B3, A4, B4, _$70]) ~> [_] =>> BiInterface[A1, A1 => B3, A2, A2 => B4, _$71]]
def serially[A1, B1, A2, B2, B3, Y]: Wiring[([_] =>> BiInterface[A1, B1, A2, B2, _$75] ⊗ [_] =>> BiInterface[B1, B1, B2, B3, _$76]) ~> [_] =>> BiInterface[A1, A1 => B1, A2, A2 => B3, _$77]]
Generated with