~⚬

sealed
trait ~⚬[A, B]
Companion
object
class Object
trait Matchable
class Any
trait Composed[X, Y]
class Bimap[X1, X2, Y1, Y2]
class Xfer[A1, A2, X1, X2, B1, B2]
trait Id0[A, B]
class Id[X]

Value members

Abstract methods

def invert: B ~⚬ A

Concrete methods

def >[C](that: B ~⚬ C): A ~⚬ C
def after[Z](that: Z ~⚬ A): Z ~⚬ B
def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): ->[A, B]
def to[C](using ev: B =:= C): A ~⚬ C