RVT

object RVT extends RVTInstances
Companion:
class
trait Sum
trait Mirror
trait RVTInstances
trait RVTInstances8
trait RVTInstances7
trait RVTInstances6
trait RVTInstances5
trait RVTInstances4
trait RVTInstances3
trait RVTInstances2
trait RVTInstances1
trait RVTInstances0
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def cont[F[_], S, A](body: FunctionK[[_] =>> RVT[F, S, _$12], F] => F[A]): RVT[F, S, A]
def defer[F[_], S, A](rva: => RVT[F, S, A]): RVT[F, S, A]
def dispatch[F[_], S](using S: SplittableRng[S]): RVT[F, S, S]
def eval[F[_], S, A](fa: F[A]): RVT[F, S, A]
def evalK[F[_], S]: FunctionK[F, [_] =>> RVT[F, S, _$7]]
def int[F[_], S]: RVT[F, S, Int]
def long[F[_], S]: RVT[F, S, Long]
def pure[F[_], S, A](a: A): RVT[F, S, A]

Givens

Inherited givens

given Alternative_RVT: Applicative[F]
Inherited from:
RVTInstances1
given Async_RVT: AsyncPlatform[F]
Inherited from:
RVTInstances
given Aux_RVT_F_S: Aux[[_] =>> RVT[F, S, _$55], F, S]
Inherited from:
RVTInstances0
given Aux_RVT_S: Aux[[_] =>> RVT[F, S, _$59], S]
Inherited from:
RVTInstances0
given Clock_RVT: ClockPlatform[F]
Inherited from:
RVTInstances7
given CommutativeMonad_RVT: Monad[F]
Inherited from:
RVTInstances3
given FunctorFilter_RVT: Serializable
Inherited from:
RVTInstances0
Inherited from:
RVTInstances0
given GenConcurrent_RVT_E: GenSpawn[F, E]
Inherited from:
RVTInstances7
given GenSpawn_RVT_E: MonadCancel[F, E]
Inherited from:
RVTInstances6
given GenTemporal_RVT_E: GenConcurrent[F, E]
Inherited from:
RVTInstances8
given MonadCancel_RVT_E_RVTMonadCancel_F_S_E[F[_], S, E](using val F: MonadCancel[F, E]): MonadCancel[[_] =>> RVT[F, S, _$40], E]
Inherited from:
RVTInstances5
given MonadError_RVT_E: ApplicativeError[F, E]
Inherited from:
RVTInstances4
given Monad_RVT: FlatMap[F]
Inherited from:
RVTInstances2
given SemigroupK_RVT: Serializable
Inherited from:
RVTInstances0
given Sync_RVT_RVTSync_F_S[F[_], S](using evidence$7: Rng[S], val F: Sync[F]): Sync[[_] =>> RVT[F, S, _$32]]
Inherited from:
RVTInstances8