libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/Plated/Sandwich

Sandwich

libretto.lambda.Shuffled.Plated.Sandwich
case class Sandwich[A, X, Y, B](l: Plated[A, X], m: X shuffle.~⚬ Y, r: Plated[Y, B]) extends Plated[A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Plated[A, B]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def chaseBw[G[_], X](i: Focus[|*|, G])(using ev: B =:= G[X]): Blocked[A, G, X]

Attributes

Definition Classes
override def chaseFw[F[_], X](i: Focus[|*|, F])(using A =:= F[X]): Blocked[F, X, B]

Attributes

Definition Classes
override def foldMap[->>[_, _]](tr: [x, y] => (x$1: x -> y) => ->>[x, y])(using ev: SymmetricSemigroupalCategory[->>, |*|]): A ->> 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[A, C]

Attributes

Definition Classes
override def sweepL[F[_], ->>[_, _]](a: F[A], f: [t, u] => (x$1: F[t], x$2: t -> u) => (->>[t, u], F[u]))(using tgt: With[->>, |*|, shuffle.type], F: StrongZippable[|*|, F]): (tgt.Plated[A, B], F[B])

Attributes

Definition Classes
override def translate[->>[_, _], <*>[_, _], F[_, _], S](fa: F[A, S], om: SemigroupalObjectMap[|*|, <*>, F], am: ArrowMap[->, ->>, F])(using tgt: Shuffled[->>, <*>]): Exists[[T] =>> (Plated[S, T], F[B, T])]

Attributes

Definition Classes
override def traverse[G[_] : Applicative, ->>[_, _]](f: [t, u] => (x$1: t -> u) => G[->>[t, u]])(implicit evidence$1: Applicative[G], tgt: With[->>, |*|, shuffle.type]): G[tgt.Plated[A, B]]

Attributes

Definition Classes
override def unconsSome: UnconsSomeRes[A, B]

Attributes

Definition Classes

Inherited methods

def afterPermeable[Z](that: Permeable[Z, A]): Preshuffled[Z, _, B]

Attributes

Inherited from:
Plated
def asShuffled: Shuffled[A, B]

Attributes

Inherited from:
Plated
def fold(using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

Inherited from:
Plated
def impermeable: Impermeable[A, A, B, B]

Attributes

Inherited from:
Plated
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

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
def thenPermeable[C](that: Permeable[B, C]): Postshuffled[A, _, C]

Attributes

Inherited from:
Plated
def to[C](using ev: B =:= C): Plated[A, C]

Attributes

Inherited from:
Plated
Generated with