Type Members

1.  abstract class BayesTheoremProperty[T, M[_, _], E, V] extends Properties
2.  abstract class KolmogorovProbabilityProperties[T, M[_, _], E, V] extends Properties

   Types

   Types

   T seed type M model type E event type -- M[E, _] V probability value type -- M[_, V]

3.  trait MonoidLaws[A] extends Laws