libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ClosedSymmetricMonoidalCategory

ClosedSymmetricMonoidalCategory

libretto.lambda.ClosedSymmetricMonoidalCategory
trait ClosedSymmetricMonoidalCategory[-⚬[_, _], |*|[_, _], One, =⚬[_, _]] extends ClosedSymmetricSemigroupalCategory[-⚬, |*|, =⚬], SymmetricMonoidalCategory[-⚬, |*|, One]

Attributes

Graph
Supertypes
trait SymmetricMonoidalCategory[-⚬, |*|, One]
trait MonoidalCategory[-⚬, |*|, One]
trait ClosedSymmetricSemigroupalCategory[-⚬, |*|, =⚬]
trait SymmetricSemigroupalCategory[-⚬, |*|]
trait ClosedSemigroupalCategory[-⚬, |*|, =⚬]
trait SemigroupalCategory[-⚬, |*|]
trait Category[-⚬]
trait Semigroupoid[-⚬]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def elimFst[A, X](f: X -⚬ One): (X |*| A) -⚬ A

Attributes

Inherited from:
MonoidalCategory
def elimSnd[A, X](f: X -⚬ One): (A |*| X) -⚬ A

Attributes

Inherited from:
MonoidalCategory
def fst[X, Y, Z](f: X -⚬ Y): (X |*| Z) -⚬ (Y |*| Z)

Attributes

Inherited from:
SemigroupalCategory
def introFst[A, X](f: One -⚬ X): A -⚬ (X |*| A)

Attributes

Inherited from:
MonoidalCategory
def introSnd[A, X](f: One -⚬ X): A -⚬ (A |*| X)

Attributes

Inherited from:
MonoidalCategory
def ix[A, B, C]: (A |*| B |*| C) -⚬ (A |*| C |*| B)

Attributes

Inherited from:
SymmetricSemigroupalCategory
def ixi[A, B, C, D]: (A |*| B |*| (C |*| D)) -⚬ (A |*| C |*| (B |*| D))

Attributes

Inherited from:
SymmetricSemigroupalCategory
def snd[X, Y, Z](f: Y -⚬ Z): (X |*| Y) -⚬ (X |*| Z)

Attributes

Inherited from:
SemigroupalCategory
def uncurry[A, B, C](f: A -⚬ (B =⚬ C)): (A |*| B) -⚬ C

Attributes

Inherited from:
ClosedSemigroupalCategory
def xi[A, B, C]: (A |*| (B |*| C)) -⚬ (B |*| (A |*| C))

Attributes

Inherited from:
SymmetricSemigroupalCategory

Inherited and Abstract methods

def andThen[A, B, C](f: A -⚬ B, g: B -⚬ C): A -⚬ C

Attributes

Inherited from:
Semigroupoid
def assocLR[A, B, C]: (A |*| B |*| C) -⚬ (A |*| (B |*| C))

Attributes

Inherited from:
SemigroupalCategory
def assocRL[A, B, C]: (A |*| (B |*| C)) -⚬ (A |*| B |*| C)

Attributes

Inherited from:
SemigroupalCategory
def curry[A, B, C](f: (A |*| B) -⚬ C): A -⚬ (B =⚬ C)

Attributes

Inherited from:
ClosedSemigroupalCategory
def elimFst[A]: (One |*| A) -⚬ A

Attributes

Inherited from:
MonoidalCategory
def elimSnd[A]: (A |*| One) -⚬ A

Attributes

Inherited from:
MonoidalCategory
def eval[A, B]: ((A =⚬ B) |*| A) -⚬ B

Attributes

Inherited from:
ClosedSemigroupalCategory
def id[A]: A -⚬ A

Attributes

Inherited from:
Category
def introFst[A]: A -⚬ (One |*| A)

Attributes

Inherited from:
MonoidalCategory
def introSnd[A]: A -⚬ (A |*| One)

Attributes

Inherited from:
MonoidalCategory
def par[A1, A2, B1, B2](f1: A1 -⚬ B1, f2: A2 -⚬ B2): (A1 |*| A2) -⚬ (B1 |*| B2)

Attributes

Inherited from:
SemigroupalCategory
def swap[A, B]: (A |*| B) -⚬ (B |*| A)

Attributes

Inherited from:
SymmetricSemigroupalCategory

Extensions

Inherited extensions

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Semigroupoid
extension [A, B](f: A -⚬ B)
def inFst[X]: (A |*| X) -⚬ (B |*| X)

Attributes

Inherited from:
SemigroupalCategory
def inSnd[X]: (X |*| A) -⚬ (X |*| B)

Attributes

Inherited from:
SemigroupalCategory
Generated with