SemiCons
libretto.lambda.Shuffled.Plated.SemiCons
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
Attributes
- Definition Classes
override def chaseFwFst[F[_], X](i: Focus[|*|, F])(using ev: A1 =:= F[X]): Blocked[[x] =>> F[x] |*| A2, X, B]
Attributes
- Definition Classes
override def chaseFwSnd[F[_], X](i: Focus[|*|, F])(using ev: A2 =:= F[X]): Blocked[[x] =>> A1 |*| F[x], X, B]
Attributes
- Definition Classes
override def foldMap[->>[_, _]](tr: [x, y] => (x$1: x -> y) => ->>[x, y])(using ev: SymmetricSemigroupalCategory[->>, |*|]): A1 |*| A2 ->> B
Attributes
- Definition Classes
override def projectProper[C](p: Proper[|*|, B, C], f: [P, Q, R] => (x$1: P -> Q, x$2: Projection[|*|, Q, R]) => ProjectRes[P, R]): ProjectRes[A1 |*| A2, C]
Attributes
- Definition Classes
override def sweepL[F[_], ->>[_, _]](a: F[A1 |*| A2], f: [t, u] => (x$1: F[t], x$2: t -> u) => (->>[t, u], F[u]))(using tgt: With[->>, |*|, Shuffle[|*|]], F: StrongZippable[|*|, F]): (Plated[A1 |*| A2, B], F[B])
Attributes
- Definition Classes
Attributes
- Definition Classes
override def traverse[G[_] : Applicative, ->>[_, _]](f: [t, u] => (x$1: t -> u) => G[->>[t, u]])(implicit evidence$19: Applicative[G], tgt: With[->>, |*|, Shuffle[|*|]]): G[Plated[A1 |*| A2, B]]
Attributes
- Definition Classes
Attributes
- Definition Classes
Inherited methods
Attributes
- Inherited from:
- Plated
Attributes
- Inherited from:
- Plated
Attributes
- Inherited from:
- Plated
Attributes
- Inherited from:
- Plated
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
def project[C](p: Projection[|*|, B, C], f: [X, Y, Z] => (x$1: X -> Y, x$2: Projection[|*|, Y, Z]) => ProjectRes[X, Z]): ProjectRes[A, C]
Attributes
- Inherited from:
- Plated
Attributes
- Inherited from:
- Plated
In this article