SemigroupalCategory

libretto.lambda.SemigroupalCategory

trait SemigroupalCategory[->[_, _], |*|[_, _]] extends Category[->]

Attributes

Graph
Supertypes: trait Category[->]
trait Semigroupoid[->]
class Object
trait Matchable
class Any
Known subtypes: trait ClosedSemigroupalCategory[->, |*|, -->]
trait ClosedSymmetricSemigroupalCategory[->, |*|, -->]
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveSemigroupalCategory[->, |*|, -]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait MonoidalCategory[->, |*|, One]
trait SymmetricMonoidalCategory[->, |*|, One]
trait SymmetricSemigroupalCategory[->, |*|]

Concise view

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

Generated with