Bimap
libretto.lambda.Shuffle.~⚬.Bimap
Two parallel operations, at least one of which is not Id.
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
Attributes
- Definition Classes
override def chaseBw[G[_], T](i: Focus[|*|, G])(using ev: (Y1 |*| Y2) =:= G[T]): ChaseBwRes[X1 |*| X2, G, T]
Attributes
- Definition Classes
override def chaseFw[F[_], T](i: Focus[|*|, F])(using ev: (X1 |*| X2) =:= F[T]): ChaseFwRes[F, T, Y1 |*| Y2]
Attributes
- Definition Classes
override def preShuffle[F[_, _], C](f: F[Y1 |*| Y2, C])(using F: PairwiseRel[|*|, |*|, F]): Exists[[P] =>> (F[X1 |*| X2, P], P ~⚬ C)]
Attributes
- Definition Classes
Attributes
- Definition Classes
override def proveId(inputIsAtomic: [x, y] => ((X1 |*| X2) =:= (x |*| y)) => Nothing): (X1 |*| X2) =:= (Y1 |*| Y2)
Attributes
- Definition Classes
In this article