schrodinger/schrodinger/Simulator/Simulator_F

Simulator_F

given Simulator_F[F[_]](using val F: Sync[F]): Simulator[F]

Type members

Types

type G[A] = F[A]

Value members

Concrete methods

def downgrade[A](ga: F[A]): F[A]
def upgrade[A](fa: F[A]): F[A]

Concrete fields

protected val F: Sync[F]
final lazy val runtime: Sync[G]