libretto/libretto.impl/ClosedSemigroupalCategory

ClosedSemigroupalCategory

trait ClosedSemigroupalCategory[->[_, _], |*|[_, _], -->[_, _]] extends SemigroupalCategory[->, |*|]
trait SemigroupalCategory[->, |*|]
trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
trait InversiveMonoidalCategory[->, |*|, One, -]

Value members

Abstract methods

def curry[A, B, C](f: A |*| B -> C): A -> B --> C
def eval[A, B]: A --> B |*| A -> B

Concrete methods

def uncurry[A, B, C](f: A -> B --> C): A |*| B -> C

Inherited methods

def andThen[A, B, C](f: A -> B, g: B -> C): A -> C
Inherited from
Semigroupoid
def assocLR[A, B, C]: A |*| B |*| C -> A |*| B |*| C
Inherited from
SemigroupalCategory
def assocRL[A, B, C]: A |*| B |*| C -> A |*| B |*| C
Inherited from
SemigroupalCategory
def fst[X, Y, Z](f: X -> Y): X |*| Z -> Y |*| Z
Inherited from
SemigroupalCategory
def id[A]: A -> A
Inherited from
Category
def par[A1, A2, B1, B2](f1: A1 -> B1, f2: A2 -> B2): A1 |*| A2 -> B1 |*| B2
Inherited from
SemigroupalCategory
def snd[X, Y, Z](f: Y -> Z): X |*| Y -> X |*| Z
Inherited from
SemigroupalCategory

Extensions

Inherited extensions

extension [A, B, C](f: A -> B)
def >(g: B -> C): A -> C
Inherited from
Semigroupoid