schrodinger
0.4-64268b5
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
schrodinger/schrodinger/RVIO

RVIO

schrodinger.RVIO$package$.RVIO$
object RVIO

Attributes

Source:
RVIO.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
RVIO.type

Members list

Concise view

Type members

Classlikes

final class Algebra[S0] extends Async[[_] =>> RVIO[S0, _$4]] with PseudoRandom[[_] =>> RVIO[S0, _$5]] with RngDispatcher[[_] =>> RVIO[S0, _$6]] with GaussianCache[[_] =>> RVIO[S0, _$7], Double]

Attributes

Source:
RVIO.scala
Graph
Supertypes
trait GaussianCache[[_] =>> RVIO[S0, _$7], Double]
trait RngDispatcher[[_] =>> RVIO[S0, _$6]]
trait PseudoRandom[[_] =>> RVIO[S0, _$5]]
trait Random[[_] =>> RVIO[S0, _$5]]
trait Async[[_] =>> RVIO[S0, _$4]]
trait GenTemporal[[_] =>> RVIO[S0, _$4], Throwable]
trait GenConcurrent[[_] =>> RVIO[S0, _$4], Throwable]
trait GenSpawn[[_] =>> RVIO[S0, _$4], Throwable]
trait Sync[[_] =>> RVIO[S0, _$4]]
trait Defer[[_] =>> RVIO[S0, _$4]]
trait Unique[[_] =>> RVIO[S0, _$4]]
trait Clock[[_] =>> RVIO[S0, _$4]]
trait MonadCancel[[_] =>> RVIO[S0, _$4], Throwable]
trait MonadError[[_] =>> RVIO[S0, _$4], Throwable]
trait Monad[[_] =>> RVIO[S0, _$4]]
trait FlatMap[[_] =>> RVIO[S0, _$4]]
trait FlatMapArityFunctions[[_] =>> RVIO[S0, _$4]]
trait ApplicativeError[[_] =>> RVIO[S0, _$4], Throwable]
trait Applicative[[_] =>> RVIO[S0, _$4]]
trait InvariantMonoidal[[_] =>> RVIO[S0, _$4]]
trait Apply[[_] =>> RVIO[S0, _$4]]
trait ApplyArityFunctions[[_] =>> RVIO[S0, _$4]]
trait InvariantSemigroupal[[_] =>> RVIO[S0, _$4]]
trait Semigroupal[[_] =>> RVIO[S0, _$4]]
trait Functor[[_] =>> RVIO[S0, _$4]]
trait Invariant[[_] =>> RVIO[S0, _$4]]
trait Serializable
class Object
trait Matchable
class Any

Types

type Par[S, A] = T[[_] =>> RVIO[S, _$1], A]

Attributes

Source:
RVIO.scala

Value members

Concrete methods

def algebra[S](using evidence$1: SplittableRng[S]): IO[Algebra[S]]

Attributes

Source:
RVIO.scala
inline def eval[S, A](ioa: IO[A]): RVIO[S, A]

Attributes

Source:
RVIO.scala
def evalK[S]: FunctionK[IO, [_] =>> RVIO[S, _$2]]

Attributes

Source:
RVIO.scala

Givens

Givens

given given_Align_RVIO[S]: Align[[_] =>> RVIO[S, _$21]]

Attributes

Source:
RVIO.scala
given given_Console_RVIO[S]: Console[[_] =>> RVIO[S, _$24]]

Attributes

Source:
RVIO.scala
given given_Monoid_RVIO[S, A](using m: Monoid[IO[A]]): Monoid[RVIO[S, A]]

Attributes

Source:
RVIO.scala
given given_Parallel_RVIO[S](using Spawn[[_] =>> RVIO[S, _$22]]): Parallel[[_] =>> RVIO[S, _$23]]

Attributes

Source:
RVIO.scala
given given_SemigroupK_RVIO[S]: SemigroupK[[_] =>> RVIO[S, _$20]]

Attributes

Source:
RVIO.scala
given given_Semigroup_RVIO[S, A](using s: Semigroup[IO[A]], not: NotGiven[Monoid[RVIO[S, A]]]): Semigroup[RVIO[S, A]]

Attributes

Source:
RVIO.scala
given given_Show_RVIO[S, A](using show: Show[IO[A]]): given_Show_RVIO[S, A]

Attributes

Source:
RVIO.scala

Extensions

Extensions

extension [S, A](rvioa: RVIO[S, A])
inline def evalMap[B](f: A => IO[B]): RVIO[S, B]

Attributes

Source:
RVIO.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL