object Dist
- Companion:
- class
Type members
Value members
Concrete methods
def commutativeMonad[P](n: Int)(using evidence$2: CommutativeRig[P]): CommutativeMonad[[_] =>> Dist[P, _$8]]
Givens
Givens
given given_Categorical_G_A_Dist[G[_], A, P](using evidence$7: Foldable[G], evidence$8: Hash[A], Categorical[Map[A, P], A][[_] =>> Dist[P, _$19]]): Categorical[G[(A, P)], A][[_] =>> Dist[P, _$20]]
given given_Categorical_G_Int_Dist[G[_], P](using evidence$5: Foldable[G], density: Categorical[G[P], Int][Density[Id, P]]): Categorical[G[P], Int][[_] =>> Dist[P, _$15]]
given given_Categorical_Map_A_Dist[A, P](using evidence$6: Hash[A], density: Categorical[Map[A, P], A][Density[Id, P]]): Categorical[Map[A, P], A][[_] =>> Dist[P, _$16]]