schrodinger-random/schrodinger.random/CategoricalInstances/Categorical_Map_A_F

Categorical_Map_A_F

given Categorical_Map_A_F[F[_], R, A]: Categorical[Map[A, R], A][F]

Value members

Concrete methods

override def apply(params: Params[Map[A, R]]): F[A]
Definition Classes
Function1

Inherited methods

@unspecialized
def andThen[A](g: F[A] => A): Params[Map[A, R]] => A
Inherited from:
Function1
@unspecialized
def compose[A](g: A => Params[Map[A, R]]): A => F[A]
Inherited from:
Function1
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from:
Function1