InFstImpl
libretto.lambda.Knit.InFstImpl
Attributes
- Graph
-
- Supertypes
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- Knit
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
override def visit[R](caseKeepFst: [X] => (x$1: TypeEqK[[x] =>> F[x] ** B, [_] =>> X ** _$108], x$2: Res =:= X) => R, caseKeepSnd: [Y] => (x$1: TypeEqK[[x] =>> F[x] ** B, **], x$2: Res =:= Y) => R, caseInFst: [F1[_], Y] => (k: Knit[**, F1], ev: TypeEqK[[x] =>> F[x] ** B, [x] =>> F1[x] ** Y], ev1: Res =:= Res ** Y) => R, caseInSnd: [X, F2[_]] => (k: Knit[**, F2], ev: TypeEqK[[x] =>> F[x] ** B, [y] =>> X ** F2[y]], ev1: Res =:= X ** Res) => R): R
In this article