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_Int_Dist[G[_], P](using evidence$5: Foldable[G], density: Categorical[G[P], Int][Density[Id, P]]): Categorical[G[P], Int][[_] =>> Dist[P, _$15]]