libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/TransferOpt/None

None

libretto.lambda.Shuffle.TransferOpt.None
case class None[A1, A2]() extends None0[A1, A2, A1, A2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait None0[A1, A2, A1, A2]
trait TransferOpt[A1, A2, A1, A2]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def apply[F[_]](a: F[A1 |*| A2])(using F: StrongZippable[|*|, F]): F[A1 |*| A2]

Attributes

Definition Classes
override def chaseBw[G[_], T](i: Focus[|*|, G])(using ev: (A1 |*| A2) =:= G[T]): ChaseBwRes[A1 |*| A2, G, T]

Attributes

Definition Classes
override def chaseBwFst[G[_], T](i: Focus[|*|, G])(using ev: A1 =:= G[T]): ChaseBwRes[A1 |*| A2, [t] =>> G[t] |*| A2, T]

Attributes

Definition Classes
override def chaseBwSnd[G[_], T](i: Focus[|*|, G])(using ev: A2 =:= G[T]): ChaseBwRes[A1 |*| A2, [t] =>> A1 |*| G[t], T]

Attributes

Definition Classes
override def chaseFw[F[_], T](i: Focus[|*|, F])(using ev: F[T] =:= (A1 |*| A2)): ChaseFwRes[F, T, A1 |*| A2]

Attributes

Definition Classes
override def chaseFwFst[F[_], T](i: Focus[|*|, F])(using ev: F[T] =:= A1): ChaseFwRes[[t] =>> F[t] |*| A2, T, A1 |*| A2]

Attributes

Definition Classes
override def chaseFwSnd[F[_], T](i: Focus[|*|, F])(using ev: F[T] =:= A2): ChaseFwRes[[t] =>> A1 |*| F[t], T, A1 |*| A2]

Attributes

Definition Classes
override def ev1: A1 =:= A1

Attributes

Definition Classes
override def ev2: A2 =:= A2

Attributes

Definition Classes
override def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): (A1 |*| A2) -> (A1 |*| A2)

Attributes

Definition Classes
override def ixiPairWith_:[X1, X2, X3, X4, Y1, Y2, Y3, Y4](that: IXI[X1, X2, X3, X4, Y1, Y2, Y3, Y4]): BiTransferOpt[X1 |*| X2, X3 |*| X4, A1, A2, Y1 |*| Y2, Y3 |*| Y4, A1, A2]

Attributes

Definition Classes
override def nonePairWith_:[X1, X2](that: None[X1, X2]): BiTransferOpt[X1, X2, A1, A2, X1, X2, A1, A2]

Attributes

Definition Classes
override def pairWith[X3, X4, Y3, Y4](that: TransferOpt[X3, X4, Y3, Y4]): BiTransferOpt[A1, A2, X3, X4, A1, A2, Y3, Y4]

Attributes

Definition Classes
override def preShuffle[F[_, _], C](f: F[A1 |*| A2, C])(using PairwiseRel[|*|, |*|, F]): Exists[[Q] =>> (F[A1 |*| A2, Q], Q ~⚬ C)]

Attributes

Definition Classes
override def projectProper[C](p: Proper[|*|, A1 |*| A2, C]): ProjectProperRes[A1 |*| A2, C]

Attributes

Definition Classes
override def swapPairWith_:[X1, X2](that: Swap[X1, X2]): BiTransferOpt[X1, X2, A1, A2, X2, X1, A1, A2]

Attributes

Definition Classes
override def translateLR[<*>[_, _], F[_, _], S1, S2](fa1: F[A1, S1], fa2: F[A2, S2])(m: SemigroupalObjectMap[|*|, <*>, F])(using tgt: Shuffle[<*>]): Exists[[T1] =>> Exists[[T2] =>> (TransferOpt[S1, S2, T1, T2], F[A1, T1], F[A2, T2])]]

Attributes

Definition Classes
override def translateRL[<*>[_, _], F[_, _], T1, T2](fb1: F[A1, T1], fb2: F[A2, T2])(m: SemigroupalObjectMap[|*|, <*>, F])(using tgt: Shuffle[<*>]): Exists[[S1] =>> Exists[[S2] =>> (F[A1, S1], F[A2, S2], TransferOpt[S1, S2, T1, T2])]]

Attributes

Definition Classes

Inherited methods

def asShuffle: (A1 |*| A2) ~⚬ (A1 |*| A2)

Attributes

Inherited from:
TransferOpt
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def project[C](p: Projection[|*|, A1 |*| A2, C]): ProjectRes[A1 |*| A2, C]

Attributes

Inherited from:
TransferOpt
final def translate[<*>[_, _], F[_, _], S](fa: F[A1 |*| A2, S])(m: SemigroupalObjectMap[|*|, <*>, F], tgt: Shuffle[<*>]): Exists[[t] =>> (S ~⚬ t, F[A1 |*| A2, t])]

Attributes

Inherited from:
TransferOpt
Generated with