PairwiseRel

Type parameters

<*>

monoidal product in the target "category"

F

relation on objects. f: F[A, X] means that object A of the source "category" is related to object X in the target "category".

|*|

monoidal product in the source "category"

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

trait SemigroupalObjectMap[|*|, <*>, F]

trait MonoidalObjectMap[F, |*|, One, <*>, Unit]