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

Semigroupoid

libretto.lambda.Semigroupoid
trait Semigroupoid[->[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Category[->]
trait SemigroupalCategory[->, |*|]
trait ClosedSemigroupalCategory[->, |*|, -->]
trait ClosedSymmetricMonoidalCategory[-⚬, |*|, One, =⚬]
trait InversiveSemigroupalCategory[->, |*|, -]
trait InversiveMonoidalCategory[->, |*|, One, -]
trait MonoidalCategory[->, |*|, One]
trait SymmetricMonoidalCategory[->, |*|, One]
Show all

Members list

Value members

Abstract methods

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

Extensions

Extensions

extension [A, B](f: A -> B)
def >[C](g: B -> C): A -> C
def from[Z](using Z =:= A): Z -> B
def to[C](using B =:= C): A -> C
Generated with