libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffled/RevTransferOpt

RevTransferOpt

libretto.lambda.Shuffled.RevTransferOpt
case class RevTransferOpt[A1, A2, B1, B2](t: shuffle.TransferOpt[B1, B2, A1, A2])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def apply[F[_]](fa: F[A1 |*| A2])(using StrongZippable[|*|, F]): F[B1 |*| B2]
def asShuffle: (A1 |*| A2) shuffle.~⚬ (B1 |*| B2)
def fold[->>[_, _]](using ev: SymmetricSemigroupalCategory[->>, |*|]): (A1 |*| A2) ->> (B1 |*| B2)
def project[C](p: Projection[|*|, B1 |*| B2, C]): ProjectRes[A1 |*| A2, C]
def rebase[->>[_, _]](tgt: With[->>, |*|, shuffle.type]): tgt.RevTransferOpt[A1, A2, B1, B2]
def translate[->>[_, _], <*>[_, _], F[_, _], S1, S2](fa1: F[A1, S1], fa2: F[A2, S2], om: SemigroupalObjectMap[|*|, <*>, F])(using tgt: Shuffled[->>, <*>]): Exists[[T1] =>> Exists[[T2] =>> (RevTransferOpt[S1, S2, T1, T2], F[B1, T1], F[B2, T2])]]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with