Categorical

schrodinger.kernel.Categorical
See theCategorical companion trait
object Categorical

Attributes

Companion
trait
Source
Categorical.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

inline def apply[F[_], V, I](probabilites: V)(using c: Categorical[F, V, I]): F[I]

Attributes

Source
Categorical.scala
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]

Attributes

Source
Categorical.scala

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]

Attributes

Source
Categorical.scala