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

RevTransferOpt

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

Attributes

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

Members list

Concise view

Value members

Concrete methods

def apply[F[_]](fa: F[A1 |*| A2])(using Cartesian[|*|, F]): F[B1 |*| B2]
def asShuffle: A1 |*| A2 ~⚬ 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[|*|]]): RevTransferOpt[A1, A2, B1, B2]
def translate[->>[_, _], <*>[_, _], F[_, _], S1, S2](fa1: F[A1, S1], fa2: F[A2, S2], om: ObjectMap[|*|, <*>, 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