libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ShuffledModule/given_SymmetricSemigroupalCategory_Shuffled_**

given_SymmetricSemigroupalCategory_Shuffled_**

libretto.lambda.ShuffledModule.given_SymmetricSemigroupalCategory_Shuffled_**
object given_SymmetricSemigroupalCategory_Shuffled_** extends SymmetricSemigroupalCategory[Shuffled, **]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

override def andThen[A, B, C](f: Shuffled[A, B], g: Shuffled[B, C]): Shuffled[A, C]

Attributes

Definition Classes
override def assocLR[A, B, C]: Shuffled[A ** B ** C, A ** (B ** C)]

Attributes

Definition Classes
override def assocRL[A, B, C]: Shuffled[A ** (B ** C), A ** B ** C]

Attributes

Definition Classes
override def fst[A, B, C](f: Shuffled[A, B]): Shuffled[A ** C, B ** C]

Attributes

Definition Classes
override def id[A]: Shuffled[A, A]

Attributes

Definition Classes
override def ix[A, B, C]: Shuffled[A ** B ** C, A ** C ** B]

Attributes

Definition Classes
override def ixi[A, B, C, D]: Shuffled[A ** B ** (C ** D), A ** C ** (B ** D)]

Attributes

Definition Classes
override def par[X1, X2, Y1, Y2](f1: Shuffled[X1, Y1], f2: Shuffled[X2, Y2]): Shuffled[X1 ** X2, Y1 ** Y2]

Attributes

Definition Classes
override def snd[A, B, C](f: Shuffled[B, C]): Shuffled[A ** B, A ** C]

Attributes

Definition Classes
override def swap[A, B]: Shuffled[A ** B, B ** A]

Attributes

Definition Classes
override def xi[A, B, C]: Shuffled[A ** (B ** C), B ** (A ** C)]

Attributes

Definition Classes

Inherited methods

def hoist[G[_]](using Applicative[G]): SymmetricSemigroupalCategory[[a, b] =>> G[a Shuffled b], **]

Attributes

Inherited from:
SymmetricSemigroupalCategory

Extensions

Inherited extensions

extension [A, B](f: Shuffled[A, B])
def >[C](g: Shuffled[B, C]): A Shuffled C

Attributes

Inherited from:
Semigroupoid
def from[Z](using Z =:= A): Z Shuffled B

Attributes

Inherited from:
Semigroupoid
def to[C](using B =:= C): A Shuffled C

Attributes

Inherited from:
Semigroupoid
extension [A, B](f: Shuffled[A, B])
def at[F[_]](pos: Focus[**, F]): F[A] Shuffled F[B]

Attributes

Inherited from:
SemigroupalCategory
def inFst[X]: (A ** X) Shuffled (B ** X)

Attributes

Inherited from:
SemigroupalCategory
def inSnd[X]: (X ** A) Shuffled (X ** B)

Attributes

Inherited from:
SemigroupalCategory
Generated with