schrodinger-stats/schrodinger.stats/CategoricalInstances

CategoricalInstances

trait CategoricalInstances
class Object
trait Matchable
class Any
object all.type
object categorical.type

Givens

Givens

given given_Categorical_G_A_Density[F[_], G[_], W, A](using evidence$6: Foldable[G], evidence$7: Hash[A], W: Semifield[W], cat: Categorical[Map[A, W], A][Density[F, W]]): Categorical[G[(A, W)], A][Density[F, W]]
given given_Categorical_G_Int_Density[F[_], G[_]](using evidence$1: Applicative[F], evidence$2: Foldable[G]): Categorical[G[LogDouble], Int][Density[F, LogDouble]]
given given_Categorical_G_Int_Density[F[_], G[_], A](using evidence$3: Applicative[F], evidence$4: Foldable[G], A: Semifield[A]): Categorical[G[A], Int][Density[F, A]]
given given_Categorical_Map_A_Density[F[_], W, A](using evidence$8: Applicative[F], W: Semifield[W]): Categorical[Map[A, W], A][Density[F, W]]