object Categorical
- Companion:
- class
- Source:
- Categorical.scala
Value members
Concrete methods
def apply[F[_], P, G[_], A](support: G[(A, P)])(using evidence$1: NonEmptyTraverse[G], F: Priority[Functor[F], InvariantAndHash[F, A]], P: AdditiveMonoid[P], c: Categorical[F, G[P], Long]): F[A]
- Source:
- Categorical.scala
Givens
Givens
given given_Categorical_F_G_Long[F[_], G[_], P](using evidence$2: Functor[F], evidence$3: Reducible[G], evidence$4: Order[P], P: AdditiveMonoid[P], u: Uniform[F, P]): given_Categorical_F_G_Long[F, G, P]
- Source:
- Categorical.scala