schrodinger-kernel/schrodinger.kernel/Categorical

Categorical

object Categorical
Companion:
class
Source:
Categorical.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

inline def apply[F[_], V, I](probabilites: V)(using c: Categorical[F, V, I]): F[I]
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]

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]