CategoricalInstances

class Object
trait Matchable
class Any
object all

Givens

Givens

given Categorical_Map_A_F[F[_], R, A]: Categorical[Map[A, R], A][F]
given schrodingerRandomCategoricalForSeqDouble: Categorical[Seq[Double], Int][F]
given schrodingerRandomCategoricalForSeqLogDouble: Categorical[Seq[LogDouble], Int][F]