libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/libretto.scaletto.impl/FreeScaletto/ℭ

ℭ

libretto.scaletto.impl.FreeScaletto.ℭ
object ℭ extends ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]

Attributes

Graph
Supertypes
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
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
Self type
ℭ.type

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
Semigroupoid
override def assocLR[A, B, C]: ConcurrentPair[ConcurrentPair[A, B], C] -⚬ ConcurrentPair[A, ConcurrentPair[B, C]]

Attributes

Definition Classes
SemigroupalCategory
override def assocRL[A, B, C]: ConcurrentPair[A, ConcurrentPair[B, C]] -⚬ ConcurrentPair[ConcurrentPair[A, B], C]

Attributes

Definition Classes
SemigroupalCategory
override def curry[A, B, C](f: ConcurrentPair[A, B] -⚬ C): A -⚬ B =⚬ C

Attributes

Definition Classes
ClosedSemigroupalCategory
override def elimFst[A]: ConcurrentPair[One, A] -⚬ A

Attributes

Definition Classes
MonoidalCategory
override def elimSnd[A]: ConcurrentPair[A, One] -⚬ A

Attributes

Definition Classes
MonoidalCategory
override def eval[A, B]: ConcurrentPair[A =⚬ B, A] -⚬ B

Attributes

Definition Classes
ClosedSemigroupalCategory
override def id[A]: A -⚬ A

Attributes

Definition Classes
Category
override def introFst[A]: A -⚬ ConcurrentPair[One, A]

Attributes

Definition Classes
MonoidalCategory
override def introSnd[A]: A -⚬ ConcurrentPair[A, One]

Attributes

Definition Classes
MonoidalCategory
override def par[A1, A2, B1, B2](f1: A1 -⚬ B1, f2: A2 -⚬ B2): ConcurrentPair[A1, A2] -⚬ ConcurrentPair[B1, B2]

Attributes

Definition Classes
SemigroupalCategory
override def swap[A, B]: ConcurrentPair[A, B] -⚬ ConcurrentPair[B, A]

Attributes

Definition Classes
SymmetricSemigroupalCategory

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

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