types
dynamical.fsm.methods.types
object types
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
types.type
Members list
Type members
Types
type Run[P[_], Y] = P[Y] match { case PolyMap[p, q, Y] => (Eval[p, Y], Eval[q, Y]) match { case (Store[s, Y], BiInterface[a1, b1, a2, b2, Y]) => (s, Unify2[a1, a2]) => (s, Unify2[Codomain1[b1], Codomain1[b2]]) case (StoreF[f, s, Y], Interface[a, b, Y]) => (s, a) => Runout[f[s], b] case (Store[s, Y], Interface[a, b, Y]) => (s, a) => (s, Codomain1[b]) case (Store[s, Y], Composition[p, q, Y]) => (s, DecomposeSharp[p, q, Y]) => (s, Codomain2[Decompose[p, q, Y]]) case (Store[s, Y], PolyMap[p, q, Y]) => Run[[_] =>> PolyMap[[_] =>> Store[s, _$4], q, _$5], Y] case (PolyMap[p, q, Y], BiInterface[a1, b3, a2, b4, Y]) => Run[[_] =>> PolyMap[p, [_] =>> BiInterface[a1, b3, a2, b4, _$6], _$7], Y] case (PolyMap[p, q, Y], Interface[a, b, Y]) => Run[[_] =>> PolyMap[p, [_] =>> Interface[a, b, _$8], _$9], Y] case (PolyMap[o, p, Y], Tensor[q, r, Y]) => Run[[_] =>> PolyMap[o, [_] =>> DayConvolution[q, r, _$10], _$11], Y] } }
type Unify2[U, V] = (U, V) match { case (Some[a], None.type) => Option[a] case (None.type, Some[a]) => Option[a] case (Right[_$13, b], Left[a, _$14]) => Either[a, b] case (Left[a, _$15], Right[_$16, b]) => Either[a, b] }
In this article