schrodinger/schrodinger/Simulator

Simulator

trait Simulator[F[_]]
Companion:
object
class Object
trait Matchable
class Any
object given_Simulator_Id.type

Type members

Types

type G[_]

Value members

Abstract methods

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

Givens

Givens

given runtime: Sync[G]